Anne is nice. Anne is not smart. Bob is blue. Bob is cold. Bob is nice. Dave is kind. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. All cold things are blue. If Fiona is blue then Fiona is not quiet. All smart things are cold. Kind, nice things are smart. If something is kind then it is red. Smart things are kind. All red things are nice. If something is not smart then it is quiet.
Anne is cold.