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