Anne is blue. Anne is red. Bob is big. Bob is blue. Bob is red. Bob is young. Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is young. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is young. If Dave is red and Dave is cold then Dave is nice. Cold people are quiet. If Bob is red then Bob is cold. All blue, cold people are nice. All quiet, red people are cold. If someone is nice and blue then they are quiet. All young people are nice. If someone is red and blue then they are young.
Fiona is not big.