Anne is kind. Anne is nice. Anne is smart. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. If someone is rough and cold then they are smart. If Charlie is nice and Charlie is blue then Charlie is red. All kind people are red. All nice people are smart. All kind people are red. All red, blue people are rough.
Fiona is blue.