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