Bob is round. Bob is big. Dave is rough. Dave is big. Eric is red. Eric is cold. Harry is blue. If someone is round and big then they are nice. If someone is blue and kind and big then they are green. If someone is red and green then they are round. If someone is rough and green and red then they are cold. If someone is big and rough then they are blue. If someone is round and nice then they are rough.
Dave is not blue.