Anne is big. Anne is furry. Anne is nice. Anne is round. Anne is young. Dave is furry. Dave is green. Dave is rough. Erin is big. Erin is furry. Erin is green. Erin is rough. Erin is round. Harry is furry. Harry is nice. Harry is rough. Young, furry things are big. All furry things are round. Rough, big things are furry. Young things are nice. If something is young and big then it is furry. All rough things are furry. All green, young things are big. If something is green then it is round.
Dave is not nice.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule1))] Anne is furry.[(triple2 OR ((triple5 triple1) -> rule5))] Anne is nice.[(triple3 OR ((triple5) -> rule4))] Anne is round.[(triple4 OR ((triple2) -> rule2) OR ((((triple5 triple1) -> rule5)) -> rule2))] Anne is young.[(triple5)] Dave is furry.[(triple6 OR ((triple8) -> rule6))] Dave is green.[(triple7)] Dave is rough.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10 OR ((triple12) -> rule6) OR ((triple12 triple9) -> rule3))] Erin is green.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13 OR ((triple10) -> rule2) OR ((triple11) -> rule8) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple12 triple9) -> rule3)) -> rule2))] Harry is furry.[(triple14 OR ((triple16) -> rule6))] Harry is nice.[(triple15)] Harry is rough.[(triple16)] @1: Dave is round.[(((triple6) -> rule2) OR ((triple7) -> rule8) OR ((((triple8) -> rule6)) -> rule2))] Harry is round.[(((triple14) -> rule2) OR ((((triple16) -> rule6)) -> rule2))]