Anne is furry. Anne is green. Anne is round. Bob is quiet. Bob is smart. Erin is furry. Erin is smart. Harry is blue. Harry is quiet. Harry is round. Big people are blue. Furry, quiet people are big. If someone is smart then they are blue. Blue people are quiet. Big, quiet people are green. Green, furry people are round.
Erin is quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3 OR ((triple2 triple1) -> rule6))] Bob is quiet.[(triple4 OR ((((triple5) -> rule3)) -> rule4))] Bob is smart.[(triple5)] Erin is furry.[(triple6)] Erin is smart.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9 OR ((triple8) -> rule4))] Harry is round.[(triple10)] @1: Bob is blue.[(((triple5) -> rule3))] Erin is blue.[(((triple7) -> rule3))] @2: Erin is quiet.[(((((triple7) -> rule3)) -> rule4))] @3: Erin is big.[(((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2))] @4: Erin is green.[(((((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule5))] @5: Erin is round.[(((((((triple6 ((((triple7) -> rule3)) -> rule4)) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule5) triple6) -> rule6))]