the greasing behest does not occur.
sent1: the inshoreness occurs. sent2: that both the senatorialness and the bubonicness happens brings about that the greasing behest does not occur. sent3: the ascension and/or the sit-up happens. sent4: the senatorialness happens and the positionableness occurs. sent5: the bubonicness occurs if the inshoreness happens. sent6: the ascension does not occur if the fact that the fact that the unshavenness occurs and the ascension occurs does not hold is not false. sent7: the positionableness occurs and the sit-up occurs if the ascension does not occur.
sent5 & sent1 -> int1: the bubonicness occurs.; sent4 -> int2: the senatorialness occurs.; int1 & int2 -> int3: both the senatorialness and the bubonicness happens.; int3 & sent2 -> hypothesis;
the greasing behest happens.
$hypothesis$ = the greasing behest does not occur. ; $context$ = sent1: the inshoreness occurs. sent2: that both the senatorialness and the bubonicness happens brings about that the greasing behest does not occur. sent3: the ascension and/or the sit-up happens. sent4: the senatorialness happens and the positionableness occurs. sent5: the bubonicness occurs if the inshoreness happens. sent6: the ascension does not occur if the fact that the fact that the unshavenness occurs and the ascension occurs does not hold is not false. sent7: the positionableness occurs and the sit-up occurs if the ascension does not occur. ; $proof$ = 
sent5 & sent1 -> int1: the bubonicness occurs.; sent4 -> int2: the senatorialness occurs.; int1 & int2 -> int3: both the senatorialness and the bubonicness happens.; int3 & sent2 -> hypothesis; __PROVED__