Erin is not blue. Erin is cold. Harry is green. If Harry is red then Harry is cold. All round, cold things are red. All round things are red. If something is green then it is round. If Harry is round and Harry is green then Harry is red. If something is round and not blue then it is green. If something is red and not green then it is not smart. If something is blue then it is not smart.
Harry is not blue.
@0: Erin is cold.[(triple2)] Erin is not blue.[(triple1)] Harry is green.[(triple3)] @1: Harry is round.[(((triple3) -> rule4))] @2: Harry is red.[(((((triple3) -> rule4)) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule5))] @3: Harry is cold.[(((((((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule5)) -> rule1))]