Gary is big. Gary is blue. Gary is cold. Gary is round. Gary is smart. Gary is white. Gary is young. Cold, smart people are round.
Gary is blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is round.[(triple4 OR ((triple3 triple5) -> rule1))] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]