Anne is big. Anne is nice. Anne is white. Dave is big. Dave is red. Fiona is green. Gary is big. All green, red people are round. All white people are nice. If someone is green and round then they are white. Green people are kind. All white people are nice. If someone is round then they are kind. Green, kind people are red. Red people are kind.
Dave is not kind.