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