Dave is rough. Dave is young. Gary is furry. Gary is nice. Gary is white. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is young. All furry people are red. If someone is rough and nice then they are green. Rough, white people are young. All furry people are white. All rough, nice people are furry. If someone is red then they are rough.
Dave is not furry.
@0: Dave is rough.[(triple1)] Dave is young.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is white.[(triple5 OR ((triple3) -> rule4))] Harry is furry.[(triple6 OR ((triple9 triple8) -> rule5))] Harry is green.[(triple7 OR ((triple9 triple8) -> rule2) OR ((((((triple6) -> rule1)) -> rule6) triple8) -> rule2))] Harry is nice.[(triple8)] Harry is rough.[(triple9 OR ((((triple6) -> rule1)) -> rule6))] Harry is young.[(triple10 OR ((triple9 ((triple6) -> rule4)) -> rule3) OR ((triple9 ((((triple9 triple8) -> rule5)) -> rule4)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((triple9 triple8) -> rule5)) -> rule4)) -> rule3))] @1: Gary is red.[(((triple3) -> rule1))] Harry is red.[(((triple6) -> rule1) OR ((((triple9 triple8) -> rule5)) -> rule1))] Harry is white.[(((triple6) -> rule4) OR ((((triple9 triple8) -> rule5)) -> rule4))] @2: Gary is rough.[(((((triple3) -> rule1)) -> rule6))] @3: Gary is green.[(((((((triple3) -> rule1)) -> rule6) triple4) -> rule2))] Gary is young.[(((((((triple3) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule4)) -> rule3))]