the turbine is not a Young.
sent1: if the portiere is not a abience then the fact that that the anachronism is not a virilism and is a abience is correct does not hold. sent2: something is not a abience if the fact that it is a collective that redeploys offering is not true. sent3: if that the anachronism is not a virilism but it is a kind of a abience is false then the turbine is not a Young. sent4: there exists something such that that it does not auspicate hold. sent5: if there is something such that it does not auspicate the fact that the portiere is a kind of collective thing that redeploys offering is incorrect.
sent4 & sent5 -> int1: that the portiere is a collective and does redeploy offering does not hold.; sent2 -> int2: if that the portiere is collective and redeploys offering is wrong it is not a abience.; int1 & int2 -> int3: the portiere is not a kind of a abience.; int3 & sent1 -> int4: that the anachronism is not a kind of a virilism and is a abience does not hold.; int4 & sent3 -> hypothesis;
$hypothesis$ = the turbine is not a Young. ; $context$ = sent1: if the portiere is not a abience then the fact that that the anachronism is not a virilism and is a abience is correct does not hold. sent2: something is not a abience if the fact that it is a collective that redeploys offering is not true. sent3: if that the anachronism is not a virilism but it is a kind of a abience is false then the turbine is not a Young. sent4: there exists something such that that it does not auspicate hold. sent5: if there is something such that it does not auspicate the fact that the portiere is a kind of collective thing that redeploys offering is incorrect. ; $proof$ = 
sent4 & sent5 -> int1: that the portiere is a collective and does redeploy offering does not hold.; sent2 -> int2: if that the portiere is collective and redeploys offering is wrong it is not a abience.; int1 & int2 -> int3: the portiere is not a kind of a abience.; int3 & sent1 -> int4: that the anachronism is not a kind of a virilism and is a abience does not hold.; int4 & sent3 -> hypothesis; __PROVED__