Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. Gary is round. Big, rough things are cold.
Gary is not big.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple1 triple6) -> rule1))] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)]