Anne is not blue. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is white. Dave is blue. Dave is nice. Dave is not quiet. Erin is red. Erin is not rough. Erin is white. Furry people are white. If someone is white then they are furry. If Anne is not furry then Anne is nice. If Anne is nice and Anne is rough then Anne is blue. If someone is blue and not nice then they are not quiet. If someone is rough and quiet then they are red.
Dave is not red.
@0: Anne is furry.[(triple2 OR ((triple6) -> rule2))] Anne is not blue.[(triple1)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple3) -> rule6))] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule1))] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is not quiet.[(triple9)] Erin is not rough.[(triple11)] Erin is red.[(triple10)] Erin is white.[(triple12)] @1: Erin is furry.[(((triple12) -> rule2))]