Alan is kind. Alan is green. Alan is big. Bob is young. Bob is rough. Bob is cold. Dave is young. Dave is green. If someone is red and green then they are round. If someone is kind and green then they are red. If someone is red and nice then they are big. If someone is young and nice then they are green. If someone is green and red and round then they are young.
Bob is not nice.