the Frost does not occur.
sent1: if the rotatoriness does not occur then that the Frost and the animadverting happens hold. sent2: the tippling does not occur and the alignment does not occur. sent3: both the animadverting and the rotatoriness happens. sent4: that the immigration does not occur is prevented by that the tippling does not occur and the alignment does not occur.
sent3 -> int1: the animadverting occurs.; sent4 & sent2 -> int2: the immigration occurs.; int1 & int2 -> int3: the immigration happens and the animadverting occurs.;
the Frost occurs.
$hypothesis$ = the Frost does not occur. ; $context$ = sent1: if the rotatoriness does not occur then that the Frost and the animadverting happens hold. sent2: the tippling does not occur and the alignment does not occur. sent3: both the animadverting and the rotatoriness happens. sent4: that the immigration does not occur is prevented by that the tippling does not occur and the alignment does not occur. ; $proof$ = 
sent3 -> int1: the animadverting occurs.; sent4 & sent2 -> int2: the immigration occurs.; int1 & int2 -> int3: the immigration happens and the animadverting occurs.; __UNKNOWN__