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