premise: A large crowd under green trees and a banner that says "AIDS Walk". hypothesis: There is noone under the green trees.
contradiction: There cannot be a crowd and noone under the trees at the same time.