Anne is smart. Charlie is big. Charlie is green. Charlie is round. Charlie is smart. Charlie is young. Erin is cold. Erin is round. Harry is cold. Harry is round. All cold people are big. Green people are furry. Big people are green. If Erin is furry then Erin is green. If Erin is green then Erin is furry. If someone is smart then they are cold. If Anne is big and Anne is furry then Anne is round. If Harry is round and Harry is young then Harry is furry.
Erin is not smart.
@0: Anne is smart.[(triple1)] Charlie is big.[(triple2 OR ((((triple5) -> rule6)) -> rule1))] Charlie is green.[(triple3 OR ((triple2) -> rule3) OR ((((((triple5) -> rule6)) -> rule1)) -> rule3))] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6)] Erin is cold.[(triple7)] Erin is round.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)] @1: Anne is cold.[(((triple1) -> rule6))] Charlie is cold.[(((triple5) -> rule6))] Charlie is furry.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule1)) -> rule3)) -> rule2))] Erin is big.[(((triple7) -> rule1))] Harry is big.[(((triple9) -> rule1))] @2: Anne is big.[(((((triple1) -> rule6)) -> rule1))] Erin is green.[(((((triple7) -> rule1)) -> rule3))] Harry is green.[(((((triple9) -> rule1)) -> rule3))] @3: Anne is green.[(((((((triple1) -> rule6)) -> rule1)) -> rule3))] Erin is furry.[(((((((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((((triple7) -> rule1)) -> rule3)) -> rule5))] Harry is furry.[(((((((triple9) -> rule1)) -> rule3)) -> rule2))] @4: Anne is furry.[(((((((((triple1) -> rule6)) -> rule1)) -> rule3)) -> rule2))] @5: Anne is round.[(((((((triple1) -> rule6)) -> rule1) ((((((((triple1) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule7))]