Anne is not big. Anne is not smart. Bob is big. Bob is cold. Bob is smart. Bob is young. Charlie is big. Fiona is big. Fiona is blue. Fiona is red. Fiona is smart. Fiona is young. All red, smart people are cold. All young people are smart. Big people are red. All rough people are young. If someone is blue then they are rough. If Anne is young then Anne is not red. If someone is red and not blue then they are rough. If someone is rough then they are red. If Fiona is cold and Fiona is not young then Fiona is big.
Anne is not blue.