Anne is blue. Anne is red. Bob is blue. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Charlie is nice. Charlie is not red. Fiona is smart. If something is blue then it is green. All green things are nice.
Charlie is nice.