Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. All kind, rough people are round. All rough, kind people are green. Kind people are white.
Gary is not green.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2 OR ((triple4 triple3) -> rule2))] Gary is kind.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple3 triple4) -> rule1))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple3) -> rule3))]