Erin is big. Erin is green. Erin is not kind. Erin is not nice. Erin is smart. Erin is white. Erin is young. If something is big and kind then it is smart. If Erin is smart and Erin is not kind then Erin is big. If something is green and not smart then it is nice. Young things are green. If something is smart and not white then it is green. If something is kind and not smart then it is not young.
Erin is not smart.
@0: Erin is big.[(triple1 OR ((triple5 triple3) -> rule2))] Erin is green.[(triple2 OR ((triple7) -> rule4))] Erin is not kind.[(triple3)] Erin is not nice.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]