Anne is furry. Anne is not green. Anne is quiet. Anne is red. Anne is not rough. Anne is white. Anne is not young. Dave is furry. Dave is green. Dave is red. Dave is rough. Dave is not young. Erin is rough. Gary is furry. Gary is red. Gary is white. All red things are quiet. Green things are red. If something is furry and red then it is white. Green, red things are rough. If something is rough and not white then it is young. If Anne is rough and Anne is not quiet then Anne is not young.
Erin is furry.
@0: Anne is furry.[(triple1)] Anne is not green.[(triple2)] Anne is not rough.[(triple5)] Anne is not young.[(triple7)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is red.[(triple4)] Anne is white.[(triple6 OR ((triple1 triple4) -> rule3))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not young.[(triple12)] Dave is red.[(triple10 OR ((triple9) -> rule2))] Dave is rough.[(triple11 OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple9) -> rule2)) -> rule4))] Erin is rough.[(triple13)] Gary is furry.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16 OR ((triple14 triple15) -> rule3))] @1: Dave is quiet.[(((triple10) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Dave is white.[(((triple8 triple10) -> rule3) OR ((triple8 ((triple9) -> rule2)) -> rule3))] Gary is quiet.[(((triple15) -> rule1))]