Anne is big. Anne is cold. Anne is kind. Anne is not red. Bob is big. Bob is blue. Bob is cold. Bob is round. Fiona is cold. Fiona is not kind. Fiona is nice. Fiona is red. All red, round people are nice. All nice people are blue. If someone is kind then they are not round. If someone is not nice then they are big. If someone is not nice then they are blue. If someone is not big then they are round.
Fiona is not cold.