Bob is big. Bob is not blue. Bob is furry. Bob is round. Bob is not smart. Dave is big. Dave is not blue. Dave is cold. Dave is furry. Dave is red. Fiona is blue. Fiona is furry. Fiona is red. Gary is blue. Gary is round. Gary is smart. All round, smart things are not red. If something is blue then it is furry. All red, smart things are round. If something is furry and red then it is not smart. All furry, big things are red. If something is not red then it is not big. If something is not red then it is smart. If something is round and not red then it is cold.
Fiona is furry.