Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Gary is not cold. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is kind and red then they are smart. Cold, kind people are smart. If Charlie is smart and Charlie is kind then Charlie is rough. If Gary is nice then Gary is smart. If someone is kind and smart then they are nice. If Charlie is round then Charlie is smart. Smart, round people are red. If someone is round and not nice then they are kind.
Gary is not round.