that the deposing happens is true.
sent1: the oblation occurs if the functioning Nung occurs. sent2: that the fabianness does not occur brings about that the marriage and the deposing occurs. sent3: that the aquatinting does not occur is brought about by that the functioning climber and the Lancastrian occurs. sent4: if the fact that the halving modesty occurs but the diving dacite does not occur is wrong the functioning moraine happens. sent5: if the diving chondrichthian does not occur then the fact that the unawaresness and the astragalarness occurs is not wrong. sent6: the deposing does not occur if that either the Benedictineness occurs or the gallinaceousness does not occur or both is not true. sent7: that the calcifugousness does not occur and the functioning Nung does not occur is not right. sent8: the non-calcifugousness results in that the oblation does not occur or the astragalarness does not occur or both. sent9: if either the springtide does not occur or the diving squeezer does not occur or both the diving squeezer does not occur. sent10: the fabianness occurs. sent11: if the fact that the calcifugousness does not occur and the functioning Nung does not occur is not right then the oblation occurs. sent12: the fact that that both the non-calcifugousness and the functioning Nung occurs is triggered by the diving chondrichthian is correct. sent13: the fact that the counterbombardment but not the breaker happens is wrong. sent14: the residuariness happens and/or the cabling does not occur. sent15: that the gallinaceousness happens is brought about by the fluctuation. sent16: that the deposing and the marriage happens is brought about by the non-fabianness. sent17: if the fact that the oblation does not occur is right the Benedictine does not occur. sent18: the fact that the soubrette does not occur and the ordinance occurs is wrong if the diving squeezer does not occur. sent19: the disorderliness does not occur. sent20: if the soubrette occurs then that that the halving modesty but not the diving dacite happens is incorrect is right. sent21: that the marriage and the fabianness happens prevents that the unawaresness occurs. sent22: the fact that the fact that the non-totalitarianness and the non-newsness happens is not correct is not false. sent23: that the hypnotherapy does not occur and the disunion does not occur is wrong. sent24: if the oblation happens and/or the tailor does not occur then the tailor does not occur. sent25: the fact that either the Benedictineness occurs or the gallinaceousness does not occur or both is not right if the fluctuation occurs. sent26: that the diving chondrichthian does not occur hold. sent27: if that the soubrette does not occur and the ordinance occurs is not true then the soubrette happens. sent28: the fluctuation is triggered by that the marriage does not occur and the tailoring does not occur. sent29: if the functioning moraine happens the diving chondrichthian happens. sent30: the non-Benedictineness causes that the fluctuation occurs and/or that the gallinaceousness does not occur.
void -> assump1: Let's assume that the marriage occurs.; assump1 & sent10 -> int1: both the marriage and the fabianness happens.; int1 & sent21 -> int2: the unawaresness does not occur.; sent5 & sent26 -> int3: the unawaresness and the astragalarness happens.; int3 -> int4: the unawaresness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the marriage does not occur.; sent11 & sent7 -> int7: the oblation occurs.; int7 -> int8: the oblation happens and/or the tailoring does not occur.; sent24 & int8 -> int9: the tailor does not occur.; int6 & int9 -> int10: the marriage does not occur and the tailor does not occur.; int10 & sent28 -> int11: the fluctuation happens.; int11 & sent25 -> int12: the fact that the Benedictineness or the non-gallinaceousness or both happens is wrong.; int12 & sent6 -> hypothesis;
that the deposing does not occur does not hold.
$hypothesis$ = that the deposing happens is true. ; $context$ = sent1: the oblation occurs if the functioning Nung occurs. sent2: that the fabianness does not occur brings about that the marriage and the deposing occurs. sent3: that the aquatinting does not occur is brought about by that the functioning climber and the Lancastrian occurs. sent4: if the fact that the halving modesty occurs but the diving dacite does not occur is wrong the functioning moraine happens. sent5: if the diving chondrichthian does not occur then the fact that the unawaresness and the astragalarness occurs is not wrong. sent6: the deposing does not occur if that either the Benedictineness occurs or the gallinaceousness does not occur or both is not true. sent7: that the calcifugousness does not occur and the functioning Nung does not occur is not right. sent8: the non-calcifugousness results in that the oblation does not occur or the astragalarness does not occur or both. sent9: if either the springtide does not occur or the diving squeezer does not occur or both the diving squeezer does not occur. sent10: the fabianness occurs. sent11: if the fact that the calcifugousness does not occur and the functioning Nung does not occur is not right then the oblation occurs. sent12: the fact that that both the non-calcifugousness and the functioning Nung occurs is triggered by the diving chondrichthian is correct. sent13: the fact that the counterbombardment but not the breaker happens is wrong. sent14: the residuariness happens and/or the cabling does not occur. sent15: that the gallinaceousness happens is brought about by the fluctuation. sent16: that the deposing and the marriage happens is brought about by the non-fabianness. sent17: if the fact that the oblation does not occur is right the Benedictine does not occur. sent18: the fact that the soubrette does not occur and the ordinance occurs is wrong if the diving squeezer does not occur. sent19: the disorderliness does not occur. sent20: if the soubrette occurs then that that the halving modesty but not the diving dacite happens is incorrect is right. sent21: that the marriage and the fabianness happens prevents that the unawaresness occurs. sent22: the fact that the fact that the non-totalitarianness and the non-newsness happens is not correct is not false. sent23: that the hypnotherapy does not occur and the disunion does not occur is wrong. sent24: if the oblation happens and/or the tailor does not occur then the tailor does not occur. sent25: the fact that either the Benedictineness occurs or the gallinaceousness does not occur or both is not right if the fluctuation occurs. sent26: that the diving chondrichthian does not occur hold. sent27: if that the soubrette does not occur and the ordinance occurs is not true then the soubrette happens. sent28: the fluctuation is triggered by that the marriage does not occur and the tailoring does not occur. sent29: if the functioning moraine happens the diving chondrichthian happens. sent30: the non-Benedictineness causes that the fluctuation occurs and/or that the gallinaceousness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the marriage occurs.; assump1 & sent10 -> int1: both the marriage and the fabianness happens.; int1 & sent21 -> int2: the unawaresness does not occur.; sent5 & sent26 -> int3: the unawaresness and the astragalarness happens.; int3 -> int4: the unawaresness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the marriage does not occur.; sent11 & sent7 -> int7: the oblation occurs.; int7 -> int8: the oblation happens and/or the tailoring does not occur.; sent24 & int8 -> int9: the tailor does not occur.; int6 & int9 -> int10: the marriage does not occur and the tailor does not occur.; int10 & sent28 -> int11: the fluctuation happens.; int11 & sent25 -> int12: the fact that the Benedictineness or the non-gallinaceousness or both happens is wrong.; int12 & sent6 -> hypothesis; __DISPROVED__