Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is white. If Erin is rough then Erin is furry. If something is big then it is rough. If Erin is round and Erin is furry then Erin is rough. If Erin is round then Erin is big. Round, rough things are nice. Rough, cold things are white.
Erin is not white.
@0: Erin is big.[(triple1 OR ((triple6) -> rule4))] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple6) -> rule4)) -> rule2)) -> rule1))] Erin is nice.[(triple4 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple1) -> rule2)) -> rule5) OR ((triple6 ((triple6 triple3) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4)) -> rule2)) -> rule5))] Erin is rough.[(triple5 OR ((triple1) -> rule2) OR ((triple6 triple3) -> rule3) OR ((((triple6) -> rule4)) -> rule2))] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple5 triple2) -> rule6) OR ((((triple1) -> rule2) triple2) -> rule6) OR ((((triple6 triple3) -> rule3) triple2) -> rule6) OR ((((((triple6) -> rule4)) -> rule2) triple2) -> rule6))]