Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. If Dave is not nice then Dave is not cold.
Dave is not white.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is not green.[(triple7)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]