Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. All kind people are smart.
Erin is not white.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5 OR ((triple1) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)]