Anne is cold. Anne is furry. Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Charlie is nice. Charlie is smart. Harry is rough. Smart things are nice. If Anne is white and Anne is nice then Anne is smart. Smart, white things are quiet. Smart things are white. If something is nice and rough then it is white. If Harry is cold and Harry is furry then Harry is nice. All rough, smart things are cold. Furry, white things are cold.
Charlie is not nice.