Anne is big. Anne is green. Anne is nice. Anne is quiet. Erin is green. Erin is quiet. Harry is green. If someone is furry and green then they are quiet. If someone is quiet and smart then they are furry. White, quiet people are green. If someone is green then they are smart. If Harry is smart then Harry is quiet. If someone is nice and smart then they are white. If Harry is big then Harry is white. All smart, quiet people are big.
Erin is nice.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule4) triple4) -> rule8))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Harry is green.[(triple7)] @1: Anne is smart.[(((triple2) -> rule4))] Erin is smart.[(((triple5) -> rule4))] Harry is smart.[(((triple7) -> rule4))] @2: Anne is furry.[(((triple4 ((triple2) -> rule4)) -> rule2))] Anne is white.[(((triple3 ((triple2) -> rule4)) -> rule6))] Erin is big.[(((((triple5) -> rule4) triple6) -> rule8))] Erin is furry.[(((triple6 ((triple5) -> rule4)) -> rule2))] Harry is quiet.[(((((triple7) -> rule4)) -> rule5))] @3: Harry is big.[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule5)) -> rule8))] Harry is furry.[(((((((triple7) -> rule4)) -> rule5) ((triple7) -> rule4)) -> rule2))] @4: Harry is white.[(((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule5)) -> rule8)) -> rule7))]