Erin is blue. Erin is furry. Erin is not kind. Erin is rough. Erin is not smart. Erin is white. Erin is young. If someone is kind then they are not blue. If someone is rough then they are young. If Erin is not blue and Erin is not smart then Erin is white.
Erin is not kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is not kind.[(triple3)] Erin is not smart.[(triple5)] Erin is rough.[(triple4)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule2))]