Anne is nice. Dave is cold. Erin is quiet. If Anne is cold then Anne is not rough. If something is rough then it is not quiet. If Dave is red then Dave is kind. If Erin is not kind and Erin is not red then Erin is blue. Kind things are cold. If Anne is blue and Anne is not nice then Anne is not red. If something is rough and quiet then it is blue. If something is quiet and not kind then it is blue.
Dave is not blue.
@0: Anne is nice.[(triple1)] Dave is cold.[(triple2)] Erin is quiet.[(triple3)]