Charlie is not nice. Charlie is smart. Charlie is white. Charlie is young. Gary is not blue. Gary is nice. Gary is not rough. Gary is smart. Gary is white. Gary is young. If someone is green then they are blue.
Charlie is not blue.
@0: Charlie is not nice.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is nice.[(triple6)] Gary is not blue.[(triple5)] Gary is not rough.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]