Bob is furry. Bob is kind. Bob is smart. Bob is young. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Erin is furry. Erin is round. Fiona is furry. Fiona is kind. If something is blue and furry then it is smart. All smart things are young. Smart things are blue.
Charlie is not blue.