Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is white. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is white. Harry is big. Harry is cold. Harry is nice. Harry is white. All rough, white people are big. Red, cold people are rough. If Harry is rough and Harry is nice then Harry is big. Cold people are white. If Erin is cold and Erin is red then Erin is rough. Rough people are white.
Anne is not big.
@0: Anne is big.[(triple1 OR ((((triple4 triple2) -> rule2) triple5) -> rule1) OR ((((triple4 triple2) -> rule2) ((triple2) -> rule4)) -> rule1) OR ((((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2)) -> rule6)) -> rule1))] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule4) OR ((((triple4 triple2) -> rule2)) -> rule6))] Erin is big.[(triple6 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple11) -> rule6)) -> rule1) OR ((triple11 ((triple7) -> rule4)) -> rule1) OR ((((triple10 triple7) -> rule2) triple12) -> rule1) OR ((((triple7 triple10) -> rule5) triple12) -> rule1) OR ((((triple10 triple7) -> rule2) ((triple11) -> rule6)) -> rule1) OR ((((triple10 triple7) -> rule2) ((triple7) -> rule4)) -> rule1) OR ((((triple7 triple10) -> rule5) ((triple11) -> rule6)) -> rule1) OR ((((triple7 triple10) -> rule5) ((triple7) -> rule4)) -> rule1) OR ((triple11 ((((triple10 triple7) -> rule2)) -> rule6)) -> rule1) OR ((triple11 ((((triple7 triple10) -> rule5)) -> rule6)) -> rule1) OR ((((triple10 triple7) -> rule2) ((((triple10 triple7) -> rule2)) -> rule6)) -> rule1) OR ((((triple10 triple7) -> rule2) ((((triple7 triple10) -> rule5)) -> rule6)) -> rule1) OR ((((triple7 triple10) -> rule5) ((((triple10 triple7) -> rule2)) -> rule6)) -> rule1) OR ((((triple7 triple10) -> rule5) ((((triple7 triple10) -> rule5)) -> rule6)) -> rule1))] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple10 triple7) -> rule2) OR ((triple7 triple10) -> rule5))] Erin is white.[(triple12 OR ((triple11) -> rule6) OR ((triple7) -> rule4) OR ((((triple10 triple7) -> rule2)) -> rule6) OR ((((triple7 triple10) -> rule5)) -> rule6))] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16 OR ((triple14) -> rule4))] @1: Anne is rough.[(((triple4 triple2) -> rule2))]