Bob is red. Bob is nice. Bob is kind. Charlie is blue. Dave is young. Dave is round. Dave is rough. Dave is blue. Dave is big. Eric is kind. If someone is blue then they are red. If someone is young and nice then they are kind. If someone is kind and nice and young then they are green. If someone is young and big then they are nice. If someone is kind and nice and round then they are green. If someone is round and nice then they are blue.
Eric is nice.