Bob is green. Bob is kind. Bob is nice. Bob is rough. Dave is nice. Dave is red. Dave is round. If someone is big then they are nice. If someone is round and green then they are red. Round people are kind. If someone is nice and rough then they are green. Round, kind people are red. If Dave is red then Dave is big. If someone is red and kind then they are nice. All round, kind people are rough.
Bob is not red.