Anne is big. Anne is cold. Anne is not green. Anne is not red. Anne is round. Anne is smart. Anne is white. Dave is not big. Dave is not cold. Dave is green. Dave is red. Dave is round. Dave is not smart. Dave is white. If Anne is cold and Anne is red then Anne is white.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Anne is not red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Dave is green.[(triple10)] Dave is not big.[(triple8)] Dave is not cold.[(triple9)] Dave is not smart.[(triple13)] Dave is red.[(triple11)] Dave is round.[(triple12)] Dave is white.[(triple14)]