Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is smart. Gary is white. Gary is young. All young, smart things are not furry. If Gary is furry and Gary is not young then Gary is smart. Smart things are green. If Gary is smart and Gary is not white then Gary is not furry. If something is nice then it is kind. If Gary is kind then Gary is nice.
Gary is not white.
@0: Gary is green.[(triple2 OR ((triple5) -> rule3))] Gary is kind.[(triple3 OR ((triple4) -> rule5))] Gary is nice.[(triple4 OR ((triple3) -> rule6))] Gary is not furry.[(triple1 OR ((triple7 triple5) -> rule1))] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]