Anne is big. Fiona is kind. Harry is green. Green things are smart. All big, smart things are rough. If something is green then it is round. Big things are smart. If Anne is smart then Anne is blue. If Anne is big and Anne is green then Anne is smart.
Anne is not big.
@0: Anne is big.[(triple1)] Fiona is kind.[(triple2)] Harry is green.[(triple3)] @1: Anne is smart.[(((triple1) -> rule4))] Harry is round.[(((triple3) -> rule3))] Harry is smart.[(((triple3) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule5))] Anne is rough.[(((triple1 ((triple1) -> rule4)) -> rule2))]