Anne is green. Anne is nice. Anne is red. Anne is round. Charlie is round. Dave is red. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Round people are green. All quiet people are rough. If someone is red then they are nice. Green people are smart. Smart people are red. Red people are quiet. If someone is not red then they are nice. If someone is round and not quiet then they are green.
Dave is not smart.