the snuffling misgovernment occurs.
sent1: the non-Hawaiianness results in that the undatableness and the entraining occurs. sent2: the trajectory happens if either the non-latinateness or the cathecticness or both occurs. sent3: if the husbandliness does not occur then the trajectory occurs or the anthropogeneticness happens or both. sent4: if the husbandliness happens and the anthropogeneticness happens the moo does not occur. sent5: the verdict happens. sent6: the anthropogeneticness happens if the trajectory occurs. sent7: the acanthoticness occurs. sent8: that the latinateness does not occur or that the cathecticness happens or both is caused by that the snuffling misgovernment does not occur. sent9: the mooing occurs and the overflight occurs if the polarographicness does not occur. sent10: the fact that the jitters does not occur is true. sent11: that the jitters does not occur causes that the husbandliness happens and the snuffling launchpad occurs. sent12: the polarographicness does not occur.
void -> assump1: Let's assume that the snuffling misgovernment does not occur.; sent8 & assump1 -> int1: the latinateness does not occur and/or the cathecticness happens.; int1 & sent2 -> int2: the trajectory happens.; int2 & sent6 -> int3: the anthropogeneticness occurs.; sent11 & sent10 -> int4: the husbandliness and the snuffling launchpad occurs.; int4 -> int5: the husbandliness occurs.; int3 & int5 -> int6: the husbandliness happens and the anthropogeneticness occurs.; int6 & sent4 -> int7: the moo does not occur.; sent9 & sent12 -> int8: the moo and the overflight happens.; int8 -> int9: the moo happens.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the snuffling misgovernment does not occur.
$hypothesis$ = the snuffling misgovernment occurs. ; $context$ = sent1: the non-Hawaiianness results in that the undatableness and the entraining occurs. sent2: the trajectory happens if either the non-latinateness or the cathecticness or both occurs. sent3: if the husbandliness does not occur then the trajectory occurs or the anthropogeneticness happens or both. sent4: if the husbandliness happens and the anthropogeneticness happens the moo does not occur. sent5: the verdict happens. sent6: the anthropogeneticness happens if the trajectory occurs. sent7: the acanthoticness occurs. sent8: that the latinateness does not occur or that the cathecticness happens or both is caused by that the snuffling misgovernment does not occur. sent9: the mooing occurs and the overflight occurs if the polarographicness does not occur. sent10: the fact that the jitters does not occur is true. sent11: that the jitters does not occur causes that the husbandliness happens and the snuffling launchpad occurs. sent12: the polarographicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the snuffling misgovernment does not occur.; sent8 & assump1 -> int1: the latinateness does not occur and/or the cathecticness happens.; int1 & sent2 -> int2: the trajectory happens.; int2 & sent6 -> int3: the anthropogeneticness occurs.; sent11 & sent10 -> int4: the husbandliness and the snuffling launchpad occurs.; int4 -> int5: the husbandliness occurs.; int3 & int5 -> int6: the husbandliness happens and the anthropogeneticness occurs.; int6 & sent4 -> int7: the moo does not occur.; sent9 & sent12 -> int8: the moo and the overflight happens.; int8 -> int9: the moo happens.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__