not the rationalistness but the staling quickstep occurs.
sent1: if the decontamination occurs the staling meronymy occurs. sent2: the decontamination occurs. sent3: the fact that the unafraidness does not occur and the smashing nominator does not occur does not hold. sent4: if that the smashing nominator happens hold the fact that the unfolding happens is true. sent5: the reigning knockoff occurs if the staling meronymy happens. sent6: that the reigning host does not occur results in that the rationalistness does not occur but the staling quickstep happens. sent7: if the fact that the unafraidness does not occur and the smashing nominator does not occur is not true then the fact that the fact that the unfolding does not occur is true does not hold.
sent1 & sent2 -> int1: the staling meronymy occurs.; int1 & sent5 -> int2: the reigning knockoff happens.; void -> assump1: Let's assume that the reigning host occurs.; int2 & assump1 -> int3: both the reigning knockoff and the reigning host happens.; sent7 & sent3 -> int4: the unfolding occurs.;
$hypothesis$ = not the rationalistness but the staling quickstep occurs. ; $context$ = sent1: if the decontamination occurs the staling meronymy occurs. sent2: the decontamination occurs. sent3: the fact that the unafraidness does not occur and the smashing nominator does not occur does not hold. sent4: if that the smashing nominator happens hold the fact that the unfolding happens is true. sent5: the reigning knockoff occurs if the staling meronymy happens. sent6: that the reigning host does not occur results in that the rationalistness does not occur but the staling quickstep happens. sent7: if the fact that the unafraidness does not occur and the smashing nominator does not occur is not true then the fact that the fact that the unfolding does not occur is true does not hold. ; $proof$ = 
sent1 & sent2 -> int1: the staling meronymy occurs.; int1 & sent5 -> int2: the reigning knockoff happens.; void -> assump1: Let's assume that the reigning host occurs.; int2 & assump1 -> int3: both the reigning knockoff and the reigning host happens.; sent7 & sent3 -> int4: the unfolding occurs.; __UNKNOWN__