Anne is blue. Anne is red. Anne is round. Anne is young. Bob is cold. Bob is green. Bob is red. Erin is blue. Erin is cold. Erin is red. Fiona is quiet. Fiona is young. If something is green and not cold then it is blue. All red things are young. If Bob is young and Bob is blue then Bob is quiet. If something is not cold then it is quiet. If something is young and cold then it is not quiet. Blue, cold things are not round.
Erin is not red.