Gary is blue. Gary is cold. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. All round, white people are rough. If someone is round then they are white.
Gary is not white.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5) -> rule2))]