Erin is green. Erin is round. Erin is not white. Gary is not blue. Gary is cold. Gary is green. Gary is white. Gary is young. Harry is red. Harry is not white. White things are round. All blue things are round. All red things are not young. If Harry is round and Harry is white then Harry is not cold. If something is red and not young then it is cold. If something is green and blue then it is cold.
Harry is not cold.
@0: Erin is green.[(triple1)] Erin is not white.[(triple3)] Erin is round.[(triple2)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is not blue.[(triple4)] Gary is white.[(triple7)] Gary is young.[(triple8)] Harry is not white.[(triple10)] Harry is red.[(triple9)] @1: Gary is round.[(((triple7) -> rule1))] Harry is not young.[(((triple9) -> rule3))] @2: Harry is cold.[(((triple9 ((triple9) -> rule3)) -> rule5))]