Fiona is furry. Fiona is red. Fiona is smart. If Fiona is big then Fiona is smart. Smart things are white. All furry, red things are green. Smart, green things are red. All smart things are red. If Fiona is red then Fiona is white. If Fiona is smart and Fiona is red then Fiona is round. If Fiona is round then Fiona is green.
Fiona is smart.
@0: Fiona is furry.[(triple1)] Fiona is red.[(triple2 OR ((triple3) -> rule5))] Fiona is smart.[(triple3)] @1: Fiona is green.[(((triple1 triple2) -> rule3) OR ((((triple3 triple2) -> rule7)) -> rule8) OR ((triple1 ((triple3) -> rule5)) -> rule3) OR ((((triple3 ((triple3) -> rule5)) -> rule7)) -> rule8))] Fiona is round.[(((triple3 triple2) -> rule7) OR ((triple3 ((triple3) -> rule5)) -> rule7))] Fiona is white.[(((triple2) -> rule6) OR ((triple3) -> rule2) OR ((((triple3) -> rule5)) -> rule6))]