Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is rough. All red people are quiet. All big, furry people are cold. Quiet people are kind. Red people are cold. Cold people are furry. Kind, quiet people are red. All cold, big people are kind. Big, rough people are kind.
Erin is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple6) -> rule4) OR ((triple1 triple3) -> rule2) OR ((((triple4 triple5) -> rule6)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) OR ((((((triple1 triple7) -> rule8) triple5) -> rule6)) -> rule4))] Anne is furry.[(triple3 OR ((triple2) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1 triple7) -> rule8) triple5) -> rule6)) -> rule4)) -> rule5))] Anne is kind.[(triple4 OR ((triple5) -> rule3) OR ((triple1 triple7) -> rule8) OR ((triple2 triple1) -> rule7) OR ((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule4) triple1) -> rule7) OR ((((triple1 triple3) -> rule2) triple1) -> rule7))] Anne is quiet.[(triple5 OR ((triple6) -> rule1))] Anne is red.[(triple6 OR ((triple4 triple5) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule6) OR ((((triple1 triple7) -> rule8) triple5) -> rule6) OR ((((triple2 triple1) -> rule7) triple5) -> rule6) OR ((((((triple1 triple3) -> rule2) triple1) -> rule7) triple5) -> rule6))] Anne is rough.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9 OR ((triple13) -> rule4) OR ((triple8 triple10) -> rule2) OR ((((triple11 triple12) -> rule6)) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule6)) -> rule4) OR ((((((triple8 triple14) -> rule8) triple12) -> rule6)) -> rule4))] Erin is furry.[(triple10 OR ((triple9) -> rule5) OR ((((triple13) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple12) -> rule3) triple12) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple8 triple14) -> rule8) triple12) -> rule6)) -> rule4)) -> rule5))] Erin is kind.[(triple11 OR ((triple12) -> rule3) OR ((triple8 triple14) -> rule8) OR ((triple9 triple8) -> rule7) OR ((((triple13) -> rule1)) -> rule3) OR ((((triple13) -> rule4) triple8) -> rule7) OR ((((triple8 triple10) -> rule2) triple8) -> rule7))] Erin is quiet.[(triple12 OR ((triple13) -> rule1))] Erin is red.[(triple13 OR ((triple11 triple12) -> rule6) OR ((((triple12) -> rule3) triple12) -> rule6) OR ((((triple8 triple14) -> rule8) triple12) -> rule6) OR ((((triple9 triple8) -> rule7) triple12) -> rule6) OR ((((((triple8 triple10) -> rule2) triple8) -> rule7) triple12) -> rule6))] Erin is rough.[(triple14)]