Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is smart. Bob is quiet. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If someone is red then they are blue. If Anne is blue then Anne is green.
Bob is not blue.