premise: The boys are having a night out from homework; some are at the table while two are sleeping. hypothesis: Four boys are doing homework.
contradiction: The boys cannot be having a night out from homework and doing homework at the same time.