Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. Gary is white. If someone is white and cold then they are smart.
Gary is not nice.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is smart.[(triple6 OR ((triple7 triple2) -> rule1))] Gary is white.[(triple7)]