Erin is not cold. Erin is not green. Erin is young. Gary is blue. Gary is not green. Gary is nice. Gary is round. Gary is young. Harry is cold. Harry is round. If Erin is white then Erin is nice. All round, blue things are white.
Harry is not white.
@0: Erin is not cold.[(triple1)] Erin is not green.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple6)] Gary is not green.[(triple5)] Gary is round.[(triple7)] Gary is young.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)] @1: Gary is white.[(((triple7 triple4) -> rule2))]