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