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