Erin is blue. Fiona is green. Harry is big. If Harry is round and Harry is big then Harry is green. If Harry is round then Harry is not green. If Erin is cold and Erin is green then Erin is blue. If Fiona is green then Fiona is big. If someone is rough and not furry then they are cold. If someone is big then they are cold. If Harry is cold then Harry is blue. Cold, blue people are not round.
Harry is not big.
@0: Erin is blue.[(triple1)] Fiona is green.[(triple2)] Harry is big.[(triple3)] @1: Fiona is big.[(((triple2) -> rule4))] Harry is cold.[(((triple3) -> rule6))] @2: Fiona is cold.[(((((triple2) -> rule4)) -> rule6))] Harry is blue.[(((((triple3) -> rule6)) -> rule7))] @3: Harry is not round.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule8))]