the lectern does not outsell mush but it is a struggle.
sent1: something does not mold troubleshooter if it is not a assibilation. sent2: there exists something such that the fact that it devoices lectern and it does outsell unitization is incorrect. sent3: the lectern does not outsell mush and is a struggle if the policeman does not mold troubleshooter. sent4: the policeman molds troubleshooter if there exists something such that that it devoices lectern and outsells unitization is false. sent5: if the policeman molds troubleshooter the fact that the hypermarket does not outsell mush is not right. sent6: the fact that the lectern does not outsell mush but it struggles is wrong if the hypermarket does outsell mush.
sent2 & sent4 -> int1: the policeman does mold troubleshooter.; sent5 & int1 -> int2: the hypermarket outsells mush.; sent6 & int2 -> hypothesis;
the lectern does not outsell mush and does struggle.
sent1 -> int3: the policeman does not mold troubleshooter if the fact that it is not a assibilation is not wrong.;
$hypothesis$ = the lectern does not outsell mush but it is a struggle. ; $context$ = sent1: something does not mold troubleshooter if it is not a assibilation. sent2: there exists something such that the fact that it devoices lectern and it does outsell unitization is incorrect. sent3: the lectern does not outsell mush and is a struggle if the policeman does not mold troubleshooter. sent4: the policeman molds troubleshooter if there exists something such that that it devoices lectern and outsells unitization is false. sent5: if the policeman molds troubleshooter the fact that the hypermarket does not outsell mush is not right. sent6: the fact that the lectern does not outsell mush but it struggles is wrong if the hypermarket does outsell mush. ; $proof$ = 
sent2 & sent4 -> int1: the policeman does mold troubleshooter.; sent5 & int1 -> int2: the hypermarket outsells mush.; sent6 & int2 -> hypothesis; __DISPROVED__