Anne is green. Anne is nice. Anne is round. Anne is white. Bob is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Fiona is quiet. All white people are red. All smart people are green. Nice people are white. Smart people are red. Green, smart people are quiet. Green people are smart. All smart people are red. If someone is red and nice then they are green.
Bob is not green.