Anne is smart. Anne is white. Bob is furry. Bob is round. Bob is white. Bob is young. Charlie is green. Charlie is smart. Charlie is white. Charlie is young. Erin is furry. Erin is green. Erin is round. Erin is white. Erin is young. If Bob is smart and Bob is furry then Bob is quiet. If Charlie is round and Charlie is young then Charlie is smart. If Bob is green and Bob is white then Bob is round. If someone is green and young then they are quiet. Smart people are white. All green people are smart. If Erin is white and Erin is young then Erin is furry. Round people are smart.
Anne is not green.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule5))] Bob is furry.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((((triple4) -> rule8)) -> rule5))] Bob is young.[(triple6)] Charlie is green.[(triple7)] Charlie is smart.[(triple8 OR ((triple7) -> rule6))] Charlie is white.[(triple9 OR ((triple8) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Charlie is young.[(triple10)] Erin is furry.[(triple11 OR ((triple14 triple15) -> rule7) OR ((((((triple12) -> rule6)) -> rule5) triple15) -> rule7) OR ((((((triple13) -> rule8)) -> rule5) triple15) -> rule7))] Erin is green.[(triple12)] Erin is round.[(triple13)] Erin is white.[(triple14 OR ((((triple12) -> rule6)) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] Erin is young.[(triple15)] @1: Bob is smart.[(((triple4) -> rule8))] Charlie is quiet.[(((triple7 triple10) -> rule4))] Erin is quiet.[(((triple12 triple15) -> rule4))] Erin is smart.[(((triple12) -> rule6) OR ((triple13) -> rule8))] @2: Bob is quiet.[(((((triple4) -> rule8) triple3) -> rule1))]