Anne is green. Charlie is rough. Harry is big. If something is nice and blue then it is green. If Harry is nice then Harry is green. Blue things are big. Big, white things are green. If Harry is big then Harry is green. All rough things are green. If something is nice then it is rough. Big, green things are nice.
Harry is not smart.
@0: Anne is green.[(triple1)] Charlie is rough.[(triple2)] Harry is big.[(triple3)] @1: Charlie is green.[(((triple2) -> rule6))] Harry is green.[(((triple3) -> rule5))] @2: Harry is nice.[(((triple3 ((triple3) -> rule5)) -> rule8))] @3: Harry is rough.[(((((triple3 ((triple3) -> rule5)) -> rule8)) -> rule7))]