Bob is round. Bob is young. Charlie is cold. Charlie is not nice. Dave is not nice. Dave is round. Fiona is round. If Fiona is round then Fiona is cold. If Fiona is young and Fiona is not green then Fiona is not smart. All round people are cold. All furry people are not smart. Green people are cold. If someone is cold then they are furry. If someone is not cold then they are not round. If someone is not round and not cold then they are not smart.
Bob is not green.