Charlie is not red. Dave is smart. Fiona is not smart. Gary is quiet. If Charlie is big and Charlie is quiet then Charlie is smart. If someone is not blue and not quiet then they are cold.
Fiona is not smart.