Anne is red. Anne is smart. Bob is blue. Bob is green. Fiona is smart. Gary is green. Gary is red. Red, smart things are quiet. Blue, red things are smart. If something is quiet then it is cold. All cold things are blue. Young, quiet things are green. If something is red and green then it is young. All cold things are blue. If Anne is blue and Anne is red then Anne is not green. All young things are cold.
Fiona is smart.