Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is smart. Red, rough things are smart. Big, rough things are furry.
Gary is furry.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple1 triple6) -> rule2))] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7 OR ((triple5 triple6) -> rule1))]