Anne is quiet. Dave is smart. Fiona is kind. Fiona is smart. Gary is cold. Gary is rough. Gary is smart. If something is cold then it is smart. If something is smart and rough then it is young. All quiet, red things are cold. If something is young and not rough then it is kind. If something is smart and not quiet then it is not red. If something is quiet then it is young. If Fiona is rough and Fiona is young then Fiona is smart. If Anne is rough and Anne is kind then Anne is red. All young, kind things are red.
Fiona is not quiet.