Erin is big. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. Big, smart things are white. If something is big and round then it is rough. Smart, red things are white. If something is red and round then it is big. If something is white then it is round. If something is red and rough then it is big.
Erin is not big.
@0: Erin is big.[(triple1 OR ((triple3 triple4) -> rule6) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple7) -> rule5)) -> rule4) OR ((triple3 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule4))] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple7) -> rule5)) -> rule2) OR ((((triple3 triple5) -> rule4) triple5) -> rule2) OR ((((triple3 triple5) -> rule4) ((triple7) -> rule5)) -> rule2) OR ((triple1 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule2) OR ((triple1 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((triple7) -> rule5)) -> rule4) triple5) -> rule2) OR ((((triple3 triple5) -> rule4) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule2) OR ((((triple3 triple5) -> rule4) ((((triple6 triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple7) -> rule5)) -> rule4) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule2) OR ((((triple3 ((triple7) -> rule5)) -> rule4) ((((triple6 triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule4) triple5) -> rule2) OR ((((triple3 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule2) OR ((((triple3 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule4) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule2) OR ((((triple3 ((((triple6 triple3) -> rule3)) -> rule5)) -> rule4) ((((triple6 triple3) -> rule3)) -> rule5)) -> rule2))] Erin is round.[(triple5 OR ((triple7) -> rule5) OR ((((triple1 triple6) -> rule1)) -> rule5) OR ((((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple4) -> rule6) triple6) -> rule1)) -> rule5))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple1 triple6) -> rule1) OR ((triple6 triple3) -> rule3) OR ((((triple3 triple4) -> rule6) triple6) -> rule1) OR ((((triple3 triple5) -> rule4) triple6) -> rule1))]