Anne is big. Anne is nice. Bob is furry. If Anne is blue then Anne is kind. If Anne is nice and Anne is round then Anne is furry. If someone is white and blue then they are round. All furry people are white. If someone is round then they are kind. All blue, nice people are round.
Bob is not nice.