Harry is cold. Harry is green. Harry is red. All blue, cold things are rough. If Harry is big then Harry is nice. All red things are big. If something is blue and cold then it is big. All nice things are blue. If something is red and not big then it is green.
Harry is not big.
@0: Harry is cold.[(triple1)] Harry is green.[(triple2)] Harry is red.[(triple3)] @1: Harry is big.[(((triple3) -> rule3))] @2: Harry is nice.[(((((triple3) -> rule3)) -> rule2))] @3: Harry is blue.[(((((((triple3) -> rule3)) -> rule2)) -> rule5))] @4: Harry is rough.[(((((((((triple3) -> rule3)) -> rule2)) -> rule5) triple1) -> rule1))]