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