Anne is furry. Anne is red. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is red. Fiona is rough. Blue, rough people are furry. If Fiona is red and Fiona is furry then Fiona is blue.
Charlie is not blue.