Bob is kind. Bob is red. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is not smart. If something is smart and not red then it is round.
Bob is not round.