Bob is green. Bob is kind. Bob is nice. Bob is round. Dave is blue. Dave is nice. Dave is smart. Gary is green. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is round. Harry is smart. If Dave is green and Dave is round then Dave is blue. If someone is green then they are smart. Nice people are kind. Green, big people are nice. If someone is kind and big then they are green. If someone is smart then they are big. Smart, kind people are round. If someone is smart and not round then they are not green. If someone is smart and not round then they are green.
Bob is blue.