Anne is nice. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Dave is blue. Dave is nice. Harry is cold. If Charlie is red and Charlie is nice then Charlie is white.
Dave is blue.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is nice.[(triple9)] Harry is cold.[(triple10)]