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