Dave is cold. Dave is not furry. Dave is quiet. Dave is white. Erin is cold. Erin is not nice. Erin is white. If something is nice and not white then it is young. If something is red and cold then it is quiet. If Erin is young and Erin is not cold then Erin is red.
Erin is not nice.
@0: Dave is cold.[(triple1)] Dave is not furry.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is not nice.[(triple6)] Erin is white.[(triple7)]