Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is white. Furry, green things are rough. Quiet things are green.
Gary is not white.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2 OR ((triple5) -> rule2))] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple5) -> rule2)) -> rule1))] Gary is white.[(triple7)]