Dave is green. Dave is quiet. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is white. Gary is green. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is white. All white, furry things are quiet. All nice, white things are cold. All cold things are nice. All white things are furry. All quiet, furry things are green. If something is quiet and green then it is white. All round, cold things are nice. White, round things are nice.
Erin is quiet.
@0: Dave is green.[(triple1)] Dave is quiet.[(triple2)] Erin is cold.[(triple3 OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple7 triple5) -> rule6)) -> rule2) OR ((((triple9 triple8) -> rule8) triple9) -> rule2) OR ((((triple9 triple8) -> rule8) ((triple7 triple5) -> rule6)) -> rule2) OR ((triple6 ((triple7 ((triple7 triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple7 triple5) -> rule6) triple8) -> rule8) triple9) -> rule2) OR ((((triple9 triple8) -> rule8) ((triple7 ((triple7 triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple7 triple5) -> rule6) triple8) -> rule8) ((triple7 triple5) -> rule6)) -> rule2) OR ((((((triple7 triple5) -> rule6) triple8) -> rule8) ((triple7 ((triple7 triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple8) -> rule8) triple9) -> rule2) OR ((((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple8) -> rule8) ((triple7 triple5) -> rule6)) -> rule2) OR ((((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple8) -> rule8) ((triple7 ((triple7 triple4) -> rule5)) -> rule6)) -> rule2))] Erin is furry.[(triple4 OR ((triple9) -> rule4) OR ((((triple7 triple5) -> rule6)) -> rule4))] Erin is green.[(triple5 OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple9) -> rule4)) -> rule5) OR ((((triple9 triple4) -> rule1) triple4) -> rule5) OR ((((triple9 triple4) -> rule1) ((triple9) -> rule4)) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule1) triple4) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4)) -> rule5))] Erin is nice.[(triple6 OR ((triple3) -> rule3) OR ((triple8 triple3) -> rule7) OR ((triple9 triple8) -> rule8) OR ((((triple7 triple5) -> rule6) triple8) -> rule8) OR ((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple8) -> rule8))] Erin is quiet.[(triple7 OR ((triple9 triple4) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule1))] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple7 triple4) -> rule5)) -> rule6))] Gary is green.[(triple10)] Harry is cold.[(triple11 OR ((triple13 triple16) -> rule2) OR ((((triple16 triple15) -> rule8) triple16) -> rule2) OR ((triple13 ((triple14 ((triple14 triple12) -> rule5)) -> rule6)) -> rule2) OR ((((triple16 triple15) -> rule8) ((triple14 ((triple14 triple12) -> rule5)) -> rule6)) -> rule2) OR ((((((triple14 ((triple14 triple12) -> rule5)) -> rule6) triple15) -> rule8) triple16) -> rule2) OR ((((((triple14 ((triple14 triple12) -> rule5)) -> rule6) triple15) -> rule8) ((triple14 ((triple14 triple12) -> rule5)) -> rule6)) -> rule2))] Harry is furry.[(triple12 OR ((triple16) -> rule4))] Harry is nice.[(triple13 OR ((triple11) -> rule3) OR ((triple15 triple11) -> rule7) OR ((triple16 triple15) -> rule8) OR ((((triple14 ((triple14 triple12) -> rule5)) -> rule6) triple15) -> rule8))] Harry is quiet.[(triple14 OR ((triple16 triple12) -> rule1) OR ((triple16 ((triple16) -> rule4)) -> rule1))] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple14 ((triple14 triple12) -> rule5)) -> rule6))] @1: Dave is white.[(((triple2 triple1) -> rule6))] Harry is green.[(((triple14 triple12) -> rule5) OR ((triple14 ((triple16) -> rule4)) -> rule5) OR ((((triple16 triple12) -> rule1) triple12) -> rule5) OR ((((triple16 triple12) -> rule1) ((triple16) -> rule4)) -> rule5) OR ((((triple16 ((triple16) -> rule4)) -> rule1) triple12) -> rule5) OR ((((triple16 ((triple16) -> rule4)) -> rule1) ((triple16) -> rule4)) -> rule5))] @2: Dave is furry.[(((((triple2 triple1) -> rule6)) -> rule4))]