Anne is cold. Anne is kind. Anne is white. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is round. Fiona is kind. If Anne is kind and Anne is furry then Anne is rough. If Bob is furry then Bob is green. All kind, furry people are white. If someone is white and rough then they are green. Rough people are kind. If Fiona is white and Fiona is rough then Fiona is kind. All white people are furry. If Anne is furry then Anne is white.
Bob is not white.