Dave is furry. Gary is cold. Gary is furry. Gary is rough. Gary is smart. Gary is white. Gary is young. If Gary is furry and Gary is round then Gary is young. Furry things are white. All smart things are cold. If something is smart and white then it is cold. If something is white then it is smart. If something is white and smart then it is cold. Round, rough things are white. Young, cold things are furry.
Dave is not white.
@0: Dave is furry.[(triple1)] Gary is cold.[(triple2 OR ((triple5) -> rule3) OR ((triple5 triple6) -> rule4) OR ((triple6 triple5) -> rule6) OR ((((triple6) -> rule5)) -> rule3) OR ((triple5 ((triple3) -> rule2)) -> rule4) OR ((triple6 ((triple6) -> rule5)) -> rule6) OR ((((triple3) -> rule2) triple5) -> rule6) OR ((((triple6) -> rule5) triple6) -> rule4) OR ((((triple3) -> rule2) ((triple6) -> rule5)) -> rule6) OR ((((triple6) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((triple6 ((((triple3) -> rule2)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2)) -> rule5) triple6) -> rule4) OR ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule4))] Gary is furry.[(triple3 OR ((triple7 triple2) -> rule8) OR ((triple7 ((triple5) -> rule3)) -> rule8) OR ((triple7 ((triple5 triple6) -> rule4)) -> rule8) OR ((triple7 ((triple6 triple5) -> rule6)) -> rule8) OR ((triple7 ((((triple6) -> rule5)) -> rule3)) -> rule8) OR ((triple7 ((triple6 ((triple6) -> rule5)) -> rule6)) -> rule8) OR ((triple7 ((((triple6) -> rule5) triple6) -> rule4)) -> rule8))] Gary is rough.[(triple4)] Gary is smart.[(triple5 OR ((triple6) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple7 triple2) -> rule8)) -> rule2)) -> rule5))] Gary is white.[(triple6 OR ((triple3) -> rule2) OR ((((triple7 triple2) -> rule8)) -> rule2) OR ((((triple7 ((triple5) -> rule3)) -> rule8)) -> rule2))] Gary is young.[(triple7)] @1: Dave is white.[(((triple1) -> rule2))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule5))] @3: Dave is cold.[(((((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule4))]