Bob is big. Bob is blue. Bob is not cold. Bob is kind. Bob is not red. Bob is not round. Bob is smart. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. If something is round and not smart then it is red.
Fiona is not red.