Anne is kind. Anne is quiet. Anne is red. Dave is big. Dave is not green. Dave is quiet. Dave is not red. Dave is not round. Dave is white. Fiona is big. Fiona is green. Fiona is red. Fiona is not round. Fiona is white. Gary is round. Gary is white. All quiet, green people are white. Round people are big. If Dave is red then Dave is not kind. All red people are green. If someone is round and red then they are white. If someone is not red then they are white.
Fiona is not kind.