Anne is blue. Anne is green. Anne is red. Bob is big. Bob is blue. Bob is nice. Charlie is big. Charlie is not blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Dave is big. Dave is blue. Dave is red. If Charlie is nice and Charlie is not big then Charlie is not green. If someone is cold and not blue then they are red.
Bob is cold.