the prodromalness but not the quartering occurs.
sent1: the hoping does not occur and the uncommonness does not occur. sent2: the fact that not the mitzvah but the axillariness occurs is wrong if the bespangling hummer occurs. sent3: both the profitableness and the sensitizing raceabout occurs if the earthiness does not occur. sent4: that the profitableness does not occur is caused by that the sensitizing raceabout does not occur and the quartering occurs. sent5: the axillariness does not occur if that the mitzvah does not occur and the axillariness happens is not right. sent6: the fact that the prodromalness but not the quarter occurs does not hold if the Aristotelianness does not occur. sent7: that both the mitzvah and the non-axillaryness occurs is incorrect if the bespangling hummer does not occur. sent8: the bespangling hummer occurs. sent9: the prodromalness occurs. sent10: the japaning blast occurs if the fact that the hoping does not occur and the uncommonness does not occur is true. sent11: the disorganization occurs. sent12: if the japaning blast and/or the Aristotelianness happens then the sensitizing raceabout does not occur. sent13: the profitableness occurs and the earthiness happens if the axillariness does not occur.
sent10 & sent1 -> int1: the fact that the japaning blast happens hold.; int1 -> int2: the japaning blast happens and/or the Aristotelian occurs.; int2 & sent12 -> int3: the sensitizing raceabout does not occur.; void -> assump1: Let's assume that the quarter happens.; int3 & assump1 -> int4: the sensitizing raceabout does not occur and the quartering occurs.; int4 & sent4 -> int5: the profitableness does not occur.; sent2 & sent8 -> int6: that not the mitzvah but the axillariness happens is not right.; sent5 & int6 -> int7: the axillariness does not occur.; sent13 & int7 -> int8: the profitableness happens and the earthiness happens.; int8 -> int9: the profitableness happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the quarter does not occur.; int11 & sent9 -> hypothesis;
that the prodromalness happens but the quarter does not occur is false.
$hypothesis$ = the prodromalness but not the quartering occurs. ; $context$ = sent1: the hoping does not occur and the uncommonness does not occur. sent2: the fact that not the mitzvah but the axillariness occurs is wrong if the bespangling hummer occurs. sent3: both the profitableness and the sensitizing raceabout occurs if the earthiness does not occur. sent4: that the profitableness does not occur is caused by that the sensitizing raceabout does not occur and the quartering occurs. sent5: the axillariness does not occur if that the mitzvah does not occur and the axillariness happens is not right. sent6: the fact that the prodromalness but not the quarter occurs does not hold if the Aristotelianness does not occur. sent7: that both the mitzvah and the non-axillaryness occurs is incorrect if the bespangling hummer does not occur. sent8: the bespangling hummer occurs. sent9: the prodromalness occurs. sent10: the japaning blast occurs if the fact that the hoping does not occur and the uncommonness does not occur is true. sent11: the disorganization occurs. sent12: if the japaning blast and/or the Aristotelianness happens then the sensitizing raceabout does not occur. sent13: the profitableness occurs and the earthiness happens if the axillariness does not occur. ; $proof$ = 
sent10 & sent1 -> int1: the fact that the japaning blast happens hold.; int1 -> int2: the japaning blast happens and/or the Aristotelian occurs.; int2 & sent12 -> int3: the sensitizing raceabout does not occur.; void -> assump1: Let's assume that the quarter happens.; int3 & assump1 -> int4: the sensitizing raceabout does not occur and the quartering occurs.; int4 & sent4 -> int5: the profitableness does not occur.; sent2 & sent8 -> int6: that not the mitzvah but the axillariness happens is not right.; sent5 & int6 -> int7: the axillariness does not occur.; sent13 & int7 -> int8: the profitableness happens and the earthiness happens.; int8 -> int9: the profitableness happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the quarter does not occur.; int11 & sent9 -> hypothesis; __PROVED__