Anne is cold. Bob is blue. Bob is furry. Bob is quiet. Bob is white. Charlie is blue. Charlie is quiet. Charlie is white. Fiona is big. Fiona is white. All white things are big. Cold things are white. If Fiona is quiet and Fiona is furry then Fiona is white. If Charlie is cold and Charlie is furry then Charlie is rough. All rough things are blue. All furry, cold things are white. If Bob is rough then Bob is blue. If something is quiet then it is blue.
Charlie is not blue.