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