Erin is not big. Erin is blue. Erin is not green. Erin is kind. Erin is not red. Erin is rough. Erin is round. All kind things are not green. If Erin is big and Erin is rough then Erin is not red.
Erin is not kind.
@0: Erin is blue.[(triple2)] Erin is kind.[(triple4)] Erin is not big.[(triple1)] Erin is not green.[(triple3 OR ((triple4) -> rule1))] Erin is not red.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)]