the boyfriend does not resign and it does not devoice ADP.
sent1: if the cricketer does not devoice Cestidae it outsells prostaglandin. sent2: the cricketer does outsell prostaglandin. sent3: if the cricketer does not devoice Cestidae it recites and it outsells prostaglandin. sent4: The Cestidae does not devoice cricketer. sent5: the boyfriend does not outsell tediousness. sent6: The tediousness does not outsell boyfriend. sent7: the boyfriend is a Indonesian if the Protestant is both not a rich and not an entrepreneur. sent8: something is a kind of uncompassionate thing that does not devoice ADP if that it does not outsell tediousness is not wrong. sent9: The climber does not devoice hog. sent10: that the Protestant is not rich and it is not an entrepreneur is not wrong if the hog does not devoice climber. sent11: the hog does not devoice climber. sent12: the cricketer does not devoice Cestidae. sent13: if that the hog does not devoice climber is true the Protestant is not an entrepreneur. sent14: the cricketer does not recite if something is not non-Indonesian and it resigns.
sent10 & sent11 -> int1: the Protestant is both non-rich and not an entrepreneur.; int1 & sent7 -> int2: the boyfriend is a Indonesian.; void -> assump1: Let's assume that the boyfriend resigns.; int2 & assump1 -> int3: the boyfriend is a Indonesian and resigns.; int3 -> int4: there exists something such that it is Indonesian and it does resign.; int4 & sent14 -> int5: the cricketer does not recite.; sent3 & sent12 -> int6: the cricketer recites and does outsell prostaglandin.; int6 -> int7: the cricketer recites.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the boyfriend does not resign.; sent8 -> int10: the boyfriend is a kind of uncompassionate thing that does not devoice ADP if it does not outsell tediousness.; int10 & sent5 -> int11: the boyfriend is uncompassionate but it does not devoice ADP.; int11 -> int12: the boyfriend does not devoice ADP.; int9 & int12 -> hypothesis;
$hypothesis$ = the boyfriend does not resign and it does not devoice ADP. ; $context$ = sent1: if the cricketer does not devoice Cestidae it outsells prostaglandin. sent2: the cricketer does outsell prostaglandin. sent3: if the cricketer does not devoice Cestidae it recites and it outsells prostaglandin. sent4: The Cestidae does not devoice cricketer. sent5: the boyfriend does not outsell tediousness. sent6: The tediousness does not outsell boyfriend. sent7: the boyfriend is a Indonesian if the Protestant is both not a rich and not an entrepreneur. sent8: something is a kind of uncompassionate thing that does not devoice ADP if that it does not outsell tediousness is not wrong. sent9: The climber does not devoice hog. sent10: that the Protestant is not rich and it is not an entrepreneur is not wrong if the hog does not devoice climber. sent11: the hog does not devoice climber. sent12: the cricketer does not devoice Cestidae. sent13: if that the hog does not devoice climber is true the Protestant is not an entrepreneur. sent14: the cricketer does not recite if something is not non-Indonesian and it resigns. ; $proof$ = 
sent10 & sent11 -> int1: the Protestant is both non-rich and not an entrepreneur.; int1 & sent7 -> int2: the boyfriend is a Indonesian.; void -> assump1: Let's assume that the boyfriend resigns.; int2 & assump1 -> int3: the boyfriend is a Indonesian and resigns.; int3 -> int4: there exists something such that it is Indonesian and it does resign.; int4 & sent14 -> int5: the cricketer does not recite.; sent3 & sent12 -> int6: the cricketer recites and does outsell prostaglandin.; int6 -> int7: the cricketer recites.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the boyfriend does not resign.; sent8 -> int10: the boyfriend is a kind of uncompassionate thing that does not devoice ADP if it does not outsell tediousness.; int10 & sent5 -> int11: the boyfriend is uncompassionate but it does not devoice ADP.; int11 -> int12: the boyfriend does not devoice ADP.; int9 & int12 -> hypothesis; __PROVED__