Anne is green. Anne is not nice. Anne is not smart. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is not quiet. Erin is red. Erin is smart. Nice, big things are red. All nice, green things are big.
Anne is furry.
@0: Anne is green.[(triple1)] Anne is not nice.[(triple2)] Anne is not smart.[(triple3)] Erin is big.[(triple4 OR ((triple7 triple6) -> rule2))] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is not quiet.[(triple8)] Erin is red.[(triple9 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple7 triple6) -> rule2)) -> rule1))] Erin is smart.[(triple10)]