Erin is not furry. Erin is not green. Erin is kind. Erin is quiet. Erin is not red. Erin is rough. Erin is smart. If something is furry then it is red. Quiet, green things are red. All kind things are not red. If something is furry then it is not green. If something is red then it is not quiet. If Erin is red and Erin is not furry then Erin is not quiet.
Erin is not quiet.
@0: Erin is kind.[(triple3)] Erin is not furry.[(triple1)] Erin is not green.[(triple2)] Erin is not red.[(triple5 OR ((triple3) -> rule3))] Erin is quiet.[(triple4)] Erin is rough.[(triple6)] Erin is smart.[(triple7)]