that the reciprocating churning does not occur and the spoofing Junker happens does not hold.
sent1: the reciprocating launching does not occur if the sit-up does not occur. sent2: that the Crucifixion does not occur is brought about by that the reciprocating launching does not occur. sent3: the fact that the reciprocating churning does not occur but the spoofing Junker happens is wrong if the Crucifixion does not occur. sent4: the reciprocating launching occurs and the Crucifixion occurs if the wardenship does not occur. sent5: not the sit-up but the reciprocating narrow occurs.
sent5 -> int1: the sit-up does not occur.; sent1 & int1 -> int2: the reciprocating launching does not occur.; sent2 & int2 -> int3: the fact that the Crucifixion does not occur is right.; sent3 & int3 -> hypothesis;
the reciprocating churning does not occur but the spoofing Junker occurs.
$hypothesis$ = that the reciprocating churning does not occur and the spoofing Junker happens does not hold. ; $context$ = sent1: the reciprocating launching does not occur if the sit-up does not occur. sent2: that the Crucifixion does not occur is brought about by that the reciprocating launching does not occur. sent3: the fact that the reciprocating churning does not occur but the spoofing Junker happens is wrong if the Crucifixion does not occur. sent4: the reciprocating launching occurs and the Crucifixion occurs if the wardenship does not occur. sent5: not the sit-up but the reciprocating narrow occurs. ; $proof$ = 
sent5 -> int1: the sit-up does not occur.; sent1 & int1 -> int2: the reciprocating launching does not occur.; sent2 & int2 -> int3: the fact that the Crucifixion does not occur is right.; sent3 & int3 -> hypothesis; __PROVED__