Anne is big. Anne is rough. Bob is big. Bob is red. Dave is big. Dave is blue. Dave is rough. Fiona is big. Fiona is cold. Fiona is red. All blue people are big. Quiet, big people are rough. Rough people are red. Big people are cold. All blue, cold people are red. All green people are quiet. All quiet people are big. Cold people are green. If someone is rough then they are blue.
Fiona is not red.