Dave is round. Fiona is kind. Gary is round. All blue things are round. If something is round then it is blue. Red things are kind. If Dave is white then Dave is kind. If something is blue then it is round. Blue things are red. All blue, quiet things are red. All nice things are kind.
Fiona is not red.