if the horripilating palaver occurs either the Thoreauvianness does not occur or the conception occurs or both.
sent1: the occidentalizing stream does not occur. sent2: that the venography does not occur and/or that the puffing occurs is brought about by that the varnish does not occur. sent3: that the centesimalness and the horripilating palaver occurs brings about that the counting does not occur. sent4: the mercifulness happens and/or the scrutiny happens if the makeup occurs. sent5: the summation occurs and the diffusingness occurs. sent6: the centesimalness happens. sent7: if the repositing clowder occurs and the civicness happens then the repositing Cannaceae does not occur. sent8: if that the horripilating palaver occurs hold then either the Thoreauvianness or the conception or both happens. sent9: if the repositing Prolog occurs then the expedition occurs and/or the venography happens. sent10: if the horripilating palaver does not occur the venography and the non-centesimalness happens. sent11: that the eviction and the metalworking occurs prevents the digitalness. sent12: that the sheet does not occur is true if the pile occurs and the Bhutaneseness occurs. sent13: the occidentalizing jimmy does not occur. sent14: the fact that the Thoreauvianness and/or the conception occurs hold. sent15: that the count does not occur brings about either the non-Thoreauvianness or the conception or both. sent16: the non-photomechanicalness and/or the occidentalizing jimmy occurs. sent17: if the count does not occur either the Thoreauvianness or the conception or both occurs. sent18: the concreteness does not occur. sent19: the magnification occurs.
void -> assump1: Let's assume that the horripilating palaver occurs.; sent6 & assump1 -> int1: the centesimalness happens and the horripilating palaver happens.; sent3 & int1 -> int2: that the counting does not occur hold.; sent15 & int2 -> int3: the non-Thoreauvianness and/or the conception happens.; [assump1] & int3 -> hypothesis;
the venography occurs.
$hypothesis$ = if the horripilating palaver occurs either the Thoreauvianness does not occur or the conception occurs or both. ; $context$ = sent1: the occidentalizing stream does not occur. sent2: that the venography does not occur and/or that the puffing occurs is brought about by that the varnish does not occur. sent3: that the centesimalness and the horripilating palaver occurs brings about that the counting does not occur. sent4: the mercifulness happens and/or the scrutiny happens if the makeup occurs. sent5: the summation occurs and the diffusingness occurs. sent6: the centesimalness happens. sent7: if the repositing clowder occurs and the civicness happens then the repositing Cannaceae does not occur. sent8: if that the horripilating palaver occurs hold then either the Thoreauvianness or the conception or both happens. sent9: if the repositing Prolog occurs then the expedition occurs and/or the venography happens. sent10: if the horripilating palaver does not occur the venography and the non-centesimalness happens. sent11: that the eviction and the metalworking occurs prevents the digitalness. sent12: that the sheet does not occur is true if the pile occurs and the Bhutaneseness occurs. sent13: the occidentalizing jimmy does not occur. sent14: the fact that the Thoreauvianness and/or the conception occurs hold. sent15: that the count does not occur brings about either the non-Thoreauvianness or the conception or both. sent16: the non-photomechanicalness and/or the occidentalizing jimmy occurs. sent17: if the count does not occur either the Thoreauvianness or the conception or both occurs. sent18: the concreteness does not occur. sent19: the magnification occurs. ; $proof$ = 
void -> assump1: Let's assume that the horripilating palaver occurs.; sent6 & assump1 -> int1: the centesimalness happens and the horripilating palaver happens.; sent3 & int1 -> int2: that the counting does not occur hold.; sent15 & int2 -> int3: the non-Thoreauvianness and/or the conception happens.; [assump1] & int3 -> hypothesis; __PROVED__