Anne is red. Fiona is kind. Fiona is quiet. If someone is smart then they are kind. If someone is kind and big then they are blue. If Anne is red then Anne is smart. Kind people are cold. Blue people are cold. All red, kind people are cold. Kind, smart people are big. All kind people are quiet.
Fiona is not red.