Charlie is not big. Charlie is not blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Charlie is not smart. If something is smart and green then it is big. If something is green and not nice then it is round.
Charlie is not green.
@0: Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not smart.[(triple7)] Charlie is round.[(triple6)]