the fooling cravenness occurs.
sent1: if the strabotomy does not occur then the capriole does not occur and the blaming wait does not occur. sent2: if the cranking pay-phone occurs the fact that the fooling cravenness happens hold. sent3: that the blaming etcetera does not occur results in that that both the cranking pay-phone and the perseverance happens is correct. sent4: if the fact that the blaming wait does not occur is not false not the fooling cravenness but the blaming etcetera happens. sent5: the blaming etcetera does not occur.
sent3 & sent5 -> int1: both the cranking pay-phone and the perseverance occurs.; int1 -> int2: the cranking pay-phone occurs.; int2 & sent2 -> hypothesis;
the fooling cravenness does not occur.
$hypothesis$ = the fooling cravenness occurs. ; $context$ = sent1: if the strabotomy does not occur then the capriole does not occur and the blaming wait does not occur. sent2: if the cranking pay-phone occurs the fact that the fooling cravenness happens hold. sent3: that the blaming etcetera does not occur results in that that both the cranking pay-phone and the perseverance happens is correct. sent4: if the fact that the blaming wait does not occur is not false not the fooling cravenness but the blaming etcetera happens. sent5: the blaming etcetera does not occur. ; $proof$ = 
sent3 & sent5 -> int1: both the cranking pay-phone and the perseverance occurs.; int1 -> int2: the cranking pay-phone occurs.; int2 & sent2 -> hypothesis; __PROVED__