Anne is green. Dave is nice. Fiona is blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. If Dave is furry and Dave is big then Dave is round. If someone is round and not big then they are green. If Anne is rough and Anne is not blue then Anne is round. Blue people are rough. If someone is round and rough then they are green. If someone is not green then they are nice. If someone is furry and not round then they are not nice. If someone is green and not nice then they are furry.
Dave is not round.