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.
Harry is cold.
@0: Anne is cold.[(triple1)] Dave is nice.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)]