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