the maxillomandibularness does not occur and the camouflaging interview does not occur.
sent1: the detribalizing Friday causes that the detribalizing theology does not occur and the presumption happens. sent2: the presumption happens. sent3: if the camouflaging Springfield happens then the cacodemonicness occurs. sent4: if that the detribalizing Friday but not the camouflaging Springfield happens does not hold then the detribalizing alteration does not occur. sent5: the camouflaging helvella does not occur or the revision happens or both if the autumnalness happens. sent6: if that the camouflaging interview occurs is right the fact that the noncyclicness does not occur but the maxillomandibularness occurs is not right. sent7: the noncyclicness happens. sent8: the camouflaging interview does not occur. sent9: the revision occurs if the camouflaging helvella does not occur and/or the revision occurs. sent10: both the exposing and the hypercatalectic occurs. sent11: the detribalizing theology happens. sent12: if the seamlessness and the incurrence occurs the supernalness does not occur. sent13: if the stratifying does not occur then the autumnalness occurs and the maintaining Cathaya occurs. sent14: the presumption is caused by that the detribalizing Friday occurs. sent15: if the fact that both the stratifying and the flirting happens is not true then the stratifying does not occur. sent16: the camouflaging interview occurs if the revision happens. sent17: if both the cacodemonicness and the noncyclicness happens then the maxillomandibularness does not occur. sent18: the presidency does not occur and the detribalizing blackcock does not occur.
void -> assump1: Let's assume that the detribalizing Friday occurs.; sent1 & assump1 -> int1: the detribalizing theology does not occur and the presumption occurs.; int1 -> int2: the detribalizing theology does not occur.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the detribalizing Friday does not occur.;
the fact that the maxillomandibularness does not occur and the camouflaging interview does not occur is not correct.
 -> hypothesis;
$hypothesis$ = the maxillomandibularness does not occur and the camouflaging interview does not occur. ; $context$ = sent1: the detribalizing Friday causes that the detribalizing theology does not occur and the presumption happens. sent2: the presumption happens. sent3: if the camouflaging Springfield happens then the cacodemonicness occurs. sent4: if that the detribalizing Friday but not the camouflaging Springfield happens does not hold then the detribalizing alteration does not occur. sent5: the camouflaging helvella does not occur or the revision happens or both if the autumnalness happens. sent6: if that the camouflaging interview occurs is right the fact that the noncyclicness does not occur but the maxillomandibularness occurs is not right. sent7: the noncyclicness happens. sent8: the camouflaging interview does not occur. sent9: the revision occurs if the camouflaging helvella does not occur and/or the revision occurs. sent10: both the exposing and the hypercatalectic occurs. sent11: the detribalizing theology happens. sent12: if the seamlessness and the incurrence occurs the supernalness does not occur. sent13: if the stratifying does not occur then the autumnalness occurs and the maintaining Cathaya occurs. sent14: the presumption is caused by that the detribalizing Friday occurs. sent15: if the fact that both the stratifying and the flirting happens is not true then the stratifying does not occur. sent16: the camouflaging interview occurs if the revision happens. sent17: if both the cacodemonicness and the noncyclicness happens then the maxillomandibularness does not occur. sent18: the presidency does not occur and the detribalizing blackcock does not occur. ; $proof$ = 
void -> assump1: Let's assume that the detribalizing Friday occurs.; sent1 & assump1 -> int1: the detribalizing theology does not occur and the presumption occurs.; int1 -> int2: the detribalizing theology does not occur.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the detribalizing Friday does not occur.; __UNKNOWN__