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