Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is not red. Dave is not rough. Fiona is big. Fiona is green. Fiona is not nice. Fiona is red. Fiona is not rough. All rough things are red. All rough things are nice. If Dave is not green then Dave is not rough.
Fiona is not quiet.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is not red.[(triple6)] Dave is not rough.[(triple7)] Dave is quiet.[(triple5)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is not nice.[(triple10)] Fiona is not rough.[(triple12)] Fiona is red.[(triple11)]