Anne is blue. Anne is red. Anne is smart. Bob is quiet. Bob is red. Bob is smart. Erin is blue. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. All smart things are cold. If Erin is furry and Erin is not red then Erin is rough. All quiet, cold things are smart. If Fiona is furry and Fiona is cold then Fiona is quiet. All smart things are cold. If something is quiet and not rough then it is furry.
Fiona is not smart.