Charlie is furry. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Fiona is red. Fiona is rough. Fiona is not smart. Fiona is not white. Gary is red. Gary is rough. Gary is round. Round things are young. All young things are white. If something is white then it is young. If something is red and not white then it is furry. If something is not furry then it is red. If something is smart and not furry then it is red. If something is not furry then it is rough. If Fiona is round and Fiona is not furry then Fiona is red.
Gary is not white.