the quivering reveille does not occur.
sent1: the quivering reveille is brought about by that the lapsing occurs. sent2: that the quivering Ponselle does not occur is prevented by that either the lapse does not occur or the bloodlessness does not occur or both. sent3: the lapse does not occur and the scopalness happens. sent4: if the bloodlessness does not occur then the scopalness happens and the lapse occurs.
sent3 -> int1: the lapse does not occur.; int1 -> int2: either the lapse does not occur or the bloodlessness does not occur or both.; sent2 & int2 -> int3: the quivering Ponselle occurs.; int3 -> int4: the preferment or the quivering Ponselle or both occurs.;
that the quivering reveille occurs is right.
$hypothesis$ = the quivering reveille does not occur. ; $context$ = sent1: the quivering reveille is brought about by that the lapsing occurs. sent2: that the quivering Ponselle does not occur is prevented by that either the lapse does not occur or the bloodlessness does not occur or both. sent3: the lapse does not occur and the scopalness happens. sent4: if the bloodlessness does not occur then the scopalness happens and the lapse occurs. ; $proof$ = 
sent3 -> int1: the lapse does not occur.; int1 -> int2: either the lapse does not occur or the bloodlessness does not occur or both.; sent2 & int2 -> int3: the quivering Ponselle occurs.; int3 -> int4: the preferment or the quivering Ponselle or both occurs.; __UNKNOWN__