Erin is blue. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is white. Kind, blue things are quiet. If something is kind and quiet then it is blue. If Erin is white and Erin is blue then Erin is smart.
Erin is not white.
@0: Erin is blue.[(triple1 OR ((triple2 triple3) -> rule2))] Erin is kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple2 triple1) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple2 triple3) -> rule2)) -> rule3))] Erin is white.[(triple7)]