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