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