Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is white. If someone is nice and not furry then they are blue. Quiet, white people are blue. If someone is furry and not big then they are not quiet. If someone is green then they are quiet. Green, big people are white. If Erin is blue and Erin is not nice then Erin is green.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple4 triple1) -> rule5)) -> rule2) OR ((((triple4) -> rule4) triple7) -> rule2) OR ((((triple4) -> rule4) ((triple4 triple1) -> rule5)) -> rule2))] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6 OR ((triple4) -> rule4))] Erin is white.[(triple7 OR ((triple4 triple1) -> rule5))]