there is something such that that it either does not reorient Pujunan or is a Northern or both does not hold.
sent1: the fact that the sublieutenant does not reorient Pujunan and/or is a Northern is incorrect if the fact that it does not outnumber sublieutenant is not false. sent2: if something is not imitative the nalorphine does not depersonalize and outnumbers immunization. sent3: if something is not artistic and does not adapt gamin then it does not outnumber sublieutenant. sent4: there exists something such that it is not a kind of a Northern. sent5: if the cyclotron is not geophysical the sublieutenant is non-artistic thing that does not adapt gamin. sent6: there exists something such that that either it does outnumber immunization or it does reorient Pujunan or both is wrong. sent7: something is not imitative. sent8: the fact that the nalorphine does not depersonalize but it outnumbers immunization does not hold if the cyclotron is geophysical.
void -> assump1: Let's assume that the cyclotron is geophysical.; sent8 & assump1 -> int1: the fact that the nalorphine does not depersonalize but it does outnumber immunization does not hold.; sent7 & sent2 -> int2: the nalorphine does not depersonalize and does outnumber immunization.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclotron is not geophysical.; int4 & sent5 -> int5: the sublieutenant is non-artistic thing that does not adapt gamin.; sent3 -> int6: if that the sublieutenant is non-artistic thing that does not adapt gamin is right it does not outnumber sublieutenant.; int5 & int6 -> int7: the sublieutenant does not outnumber sublieutenant.; int7 & sent1 -> int8: that the fact that the sublieutenant does not reorient Pujunan and/or it is a Northern is not incorrect is not correct.; int8 -> hypothesis;
$hypothesis$ = there is something such that that it either does not reorient Pujunan or is a Northern or both does not hold. ; $context$ = sent1: the fact that the sublieutenant does not reorient Pujunan and/or is a Northern is incorrect if the fact that it does not outnumber sublieutenant is not false. sent2: if something is not imitative the nalorphine does not depersonalize and outnumbers immunization. sent3: if something is not artistic and does not adapt gamin then it does not outnumber sublieutenant. sent4: there exists something such that it is not a kind of a Northern. sent5: if the cyclotron is not geophysical the sublieutenant is non-artistic thing that does not adapt gamin. sent6: there exists something such that that either it does outnumber immunization or it does reorient Pujunan or both is wrong. sent7: something is not imitative. sent8: the fact that the nalorphine does not depersonalize but it outnumbers immunization does not hold if the cyclotron is geophysical. ; $proof$ = 
void -> assump1: Let's assume that the cyclotron is geophysical.; sent8 & assump1 -> int1: the fact that the nalorphine does not depersonalize but it does outnumber immunization does not hold.; sent7 & sent2 -> int2: the nalorphine does not depersonalize and does outnumber immunization.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclotron is not geophysical.; int4 & sent5 -> int5: the sublieutenant is non-artistic thing that does not adapt gamin.; sent3 -> int6: if that the sublieutenant is non-artistic thing that does not adapt gamin is right it does not outnumber sublieutenant.; int5 & int6 -> int7: the sublieutenant does not outnumber sublieutenant.; int7 & sent1 -> int8: that the fact that the sublieutenant does not reorient Pujunan and/or it is a Northern is not incorrect is not correct.; int8 -> hypothesis; __PROVED__