Harry is blue. If Harry is blue then Harry is big. All big, rough people are cold. If someone is kind and cold then they are round. If Harry is big then Harry is round. Blue, rough people are cold. If Harry is round and Harry is blue then Harry is rough. If someone is rough then they are round. If someone is cold then they are blue.
Harry is not blue.
@0: Harry is blue.[(triple1)] @1: Harry is big.[(((triple1) -> rule1))] @2: Harry is round.[(((((triple1) -> rule1)) -> rule4))] @3: Harry is rough.[(((((((triple1) -> rule1)) -> rule4) triple1) -> rule6))] @4: Harry is cold.[(((triple1 ((((((triple1) -> rule1)) -> rule4) triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2))]