Anne is blue. Anne is furry. Anne is quiet. Dave is quiet. Erin is round. Erin is white. Harry is quiet. Kind, furry things are quiet. All quiet, big things are blue. All white, big things are kind. All blue things are big. All furry things are quiet. All white things are blue. If Erin is quiet then Erin is round. Big things are furry.
Dave is not big.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((((triple1) -> rule4)) -> rule8))] Anne is quiet.[(triple3 OR ((triple2) -> rule5) OR ((((((triple1) -> rule4)) -> rule8)) -> rule5))] Dave is quiet.[(triple4)] Erin is round.[(triple5 OR ((((((((((triple6) -> rule6)) -> rule4)) -> rule8)) -> rule5)) -> rule7) OR ((((((triple6 ((((triple6) -> rule6)) -> rule4)) -> rule3) ((((((triple6) -> rule6)) -> rule4)) -> rule8)) -> rule1)) -> rule7))] Erin is white.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is big.[(((triple1) -> rule4))] Erin is blue.[(((triple6) -> rule6))] @2: Erin is big.[(((((triple6) -> rule6)) -> rule4))] @3: Erin is furry.[(((((((triple6) -> rule6)) -> rule4)) -> rule8))] Erin is kind.[(((triple6 ((((triple6) -> rule6)) -> rule4)) -> rule3))] @4: Erin is quiet.[(((((((((triple6) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((triple6 ((((triple6) -> rule6)) -> rule4)) -> rule3) ((((((triple6) -> rule6)) -> rule4)) -> rule8)) -> rule1))]