Anne is blue. Anne is cold. Anne is rough. Anne is round. Anne is smart. Bob is cold. Bob is smart. Bob is young. Fiona is round. Gary is cold. Gary is smart. All round, smart things are quiet. All round things are quiet. All blue things are round. All blue, quiet things are young. If something is quiet then it is blue. All young, cold things are rough. If Bob is young and Bob is blue then Bob is round. If Fiona is rough and Fiona is blue then Fiona is smart. Round things are cold.
Fiona is not smart.