Erin is blue. Erin is cold. Gary is blue. Gary is cold. Gary is round. Harry is blue. Harry is not cold. Harry is kind. Harry is round. Harry is not young. All quiet people are not blue. All round, cold people are young.
Gary is not blue.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4)] Gary is round.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple8)] Harry is not cold.[(triple7)] Harry is not young.[(triple10)] Harry is round.[(triple9)] @1: Gary is young.[(((triple5 triple4) -> rule2))]