Anne is not cold. Anne is not furry. Anne is smart. Bob is blue. Bob is green. Bob is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is not green. Fiona is red. Fiona is not smart. All cold things are round. All blue, smart things are cold. If something is green and not cold then it is not furry.
Bob is not round.