that both the hungering afghani and the zenithalness occurs is triggered by that the wrapping Navaho does not occur.
sent1: that the surgery happens is caused by that the miscibleness does not occur and the afforestation does not occur. sent2: the fact that the surgery does not occur and/or the constructing tribologist does not occur is wrong. sent3: that the raging plush does not occur prevents that the hungering Takakkaw does not occur. sent4: if not the hungering Nunavut but the wrapping Navaho happens then the hungering afghani happens. sent5: the premedicalness happens. sent6: if the premedicalness does not occur the wrapping pollucite and the Sovietness occurs. sent7: if the wrapping Navaho happens then both the hungering afghani and the zenithalness occurs. sent8: the raging plush does not occur. sent9: the zenithalness occurs if the fact that the hungering Takakkaw does not occur and/or the disobedientness does not occur is false. sent10: the infiltrating does not occur. sent11: the hungering Takakkaw happens. sent12: the hungering afghani occurs if the hungering Nunavut does not occur and the wrapping Navaho does not occur. sent13: the hungering Nunavut is prevented by that the Austronesian happens. sent14: if the fact that the constructing maiden does not occur and the wrapping Navaho does not occur is not right the constructing maiden occurs. sent15: if the fact that the hungering Takakkaw happens and/or the disobedientness does not occur is not right the zenithalness happens. sent16: if either the Austronesianness or the wrapping pollucite or both happens then the hungering Nunavut does not occur. sent17: the wrapping Owen happens. sent18: the nonresident occurs if the fact that the constructing flutter does not occur and/or the cash-and-carriness does not occur is not right. sent19: the fact that the hungering Takakkaw does not occur or the disobedientness does not occur or both is wrong if the raging plush does not occur. sent20: the wrapping pollucite and the premedicalness happens.
sent20 -> int1: the wrapping pollucite happens.; int1 -> int2: the Austronesian occurs and/or the wrapping pollucite occurs.; int2 & sent16 -> int3: the hungering Nunavut does not occur.; void -> assump1: Let's assume that the wrapping Navaho does not occur.; int3 & assump1 -> int4: the hungering Nunavut does not occur and the wrapping Navaho does not occur.; int4 & sent12 -> int5: the hungering afghani occurs.; sent19 & sent8 -> int6: that the hungering Takakkaw does not occur and/or the disobedientness does not occur does not hold.; sent9 & int6 -> int7: the zenithalness occurs.; int5 & int7 -> int8: the hungering afghani occurs and the zenithalness happens.; [assump1] & int8 -> hypothesis;
the Sovietness and the constructing maiden occurs.
$hypothesis$ = that both the hungering afghani and the zenithalness occurs is triggered by that the wrapping Navaho does not occur. ; $context$ = sent1: that the surgery happens is caused by that the miscibleness does not occur and the afforestation does not occur. sent2: the fact that the surgery does not occur and/or the constructing tribologist does not occur is wrong. sent3: that the raging plush does not occur prevents that the hungering Takakkaw does not occur. sent4: if not the hungering Nunavut but the wrapping Navaho happens then the hungering afghani happens. sent5: the premedicalness happens. sent6: if the premedicalness does not occur the wrapping pollucite and the Sovietness occurs. sent7: if the wrapping Navaho happens then both the hungering afghani and the zenithalness occurs. sent8: the raging plush does not occur. sent9: the zenithalness occurs if the fact that the hungering Takakkaw does not occur and/or the disobedientness does not occur is false. sent10: the infiltrating does not occur. sent11: the hungering Takakkaw happens. sent12: the hungering afghani occurs if the hungering Nunavut does not occur and the wrapping Navaho does not occur. sent13: the hungering Nunavut is prevented by that the Austronesian happens. sent14: if the fact that the constructing maiden does not occur and the wrapping Navaho does not occur is not right the constructing maiden occurs. sent15: if the fact that the hungering Takakkaw happens and/or the disobedientness does not occur is not right the zenithalness happens. sent16: if either the Austronesianness or the wrapping pollucite or both happens then the hungering Nunavut does not occur. sent17: the wrapping Owen happens. sent18: the nonresident occurs if the fact that the constructing flutter does not occur and/or the cash-and-carriness does not occur is not right. sent19: the fact that the hungering Takakkaw does not occur or the disobedientness does not occur or both is wrong if the raging plush does not occur. sent20: the wrapping pollucite and the premedicalness happens. ; $proof$ = 
sent20 -> int1: the wrapping pollucite happens.; int1 -> int2: the Austronesian occurs and/or the wrapping pollucite occurs.; int2 & sent16 -> int3: the hungering Nunavut does not occur.; void -> assump1: Let's assume that the wrapping Navaho does not occur.; int3 & assump1 -> int4: the hungering Nunavut does not occur and the wrapping Navaho does not occur.; int4 & sent12 -> int5: the hungering afghani occurs.; sent19 & sent8 -> int6: that the hungering Takakkaw does not occur and/or the disobedientness does not occur does not hold.; sent9 & int6 -> int7: the zenithalness occurs.; int5 & int7 -> int8: the hungering afghani occurs and the zenithalness happens.; [assump1] & int8 -> hypothesis; __PROVED__