Anne is not big. Anne is furry. Anne is rough. Anne is round. Anne is not smart. Anne is white. Anne is not young. Dave is big. Dave is round. Dave is white. If Dave is rough and Dave is smart then Dave is round. If something is rough and not smart then it is white. Round, furry things are white. If something is white and smart then it is not furry. If something is round then it is furry. All white, big things are young. If something is furry and not rough then it is not young. All big, rough things are young.
Dave is white.
@0: Anne is furry.[(triple2 OR ((triple4) -> rule5))] Anne is not big.[(triple1)] Anne is not smart.[(triple5)] Anne is not young.[(triple7)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple6 OR ((triple3 triple5) -> rule2) OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple4) -> rule5)) -> rule3))] Dave is big.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple9 ((triple9) -> rule5)) -> rule3))] @1: Dave is furry.[(((triple9) -> rule5))] Dave is young.[(((triple10 triple8) -> rule6) OR ((((triple9 ((triple9) -> rule5)) -> rule3) triple8) -> rule6))]