Anne is furry. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Erin is kind. Erin is nice. Erin is round. Erin is smart. Erin is white. Erin is young. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is young. All round people are nice. Nice, furry people are kind. All kind, white people are round. All white, furry people are kind. If someone is round and white then they are kind. Nice people are smart. If Anne is nice and Anne is round then Anne is kind. If someone is furry then they are white.
Charlie is not kind.
@0: Anne is furry.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3 OR ((((triple2) -> rule1)) -> rule6))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Erin is kind.[(triple6 OR ((triple8 triple10) -> rule5))] Erin is nice.[(triple7 OR ((triple8) -> rule1) OR ((((triple6 triple10) -> rule3)) -> rule1))] Erin is round.[(triple8 OR ((triple6 triple10) -> rule3))] Erin is smart.[(triple9 OR ((triple7) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((((triple6 triple10) -> rule3)) -> rule1)) -> rule6))] Erin is white.[(triple10)] Erin is young.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13 OR ((triple14) -> rule1) OR ((((((((triple12) -> rule8) triple12) -> rule4) ((triple12) -> rule8)) -> rule3)) -> rule1))] Harry is round.[(triple14 OR ((((triple13 triple12) -> rule2) ((triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule8) triple12) -> rule4) ((triple12) -> rule8)) -> rule3))] Harry is smart.[(triple15 OR ((triple13) -> rule6) OR ((((triple14) -> rule1)) -> rule6) OR ((((((((((triple12) -> rule8) triple12) -> rule4) ((triple12) -> rule8)) -> rule3)) -> rule1)) -> rule6))] Harry is young.[(triple16)] @1: Anne is white.[(((triple1) -> rule8))] Charlie is kind.[(((triple2 triple4) -> rule5))] Charlie is nice.[(((triple2) -> rule1))] Harry is kind.[(((triple13 triple12) -> rule2) OR ((triple14 ((triple12) -> rule8)) -> rule5) OR ((((triple12) -> rule8) triple12) -> rule4) OR ((((triple14) -> rule1) triple12) -> rule2))] Harry is white.[(((triple12) -> rule8))] @2: Anne is kind.[(((((triple1) -> rule8) triple1) -> rule4))] @3: Anne is round.[(((((((triple1) -> rule8) triple1) -> rule4) ((triple1) -> rule8)) -> rule3))] @4: Anne is nice.[(((((((((triple1) -> rule8) triple1) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule1))] @5: Anne is smart.[(((((((((((triple1) -> rule8) triple1) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule1)) -> rule6))]