Anne is green. Dave is cold. Dave is white. Harry is big. Harry is blue. Harry is cold. Harry is young. If Anne is cold then Anne is white.
Dave is not cold.
@0: Anne is green.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6)] Harry is young.[(triple7)]