Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is smart. Rough, round things are cold. All nice things are cold.
Gary is not rough.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple5 triple6) -> rule1))] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]