Dave is cold. Dave is green. Dave is quiet. Dave is rough. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. If Dave is not rough then Dave is nice. If someone is blue and rough then they are not nice. If Dave is red and Dave is not blue then Dave is quiet.
Fiona is cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)]