Charlie is not blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is not rough. Charlie is white. Fiona is not blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is white. Harry is nice. Harry is not quiet. Harry is red. Harry is rough. Harry is white. If Harry is green then Harry is nice. If Charlie is not red then Charlie is blue. If someone is red and not white then they are blue.
Charlie is not nice.
@0: Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not blue.[(triple1)] Charlie is not rough.[(triple5)] Charlie is quiet.[(triple4)] Charlie is white.[(triple6)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not blue.[(triple7)] Fiona is red.[(triple10)] Fiona is white.[(triple11)] Harry is nice.[(triple12)] Harry is not quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)]