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