Charlie is big. Charlie is nice. Charlie is round. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is rough. Harry is green. Harry is rough. Harry is round. Harry is young. If Charlie is rough then Charlie is round. If something is green and not big then it is not rough.
Charlie is not green.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]