Anne is cold. Dave is nice. Gary is white. Harry is cold. If Dave is cold and Dave is nice then Dave is rough. Quiet things are rough. All quiet, rough things are nice.
Dave is not rough.
@0: Anne is cold.[(triple1)] Dave is nice.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)]