Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is round. Anne is young. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is young. If Erin is quiet then Erin is round. Quiet, young people are blue. All quiet, round people are blue. Furry people are red. Round, young people are furry. Young, red people are round. All blue people are cold. All red people are young.
Erin is furry.
@0: Anne is blue.[(triple1 OR ((triple4 triple6) -> rule3) OR ((triple4 triple7) -> rule2) OR ((triple4 ((triple5) -> rule8)) -> rule2) OR ((triple4 ((triple7 triple5) -> rule6)) -> rule3) OR ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule2) OR ((triple4 ((triple7 ((triple3) -> rule4)) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule8) triple5) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule8) ((triple3) -> rule4)) -> rule6)) -> rule3) OR ((triple4 ((((((triple3) -> rule4)) -> rule8) triple5) -> rule6)) -> rule3) OR ((triple4 ((((((triple3) -> rule4)) -> rule8) ((triple3) -> rule4)) -> rule6)) -> rule3))] Anne is cold.[(triple2 OR ((triple1) -> rule7) OR ((((triple4 triple6) -> rule3)) -> rule7) OR ((((triple4 triple7) -> rule2)) -> rule7) OR ((((triple4 ((triple5) -> rule8)) -> rule2)) -> rule7) OR ((((triple4 ((triple7 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule2)) -> rule7) OR ((((triple4 ((triple7 ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5) -> rule8) triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5) -> rule8) ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple4 ((((((triple3) -> rule4)) -> rule8) triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple4 ((((((triple3) -> rule4)) -> rule8) ((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule7))] Anne is furry.[(triple3 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple5) -> rule8)) -> rule5) OR ((((triple7 triple5) -> rule6) triple7) -> rule5) OR ((((triple7 triple5) -> rule6) ((triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule8) triple5) -> rule6) triple7) -> rule5) OR ((((((triple5) -> rule8) triple5) -> rule6) ((triple5) -> rule8)) -> rule5))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule4))] Anne is round.[(triple6 OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule8) triple5) -> rule6) OR ((((triple5) -> rule8) ((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule4)) -> rule8) triple5) -> rule6) OR ((((((triple3) -> rule4)) -> rule8) ((triple3) -> rule4)) -> rule6))] Anne is young.[(triple7 OR ((triple5) -> rule8) OR ((((triple3) -> rule4)) -> rule8))] Erin is blue.[(triple8 OR ((triple11 triple13) -> rule3) OR ((triple11 triple14) -> rule2) OR ((triple11 ((triple11) -> rule1)) -> rule3) OR ((triple11 ((triple12) -> rule8)) -> rule2) OR ((triple11 ((triple14 triple12) -> rule6)) -> rule3) OR ((triple11 ((((triple10) -> rule4)) -> rule8)) -> rule2) OR ((triple11 ((triple14 ((triple10) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((triple12) -> rule8) triple12) -> rule6)) -> rule3) OR ((triple11 ((((triple12) -> rule8) ((triple10) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((((triple10) -> rule4)) -> rule8) triple12) -> rule6)) -> rule3) OR ((triple11 ((((((triple10) -> rule4)) -> rule8) ((triple10) -> rule4)) -> rule6)) -> rule3))] Erin is cold.[(triple9 OR ((triple8) -> rule7) OR ((((triple11 triple13) -> rule3)) -> rule7) OR ((((triple11 triple14) -> rule2)) -> rule7) OR ((((triple11 ((triple11) -> rule1)) -> rule3)) -> rule7) OR ((((triple11 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((((triple11 ((triple14 triple12) -> rule6)) -> rule3)) -> rule7) OR ((((triple11 ((((triple10) -> rule4)) -> rule8)) -> rule2)) -> rule7) OR ((((triple11 ((triple14 ((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple11 ((((triple12) -> rule8) triple12) -> rule6)) -> rule3)) -> rule7) OR ((((triple11 ((((triple12) -> rule8) ((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule7) OR ((((triple11 ((((((triple10) -> rule4)) -> rule8) triple12) -> rule6)) -> rule3)) -> rule7) OR ((((triple11 ((((((triple10) -> rule4)) -> rule8) ((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule7))] Erin is furry.[(triple10 OR ((triple13 triple14) -> rule5) OR ((triple13 ((triple12) -> rule8)) -> rule5) OR ((((triple11) -> rule1) triple14) -> rule5) OR ((((triple14 triple12) -> rule6) triple14) -> rule5) OR ((((triple11) -> rule1) ((triple12) -> rule8)) -> rule5) OR ((((triple14 triple12) -> rule6) ((triple12) -> rule8)) -> rule5) OR ((((((triple12) -> rule8) triple12) -> rule6) triple14) -> rule5) OR ((((((triple12) -> rule8) triple12) -> rule6) ((triple12) -> rule8)) -> rule5))] Erin is quiet.[(triple11)] Erin is red.[(triple12 OR ((triple10) -> rule4) OR ((((triple13 triple14) -> rule5)) -> rule4) OR ((((((triple11) -> rule1) triple14) -> rule5)) -> rule4))] Erin is round.[(triple13 OR ((triple11) -> rule1) OR ((triple14 triple12) -> rule6) OR ((triple14 ((triple10) -> rule4)) -> rule6) OR ((((triple12) -> rule8) triple12) -> rule6) OR ((((triple12) -> rule8) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4)) -> rule8) triple12) -> rule6) OR ((((((triple10) -> rule4)) -> rule8) ((triple10) -> rule4)) -> rule6))] Erin is young.[(triple14 OR ((triple12) -> rule8) OR ((((triple10) -> rule4)) -> rule8))]