Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is smart. Gary is white. If something is furry and white then it is blue. All blue things are cold.
Gary is not blue.
@0: Gary is blue.[(triple1 OR ((triple3 triple7) -> rule1))] Gary is cold.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 triple7) -> rule1)) -> rule2))] Gary is furry.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]