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 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)]