the overrefining muzhik does not occur and the semanticsness occurs.
sent1: if that the semanticsness does not occur is correct the overrefining muzhik happens or the cortico-hypothalamicness happens or both. sent2: the cortico-hypothalamicness does not occur if that the paging sorceress does not occur but the metallurgicalness occurs is not true. sent3: if that the questioning does not occur is not incorrect the supplication occurs and the piracy happens. sent4: the non-cortico-hypothalamicness is caused by the non-metallurgicalness. sent5: the fact that the credibleness does not occur is correct. sent6: the questioning does not occur. sent7: the fact that the paging sorceress does not occur and the metallurgicalness occurs does not hold if the overrefining muzhik happens. sent8: the semanticsness occurs if the piracy occurs. sent9: the transfer does not occur if the fact that both the non-resoluteness and the redaction occurs is not true. sent10: if the credibleness does not occur then the cortico-hypothalamicness and the corporateness happens.
void -> assump1: Let's assume that the overrefining muzhik occurs.; sent7 & assump1 -> int1: the fact that not the paging sorceress but the metallurgicalness occurs does not hold.; int1 & sent2 -> int2: the cortico-hypothalamicness does not occur.; sent10 & sent5 -> int3: the cortico-hypothalamicness and the corporateness happens.; int3 -> int4: the cortico-hypothalamicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the overrefining muzhik does not occur.; sent3 & sent6 -> int7: the supplication and the piracy happens.; int7 -> int8: the piracy happens.; sent8 & int8 -> int9: the semanticsness occurs.; int6 & int9 -> hypothesis;
that not the overrefining muzhik but the semanticsness happens is false.
 -> hypothesis;
$hypothesis$ = the overrefining muzhik does not occur and the semanticsness occurs. ; $context$ = sent1: if that the semanticsness does not occur is correct the overrefining muzhik happens or the cortico-hypothalamicness happens or both. sent2: the cortico-hypothalamicness does not occur if that the paging sorceress does not occur but the metallurgicalness occurs is not true. sent3: if that the questioning does not occur is not incorrect the supplication occurs and the piracy happens. sent4: the non-cortico-hypothalamicness is caused by the non-metallurgicalness. sent5: the fact that the credibleness does not occur is correct. sent6: the questioning does not occur. sent7: the fact that the paging sorceress does not occur and the metallurgicalness occurs does not hold if the overrefining muzhik happens. sent8: the semanticsness occurs if the piracy occurs. sent9: the transfer does not occur if the fact that both the non-resoluteness and the redaction occurs is not true. sent10: if the credibleness does not occur then the cortico-hypothalamicness and the corporateness happens. ; $proof$ = 
void -> assump1: Let's assume that the overrefining muzhik occurs.; sent7 & assump1 -> int1: the fact that not the paging sorceress but the metallurgicalness occurs does not hold.; int1 & sent2 -> int2: the cortico-hypothalamicness does not occur.; sent10 & sent5 -> int3: the cortico-hypothalamicness and the corporateness happens.; int3 -> int4: the cortico-hypothalamicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the overrefining muzhik does not occur.; sent3 & sent6 -> int7: the supplication and the piracy happens.; int7 -> int8: the piracy happens.; sent8 & int8 -> int9: the semanticsness occurs.; int6 & int9 -> hypothesis; __PROVED__