Anne is round. Dave is green. Dave is not smart. Fiona is green. Fiona is quiet. Fiona is not red. Fiona is smart. If someone is round and not green then they are quiet. If someone is big and not green then they are red. If someone is smart and quiet then they are not red. All quiet, red people are round. If someone is quiet then they are smart. If someone is not quiet then they are big.
Dave is not green.