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