Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Gary is furry. Gary is green. Gary is nice. Gary is white. Gary is young. If someone is young and furry then they are green. All big, nice people are white. If Gary is big then Gary is nice. If Gary is white then Gary is big. Big people are green. All nice people are green. If someone is furry and red then they are big. All green people are young.
Gary is not big.