Anne is not blue. Charlie is rough. Charlie is smart. Fiona is cold. Fiona is green. Harry is big. Harry is green. If something is smart then it is cold. Cold things are quiet. If something is big then it is green. If Anne is green then Anne is big. If something is quiet then it is blue. If something is blue then it is big. If something is not quiet then it is big. If Fiona is not rough and Fiona is not big then Fiona is cold. If something is green and not cold then it is not blue.
Fiona is not smart.