the wag does not occur.
sent1: both the lapping musophobia and the swimming occurs if the dusking nogging does not occur. sent2: if that the lapping musophobia does not occur and the cartwheeling does not occur does not hold the cartwheeling happens. sent3: the racism happens. sent4: if not the differential but the lapping postposition occurs then the whanging fattism happens. sent5: if the whanging fattism occurs then that the wag does not occur is not incorrect. sent6: the fact that both the disrespecting indweller and the dusking nogging happens is not true. sent7: that the restraint does not occur is prevented by that not the headway but the terrestrialness occurs. sent8: the clot happens. sent9: the disrespecting canistel happens. sent10: if both the dusking slagheap and the differentialness occurs then the lapping musophobia does not occur. sent11: the lapping postposition and the disrespecting canistel occurs. sent12: if the fact that the fact that both the disrespecting indweller and the dusking nogging occurs hold does not hold the dusking nogging does not occur. sent13: the dusking slagheap happens if the racism occurs.
sent13 & sent3 -> int1: the dusking slagheap happens.; void -> assump1: Let's assume that the differentialness occurs.; int1 & assump1 -> int2: the dusking slagheap happens and the differentialness occurs.; int2 & sent10 -> int3: that the lapping musophobia does not occur hold.; sent12 & sent6 -> int4: the dusking nogging does not occur.; sent1 & int4 -> int5: the lapping musophobia and the swimming happens.; int5 -> int6: the lapping musophobia occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the differential does not occur.; sent11 -> int9: that the lapping postposition occurs is not wrong.; int8 & int9 -> int10: the differentialness does not occur but the lapping postposition occurs.; int10 & sent4 -> int11: the whanging fattism happens.; int11 & sent5 -> hypothesis;
both the cartwheel and the nomination happens.
$hypothesis$ = the wag does not occur. ; $context$ = sent1: both the lapping musophobia and the swimming occurs if the dusking nogging does not occur. sent2: if that the lapping musophobia does not occur and the cartwheeling does not occur does not hold the cartwheeling happens. sent3: the racism happens. sent4: if not the differential but the lapping postposition occurs then the whanging fattism happens. sent5: if the whanging fattism occurs then that the wag does not occur is not incorrect. sent6: the fact that both the disrespecting indweller and the dusking nogging happens is not true. sent7: that the restraint does not occur is prevented by that not the headway but the terrestrialness occurs. sent8: the clot happens. sent9: the disrespecting canistel happens. sent10: if both the dusking slagheap and the differentialness occurs then the lapping musophobia does not occur. sent11: the lapping postposition and the disrespecting canistel occurs. sent12: if the fact that the fact that both the disrespecting indweller and the dusking nogging occurs hold does not hold the dusking nogging does not occur. sent13: the dusking slagheap happens if the racism occurs. ; $proof$ = 
sent13 & sent3 -> int1: the dusking slagheap happens.; void -> assump1: Let's assume that the differentialness occurs.; int1 & assump1 -> int2: the dusking slagheap happens and the differentialness occurs.; int2 & sent10 -> int3: that the lapping musophobia does not occur hold.; sent12 & sent6 -> int4: the dusking nogging does not occur.; sent1 & int4 -> int5: the lapping musophobia and the swimming happens.; int5 -> int6: the lapping musophobia occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the differential does not occur.; sent11 -> int9: that the lapping postposition occurs is not wrong.; int8 & int9 -> int10: the differentialness does not occur but the lapping postposition occurs.; int10 & sent4 -> int11: the whanging fattism happens.; int11 & sent5 -> hypothesis; __PROVED__