Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is round. Harry is furry. Harry is quiet. Harry is round. Harry is smart. All furry people are smart. Big, red people are quiet. All quiet people are smart. All nice, big people are furry. If Harry is red and Harry is furry then Harry is round. All quiet people are round. All quiet, red people are nice. If Anne is round then Anne is nice.
Anne is big.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple5) -> rule8) OR ((triple3 triple4) -> rule7) OR ((((triple3) -> rule6)) -> rule8))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple3) -> rule6))] Anne is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple3) -> rule3))] Erin is big.[(triple7)] Erin is furry.[(triple8 OR ((triple9 triple7) -> rule4))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11 OR ((triple10) -> rule6))] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple13) -> rule6))] Harry is smart.[(triple15 OR ((triple12) -> rule1) OR ((triple13) -> rule3))] @1: Erin is smart.[(((triple10) -> rule3) OR ((triple8) -> rule1) OR ((((triple9 triple7) -> rule4)) -> rule1))]