Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. All blue things are white. All kind things are green.
Erin is white.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2 OR ((triple3) -> rule2))] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule1))]