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