Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Gary is white then Gary is nice. Quiet, nice people are white. All kind, white people are round.
Gary is not round.
@0: Gary is kind.[(triple1)] Gary is nice.[(triple2 OR ((triple7) -> rule1))] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple3 triple2) -> rule2)) -> rule3))] Gary is white.[(triple7 OR ((triple3 triple2) -> rule2))]