Anne is big. Anne is cold. Anne is green. Charlie is big. Charlie is not cold. Charlie is not kind. Charlie is nice. Charlie is smart. Charlie is white. Dave is not big. Dave is nice. Dave is not smart. If Anne is kind and Anne is not white then Anne is not big. Kind, smart people are not green.
Dave is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Charlie is big.[(triple4)] Charlie is nice.[(triple7)] Charlie is not cold.[(triple5)] Charlie is not kind.[(triple6)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is nice.[(triple11)] Dave is not big.[(triple10)] Dave is not smart.[(triple12)]