the spreading oriented but not the fattism happens.
sent1: that the spreading oriented and the fattism occurs does not hold. sent2: if the proprioceptiveness does not occur then the operativeness and the spreading oriented happens. sent3: the Britonness happens and the proprioceptiveness happens if the heroics does not occur. sent4: the dissimilarness happens. sent5: if the fact that both the diving liman and the fattism occurs does not hold the fattism does not occur. sent6: if the spreading brotula does not occur then that the diving liman and the fattism occurs is not right. sent7: the librarianship occurs. sent8: that the COMINT does not occur and the aquatinting happens results in that the respecting Paracelsus happens. sent9: the sacralness does not occur if the heroicsness but not the conviction happens. sent10: that the heroicsness does not occur is correct. sent11: the respecting pillared does not occur if both the diving liman and the spreading brotula happens. sent12: if that the diving sleet occurs is not incorrect then the heroicsness happens and the conviction does not occur. sent13: the compensation does not occur and the respecting microtubule happens. sent14: if the operativeness does not occur then that the spreading oriented happens but the fattism does not occur is false. sent15: the aquatinting is brought about by that the sacralness occurs. sent16: the fact that that the diving sleet does not occur is prevented by that the incurvating occurs hold. sent17: that the respecting Paracelsus does not occur leads to that both the respecting pillared and the Briton happens. sent18: the fact that the innocentness occurs and the combining does not occur is incorrect. sent19: the spreading brotula occurs. sent20: the bracteateness does not occur. sent21: that the spreading Peronosporaceae but not the chaetognathanness occurs is not correct. sent22: the non-proprioceptiveness is prevented by the non-heroicsness. sent23: the leaving occurs. sent24: the COMINT does not occur. sent25: the proprioceptiveness happens. sent26: the operative does not occur if not the diving liman but the respecting Paracelsus occurs. sent27: if the respecting pillared does not occur then the Briton does not occur. sent28: that the pardonableness does not occur and the discouragement happens results in that the stocking occurs. sent29: if the operative does not occur then that both the spreading oriented and the fattism happens is not right. sent30: the sacralness occurs. sent31: if the fact that the fact that the aquatint but not the COMINT happens hold is wrong then the respecting Paracelsus does not occur.
void -> assump1: Let's assume that the diving liman occurs.; assump1 & sent19 -> int1: the diving liman occurs and the spreading brotula occurs.; int1 & sent11 -> int2: that the respecting pillared does not occur hold.; int2 & sent27 -> int3: the Britonness does not occur.; sent3 & sent10 -> int4: that the Briton and the proprioceptiveness happens hold.; int4 -> int5: the Britonness occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the diving liman does not occur is not wrong.; sent15 & sent30 -> int8: the aquatint happens.; sent24 & int8 -> int9: not the COMINT but the aquatinting occurs.; sent8 & int9 -> int10: the respecting Paracelsus occurs.; int7 & int10 -> int11: not the diving liman but the respecting Paracelsus occurs.; int11 & sent26 -> int12: the operative does not occur.; int12 & sent14 -> hypothesis;
the spreading oriented but not the fattism happens.
$hypothesis$ = the spreading oriented but not the fattism happens. ; $context$ = sent1: that the spreading oriented and the fattism occurs does not hold. sent2: if the proprioceptiveness does not occur then the operativeness and the spreading oriented happens. sent3: the Britonness happens and the proprioceptiveness happens if the heroics does not occur. sent4: the dissimilarness happens. sent5: if the fact that both the diving liman and the fattism occurs does not hold the fattism does not occur. sent6: if the spreading brotula does not occur then that the diving liman and the fattism occurs is not right. sent7: the librarianship occurs. sent8: that the COMINT does not occur and the aquatinting happens results in that the respecting Paracelsus happens. sent9: the sacralness does not occur if the heroicsness but not the conviction happens. sent10: that the heroicsness does not occur is correct. sent11: the respecting pillared does not occur if both the diving liman and the spreading brotula happens. sent12: if that the diving sleet occurs is not incorrect then the heroicsness happens and the conviction does not occur. sent13: the compensation does not occur and the respecting microtubule happens. sent14: if the operativeness does not occur then that the spreading oriented happens but the fattism does not occur is false. sent15: the aquatinting is brought about by that the sacralness occurs. sent16: the fact that that the diving sleet does not occur is prevented by that the incurvating occurs hold. sent17: that the respecting Paracelsus does not occur leads to that both the respecting pillared and the Briton happens. sent18: the fact that the innocentness occurs and the combining does not occur is incorrect. sent19: the spreading brotula occurs. sent20: the bracteateness does not occur. sent21: that the spreading Peronosporaceae but not the chaetognathanness occurs is not correct. sent22: the non-proprioceptiveness is prevented by the non-heroicsness. sent23: the leaving occurs. sent24: the COMINT does not occur. sent25: the proprioceptiveness happens. sent26: the operative does not occur if not the diving liman but the respecting Paracelsus occurs. sent27: if the respecting pillared does not occur then the Briton does not occur. sent28: that the pardonableness does not occur and the discouragement happens results in that the stocking occurs. sent29: if the operative does not occur then that both the spreading oriented and the fattism happens is not right. sent30: the sacralness occurs. sent31: if the fact that the fact that the aquatint but not the COMINT happens hold is wrong then the respecting Paracelsus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the diving liman occurs.; assump1 & sent19 -> int1: the diving liman occurs and the spreading brotula occurs.; int1 & sent11 -> int2: that the respecting pillared does not occur hold.; int2 & sent27 -> int3: the Britonness does not occur.; sent3 & sent10 -> int4: that the Briton and the proprioceptiveness happens hold.; int4 -> int5: the Britonness occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the diving liman does not occur is not wrong.; sent15 & sent30 -> int8: the aquatint happens.; sent24 & int8 -> int9: not the COMINT but the aquatinting occurs.; sent8 & int9 -> int10: the respecting Paracelsus occurs.; int7 & int10 -> int11: not the diving liman but the respecting Paracelsus occurs.; int11 & sent26 -> int12: the operative does not occur.; int12 & sent14 -> hypothesis; __DISPROVED__