if the ballooning does not occur the quickie does not occur.
sent1: if the catarrhine happens the fact that the tempestuousness does not occur and the moiling does not occur does not hold. sent2: if the ballooning does not occur the quickie occurs. sent3: the philharmonicness does not occur. sent4: the fact that the transgressing occurs is right if the offingness does not occur or the disjunctiveness occurs or both. sent5: that either the proliferating Iwo does not occur or the astronavigation occurs or both yields that the quickie does not occur. sent6: if the ballooning occurs then the quickie does not occur. sent7: the focusing yields that the schematization occurs and the proliferating Taoism does not occur. sent8: if the fact that the proliferating Iwo does not occur or the astronavigation occurs or both is false then the ballooning happens. sent9: the proliferating dibble does not occur and/or the waterproofing occurs. sent10: that the Aegean happens is brought about by the non-germyness or that the unseamanlikeness happens or both. sent11: if the fact that the proliferating Iwo does not occur is true the quickie does not occur. sent12: the Frenching Muscovy happens if that either the overworking does not occur or the packaging occurs or both is incorrect. sent13: the thermotherapy and the catarrhineness occurs if the proliferating Taoism does not occur. sent14: the humoralness does not occur if either the ballooning does not occur or the quickie does not occur or both. sent15: the tempestuousness happens if the fact that the tempestuousness does not occur and the moiling does not occur is wrong. sent16: the proliferating Iwo occurs or the astronavigation occurs or both. sent17: if the tempestuousness happens then that the ballooning does not occur and/or the quickie does not occur is true. sent18: the stir does not occur if the pastoralness does not occur and/or the proliferating Taoism occurs.
void -> assump2: Let's assume that the fact that the proliferating Iwo does not occur or the astronavigation happens or both is wrong.; sent8 & assump2 -> int1: the ballooning occurs.; void -> assump1: Let's assume that the ballooning does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: either the proliferating Iwo does not occur or the astronavigation happens or both.; sent5 & int3 -> int4: the quickie does not occur.; [assump1] & int4 -> hypothesis;
the humoralness does not occur.
$hypothesis$ = if the ballooning does not occur the quickie does not occur. ; $context$ = sent1: if the catarrhine happens the fact that the tempestuousness does not occur and the moiling does not occur does not hold. sent2: if the ballooning does not occur the quickie occurs. sent3: the philharmonicness does not occur. sent4: the fact that the transgressing occurs is right if the offingness does not occur or the disjunctiveness occurs or both. sent5: that either the proliferating Iwo does not occur or the astronavigation occurs or both yields that the quickie does not occur. sent6: if the ballooning occurs then the quickie does not occur. sent7: the focusing yields that the schematization occurs and the proliferating Taoism does not occur. sent8: if the fact that the proliferating Iwo does not occur or the astronavigation occurs or both is false then the ballooning happens. sent9: the proliferating dibble does not occur and/or the waterproofing occurs. sent10: that the Aegean happens is brought about by the non-germyness or that the unseamanlikeness happens or both. sent11: if the fact that the proliferating Iwo does not occur is true the quickie does not occur. sent12: the Frenching Muscovy happens if that either the overworking does not occur or the packaging occurs or both is incorrect. sent13: the thermotherapy and the catarrhineness occurs if the proliferating Taoism does not occur. sent14: the humoralness does not occur if either the ballooning does not occur or the quickie does not occur or both. sent15: the tempestuousness happens if the fact that the tempestuousness does not occur and the moiling does not occur is wrong. sent16: the proliferating Iwo occurs or the astronavigation occurs or both. sent17: if the tempestuousness happens then that the ballooning does not occur and/or the quickie does not occur is true. sent18: the stir does not occur if the pastoralness does not occur and/or the proliferating Taoism occurs. ; $proof$ = 
void -> assump2: Let's assume that the fact that the proliferating Iwo does not occur or the astronavigation happens or both is wrong.; sent8 & assump2 -> int1: the ballooning occurs.; void -> assump1: Let's assume that the ballooning does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: either the proliferating Iwo does not occur or the astronavigation happens or both.; sent5 & int3 -> int4: the quickie does not occur.; [assump1] & int4 -> hypothesis; __PROVED__