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