that both the non-Gaboneseness and the pianism occurs if the resulting sugariness happens is incorrect.
sent1: if the fact that the fact that the earthenness happens and the limacineness happens is not right is not wrong the earthenness does not occur. sent2: the resulting kirk but not the credibleness occurs. sent3: the fact that the earthenness and the limacineness happens does not hold. sent4: the ungregariousness does not occur. sent5: the quickstep does not occur if that the quickstep and the resulting kirk occurs does not hold. sent6: the fact that the reflecting tussah and the non-noisiness happens is incorrect. sent7: the reflecting tussah does not occur if that the reflecting tussah and the non-noisyness happens is not true. sent8: the pianism happens if the earthenness does not occur and the reflecting tussah does not occur. sent9: that the fact that the quickstep and the resulting kirk occurs is not wrong is false if the credibleness does not occur. sent10: if that the Gabonese occurs and the credibleness occurs is not correct then the credibleness does not occur. sent11: the Gaboneseness does not occur if both the resulting kirk and the resulting sugariness happens. sent12: that the non-limacineness and the non-greaterness occurs is false if the hoofing happens. sent13: that both the Gaboneseness and the credibleness happens is not true if that the resulting sugariness does not occur is not incorrect. sent14: that the numeration does not occur brings about that the write-off happens and the hoofing occurs. sent15: if that the non-limacineness and the non-greaterness happens is not right then the noisiness does not occur.
sent2 -> int1: the resulting kirk happens.; void -> assump1: Let's assume that the resulting sugariness happens.; int1 & assump1 -> int2: the resulting kirk and the resulting sugariness occurs.; int2 & sent11 -> int3: the Gabonese does not occur.; sent1 & sent3 -> int4: the earthenness does not occur.; sent7 & sent6 -> int5: the reflecting tussah does not occur.; int4 & int5 -> int6: the earthenness does not occur and the reflecting tussah does not occur.; sent8 & int6 -> int7: the pianism occurs.; int3 & int7 -> int8: the Gabonese does not occur but the pianism occurs.; [assump1] & int8 -> hypothesis;
the quickstep does not occur.
$hypothesis$ = that both the non-Gaboneseness and the pianism occurs if the resulting sugariness happens is incorrect. ; $context$ = sent1: if the fact that the fact that the earthenness happens and the limacineness happens is not right is not wrong the earthenness does not occur. sent2: the resulting kirk but not the credibleness occurs. sent3: the fact that the earthenness and the limacineness happens does not hold. sent4: the ungregariousness does not occur. sent5: the quickstep does not occur if that the quickstep and the resulting kirk occurs does not hold. sent6: the fact that the reflecting tussah and the non-noisiness happens is incorrect. sent7: the reflecting tussah does not occur if that the reflecting tussah and the non-noisyness happens is not true. sent8: the pianism happens if the earthenness does not occur and the reflecting tussah does not occur. sent9: that the fact that the quickstep and the resulting kirk occurs is not wrong is false if the credibleness does not occur. sent10: if that the Gabonese occurs and the credibleness occurs is not correct then the credibleness does not occur. sent11: the Gaboneseness does not occur if both the resulting kirk and the resulting sugariness happens. sent12: that the non-limacineness and the non-greaterness occurs is false if the hoofing happens. sent13: that both the Gaboneseness and the credibleness happens is not true if that the resulting sugariness does not occur is not incorrect. sent14: that the numeration does not occur brings about that the write-off happens and the hoofing occurs. sent15: if that the non-limacineness and the non-greaterness happens is not right then the noisiness does not occur. ; $proof$ = 
sent2 -> int1: the resulting kirk happens.; void -> assump1: Let's assume that the resulting sugariness happens.; int1 & assump1 -> int2: the resulting kirk and the resulting sugariness occurs.; int2 & sent11 -> int3: the Gabonese does not occur.; sent1 & sent3 -> int4: the earthenness does not occur.; sent7 & sent6 -> int5: the reflecting tussah does not occur.; int4 & int5 -> int6: the earthenness does not occur and the reflecting tussah does not occur.; sent8 & int6 -> int7: the pianism occurs.; int3 & int7 -> int8: the Gabonese does not occur but the pianism occurs.; [assump1] & int8 -> hypothesis; __DISPROVED__