Dave is furry. Gary is young. Harry is white. If something is nice then it is young. All kind, rough things are young. All kind things are not young. All white things are nice. If something is white then it is not kind. Young things are rough. If Gary is furry then Gary is rough. If something is rough then it is white.
Gary is white.
@0: Dave is furry.[(triple1)] Gary is young.[(triple2)] Harry is white.[(triple3)] @1: Gary is rough.[(((triple2) -> rule6))] Harry is nice.[(((triple3) -> rule4))] Harry is not kind.[(((triple3) -> rule5))] @2: Gary is white.[(((((triple2) -> rule6)) -> rule8))] Harry is young.[(((((triple3) -> rule4)) -> rule1))] @3: Gary is nice.[(((((((triple2) -> rule6)) -> rule8)) -> rule4))] Gary is not kind.[(((((((triple2) -> rule6)) -> rule8)) -> rule5))] Harry is rough.[(((((((triple3) -> rule4)) -> rule1)) -> rule6))]