Anne is kind. Anne is not white. Bob is big. Dave is big. Dave is kind. Fiona is green. Fiona is white. All red, green things are big. Kind things are round. White, green things are kind. Kind things are round. Big things are round. Round, kind things are nice. If something is nice then it is red. If something is round and not big then it is red. If something is kind and not round then it is not white.
Bob is green.