Gary is big. Gary is cold. Gary is kind. Gary is round. Gary is smart. Gary is white. Gary is young. If someone is white then they are smart.
Gary is not cold.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5 OR ((triple6) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]