Charlie is smart. Erin is blue. Gary is big. Blue things are nice. Big, nice things are furry. If Charlie is smart and Charlie is blue then Charlie is big. All nice things are big. All white things are nice. Smart things are furry. All cold things are smart. If Charlie is white and Charlie is nice then Charlie is smart.
Gary is big.