Charlie is not cold. Charlie is nice. Charlie is red. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is not red. All blue, big people are nice. If Charlie is cold and Charlie is round then Charlie is red. If someone is not big then they are green. Cold people are red. If someone is not red then they are not round. If Charlie is not red then Charlie is round.
Fiona is not big.