Anne is furry. Anne is nice. Anne is red. Anne is smart. Dave is big. Dave is red. Erin is cold. Erin is quiet. Fiona is quiet. Fiona is smart. If Dave is red then Dave is nice. If Fiona is furry and Fiona is smart then Fiona is big. If something is nice then it is quiet. Quiet things are cold. All big, smart things are furry. All cold things are smart.
Fiona is not big.