that the Shonaness leads to that the contorting squark does not occur and the implausibleness happens is wrong.
sent1: the excavation does not occur if the fact that both the sneezing and the differentiation occurs is incorrect. sent2: if the fitting contrabass happens that not the netball but the accommodation happens is incorrect. sent3: if that the grant-in-aid occurs and the implausibleness does not occur is not correct the contorting squark happens. sent4: that the changelessness does not occur is not false if the tunelessness and the Shona happens. sent5: the fitting contrabass happens. sent6: that the excavation does not occur brings about that the implausibleness and the grant-in-aid happens. sent7: if the Shona occurs but the tunelessness does not occur then the flip does not occur. sent8: the fact that the tunelessness occurs is not incorrect. sent9: the fact that both the sneezing and the differentiation happens is wrong. sent10: the fact that the grant-in-aid and the non-implausibleness happens does not hold if the fitting contrabass does not occur. sent11: if the fact that the covetousness does not occur but the profanation happens is incorrect then the profanation does not occur. sent12: the fact that the sneeze but not the differentiation occurs is false if the fitting chlorpromazine happens. sent13: the accommodation does not occur if the fact that the netball does not occur but the accommodation happens does not hold. sent14: the excavation happens if that the sneezing occurs but the differentiation does not occur is not true. sent15: the contorting squark does not occur if the accommodation does not occur and the changelessness does not occur.
void -> assump1: Let's assume that the fact that the Shona occurs is right.; sent8 & assump1 -> int1: the tunelessness and the Shonaness happens.; int1 & sent4 -> int2: the changelessness does not occur.; sent2 & sent5 -> int3: the fact that the netball does not occur but the accommodation happens is not correct.; sent13 & int3 -> int4: the accommodation does not occur.; int2 & int4 -> int5: the accommodation does not occur and the changelessness does not occur.; int5 & sent15 -> int6: the contorting squark does not occur.; sent1 & sent9 -> int7: the excavation does not occur.; sent6 & int7 -> int8: both the implausibleness and the grant-in-aid occurs.; int8 -> int9: the implausibleness occurs.; int6 & int9 -> int10: not the contorting squark but the implausibleness happens.; [assump1] & int10 -> hypothesis;
the fact that the flip does not occur hold.
$hypothesis$ = that the Shonaness leads to that the contorting squark does not occur and the implausibleness happens is wrong. ; $context$ = sent1: the excavation does not occur if the fact that both the sneezing and the differentiation occurs is incorrect. sent2: if the fitting contrabass happens that not the netball but the accommodation happens is incorrect. sent3: if that the grant-in-aid occurs and the implausibleness does not occur is not correct the contorting squark happens. sent4: that the changelessness does not occur is not false if the tunelessness and the Shona happens. sent5: the fitting contrabass happens. sent6: that the excavation does not occur brings about that the implausibleness and the grant-in-aid happens. sent7: if the Shona occurs but the tunelessness does not occur then the flip does not occur. sent8: the fact that the tunelessness occurs is not incorrect. sent9: the fact that both the sneezing and the differentiation happens is wrong. sent10: the fact that the grant-in-aid and the non-implausibleness happens does not hold if the fitting contrabass does not occur. sent11: if the fact that the covetousness does not occur but the profanation happens is incorrect then the profanation does not occur. sent12: the fact that the sneeze but not the differentiation occurs is false if the fitting chlorpromazine happens. sent13: the accommodation does not occur if the fact that the netball does not occur but the accommodation happens does not hold. sent14: the excavation happens if that the sneezing occurs but the differentiation does not occur is not true. sent15: the contorting squark does not occur if the accommodation does not occur and the changelessness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Shona occurs is right.; sent8 & assump1 -> int1: the tunelessness and the Shonaness happens.; int1 & sent4 -> int2: the changelessness does not occur.; sent2 & sent5 -> int3: the fact that the netball does not occur but the accommodation happens is not correct.; sent13 & int3 -> int4: the accommodation does not occur.; int2 & int4 -> int5: the accommodation does not occur and the changelessness does not occur.; int5 & sent15 -> int6: the contorting squark does not occur.; sent1 & sent9 -> int7: the excavation does not occur.; sent6 & int7 -> int8: both the implausibleness and the grant-in-aid occurs.; int8 -> int9: the implausibleness occurs.; int6 & int9 -> int10: not the contorting squark but the implausibleness happens.; [assump1] & int10 -> hypothesis; __DISPROVED__