Bob is big. Bob is blue. Bob is not green. Bob is nice. Bob is not red. Bob is not rough. Charlie is blue. Charlie is nice. Charlie is not red. Charlie is not rough. Dave is big. Dave is blue. Dave is green. Dave is nice. Fiona is green. Fiona is nice. Green, red things are young. Rough things are green. If Fiona is blue then Fiona is young. If something is red and blue then it is not nice. If something is young and not rough then it is not nice. If something is red and not green then it is not blue. If something is young then it is big. If something is green and not rough then it is big.
Fiona is red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple4)] Bob is not green.[(triple3)] Bob is not red.[(triple5)] Bob is not rough.[(triple6)] Charlie is blue.[(triple7)] Charlie is nice.[(triple8)] Charlie is not red.[(triple9)] Charlie is not rough.[(triple10)] Dave is big.[(triple11)] Dave is blue.[(triple12)] Dave is green.[(triple13)] Dave is nice.[(triple14)] Fiona is green.[(triple15)] Fiona is nice.[(triple16)]