Bob is green. Bob is kind. Bob is nice. Bob is smart. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If Dave is green and Dave is red then Dave is kind. Kind, round people are red. If someone is round and smart then they are quiet. All nice, smart people are round. If Gary is quiet and Gary is smart then Gary is red. Round people are nice.
Bob is not round.