Charlie is green. Charlie is white. Dave is green. Fiona is big. Fiona is blue. Fiona is rough. Fiona is smart. Gary is not blue. Gary is not green. Gary is quiet. Gary is not smart. Gary is white. If Gary is green and Gary is not rough then Gary is white.
Charlie is not blue.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Dave is green.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Gary is not blue.[(triple8)] Gary is not green.[(triple9)] Gary is not smart.[(triple11)] Gary is quiet.[(triple10)] Gary is white.[(triple12)]