Dave is cold. Dave is quiet. Dave is not white. Erin is quiet. Erin is young. Harry is quiet. Harry is not young. Cold, nice things are not white. If Harry is cold then Harry is smart.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is not white.[(triple3)] Dave is quiet.[(triple2)] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Harry is not young.[(triple7)] Harry is quiet.[(triple6)]