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