Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Dave is furry. Dave is green. Dave is nice. If Dave is round then Dave is rough. All round, green people are rough. If someone is rough then they are white. All nice, young people are round. Young, green people are white. Furry people are young.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple5 triple2) -> rule2) OR ((((triple3 triple7) -> rule4) triple2) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule4) triple2) -> rule2))] Anne is round.[(triple5 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple1) -> rule6)) -> rule4))] Anne is white.[(triple6 OR ((triple4) -> rule3) OR ((triple7 triple2) -> rule5) OR ((((triple5 triple2) -> rule2)) -> rule3) OR ((((triple1) -> rule6) triple2) -> rule5) OR ((((((triple3 triple7) -> rule4) triple2) -> rule2)) -> rule3) OR ((((((triple3 ((triple1) -> rule6)) -> rule4) triple2) -> rule2)) -> rule3))] Anne is young.[(triple7 OR ((triple1) -> rule6))] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is rough.[(triple10 OR ((triple11 triple9) -> rule2))] Charlie is round.[(triple11)] Charlie is white.[(triple12 OR ((triple10) -> rule3) OR ((triple13 triple9) -> rule5) OR ((((triple11 triple9) -> rule2)) -> rule3) OR ((((triple8) -> rule6) triple9) -> rule5))] Charlie is young.[(triple13 OR ((triple8) -> rule6))] Dave is furry.[(triple14)] Dave is green.[(triple15)] Dave is nice.[(triple16)] @1: Dave is young.[(((triple14) -> rule6))] @2: Dave is round.[(((triple16 ((triple14) -> rule6)) -> rule4))] Dave is white.[(((((triple14) -> rule6) triple15) -> rule5) OR ((((((triple16 ((triple14) -> rule6)) -> rule4)) -> rule1)) -> rule3) OR ((((((triple16 ((triple14) -> rule6)) -> rule4) triple15) -> rule2)) -> rule3))] @3: Dave is rough.[(((((triple16 ((triple14) -> rule6)) -> rule4)) -> rule1) OR ((((triple16 ((triple14) -> rule6)) -> rule4) triple15) -> rule2))]