Anne is cold. Anne is smart. Bob is nice. Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Fiona is big. Fiona is cold. Fiona is not nice. Fiona is round. Fiona is not smart. If someone is not rough then they are round. Smart people are green. If someone is round and not green then they are big.
Bob is smart.