Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. All smart things are white. If Gary is smart and Gary is nice then Gary is big. All big, smart things are round. All big, round things are green. All nice things are green. Big, green things are nice.
Gary is big.