1:- use_module(library(pita)).    2:- if(current_predicate(use_rendering/1)).    3:- use_rendering(c3).    4:- use_rendering(graphviz).    5:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]).    6:- endif.    7
    8:- pita.    9
   10:- begin_lpad.   11
   12eruption : 0.6; earthquake : 0.3 :- sudden_energy_release, fault_rupture(_).
   13sudden_energy_release : 0.7.
   14abducible fault_rupture(southwest_northeast).
   15abducible fault_rupture(east_west).
   16
   17% :- fault_rupture(southwest_northeast), fault_rupture(east_west).
   18
   19ev :- eruption.
   20:- end_lpad.

*/