premise: a boy in a green shirt is pushing a shopping cart in which a boy in a yellow shirt is riding. hypothesis: A boy is asleep on the sofa.
contradiction: One cannot be pushing a shopping cart and asleep simultaneously.