Anne is rough. Bob is green. Fiona is red. If Fiona is rough then Fiona is smart. Smart things are big. If Anne is furry and Anne is green then Anne is nice. If Bob is green and Bob is red then Bob is smart. All big things are red. Red, smart things are green. All big things are green. If Fiona is red then Fiona is smart.
Bob is green.
@0: Anne is rough.[(triple1)] Bob is green.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule8))] @2: Fiona is big.[(((((triple3) -> rule8)) -> rule2))] Fiona is green.[(((triple3 ((triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule2)) -> rule7))]