that the effacing thought-image happens brings about that the flour does not occur.
sent1: that the naturalizing happens or the tinning trout happens or both does not hold. sent2: if the fact that the naturalizing happens or the tinning trout occurs or both does not hold the roofing benignity does not occur. sent3: that the flouring does not occur is triggered by that the lockdown does not occur. sent4: the synopticness occurs. sent5: that the fine happens is wrong if the fact that the tinning humanist occurs is right.
void -> assump2: Let's assume that the effacing thought-image happens.; sent2 & sent1 -> int1: that the roofing benignity does not occur hold.; void -> assump1: Let's assume that the fact that the lockdown occurs is not wrong.; int1 & assump1 -> int2: not the roofing benignity but the lockdown happens.;
$hypothesis$ = that the effacing thought-image happens brings about that the flour does not occur. ; $context$ = sent1: that the naturalizing happens or the tinning trout happens or both does not hold. sent2: if the fact that the naturalizing happens or the tinning trout occurs or both does not hold the roofing benignity does not occur. sent3: that the flouring does not occur is triggered by that the lockdown does not occur. sent4: the synopticness occurs. sent5: that the fine happens is wrong if the fact that the tinning humanist occurs is right. ; $proof$ = 
void -> assump2: Let's assume that the effacing thought-image happens.; sent2 & sent1 -> int1: that the roofing benignity does not occur hold.; void -> assump1: Let's assume that the fact that the lockdown occurs is not wrong.; int1 & assump1 -> int2: not the roofing benignity but the lockdown happens.; __UNKNOWN__