Anne is blue. Anne is furry. Anne is red. Bob is green. Bob is kind. Bob is red. Bob is round. Charlie is blue. Charlie is green. Charlie is kind. All green things are furry. If something is red then it is kind. Green things are kind. Green things are blue. Green things are red. If Charlie is furry and Charlie is red then Charlie is blue.
Bob is green.