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