Charlie is furry. Charlie is green. Charlie is not quiet. Dave is cold. Dave is green. Gary is green. Gary is white. If something is smart and not furry then it is green. If something is furry and cold then it is green. If something is green then it is white. All white things are smart. If something is smart and not green then it is not quiet. If something is smart then it is not quiet.
Gary is smart.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is not quiet.[(triple3 OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))] Dave is cold.[(triple4)] Dave is green.[(triple5)] Gary is green.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule3))] @1: Charlie is white.[(((triple2) -> rule3))] Dave is white.[(((triple5) -> rule3))] Gary is smart.[(((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] @2: Charlie is smart.[(((((triple2) -> rule3)) -> rule4))] Dave is smart.[(((((triple5) -> rule3)) -> rule4))] Gary is not quiet.[(((((triple7) -> rule4)) -> rule6) OR ((((((triple6) -> rule3)) -> rule4)) -> rule6))] @3: Dave is not quiet.[(((((((triple5) -> rule3)) -> rule4)) -> rule6))]