the uploading psalmody occurs.
sent1: the distrustfulness does not occur. sent2: if that the lockdown and the uploading Neruda occurs hold the disconnection does not occur. sent3: the lockdown happens. sent4: the IOP happens if the finerness happens. sent5: the poundage happens and the finerness happens if the distrustfulness does not occur. sent6: the tramontane does not occur. sent7: if the fact that the uploading psalmody does not occur and the uploading Neruda does not occur is false the uploading psalmody happens. sent8: the uploading psalmody does not occur if the IOP happens and the potshot happens. sent9: if the register does not occur then both the haranguing Inge and the haranguing flow happens. sent10: if the uploading Neruda does not occur the potshot happens. sent11: that both the Skinnerianness and the disconnection happens is caused by the non-tramontaneness.
void -> assump1: Let's assume that the uploading Neruda happens.; sent3 & assump1 -> int1: the lockdown occurs and the uploading Neruda occurs.; int1 & sent2 -> int2: the disconnection does not occur.; sent11 & sent6 -> int3: that the Skinnerian happens and the disconnection happens is right.; int3 -> int4: the disconnection occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the uploading Neruda does not occur is correct.; int6 & sent10 -> int7: the potshot occurs.; sent5 & sent1 -> int8: the poundage and the finerness happens.; int8 -> int9: the finerness occurs.; sent4 & int9 -> int10: the IOP occurs.; int7 & int10 -> int11: the IOP and the potshot happens.; int11 & sent8 -> hypothesis;
the uploading psalmody happens.
$hypothesis$ = the uploading psalmody occurs. ; $context$ = sent1: the distrustfulness does not occur. sent2: if that the lockdown and the uploading Neruda occurs hold the disconnection does not occur. sent3: the lockdown happens. sent4: the IOP happens if the finerness happens. sent5: the poundage happens and the finerness happens if the distrustfulness does not occur. sent6: the tramontane does not occur. sent7: if the fact that the uploading psalmody does not occur and the uploading Neruda does not occur is false the uploading psalmody happens. sent8: the uploading psalmody does not occur if the IOP happens and the potshot happens. sent9: if the register does not occur then both the haranguing Inge and the haranguing flow happens. sent10: if the uploading Neruda does not occur the potshot happens. sent11: that both the Skinnerianness and the disconnection happens is caused by the non-tramontaneness. ; $proof$ = 
void -> assump1: Let's assume that the uploading Neruda happens.; sent3 & assump1 -> int1: the lockdown occurs and the uploading Neruda occurs.; int1 & sent2 -> int2: the disconnection does not occur.; sent11 & sent6 -> int3: that the Skinnerian happens and the disconnection happens is right.; int3 -> int4: the disconnection occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the uploading Neruda does not occur is correct.; int6 & sent10 -> int7: the potshot occurs.; sent5 & sent1 -> int8: the poundage and the finerness happens.; int8 -> int9: the finerness occurs.; sent4 & int9 -> int10: the IOP occurs.; int7 & int10 -> int11: the IOP and the potshot happens.; int11 & sent8 -> hypothesis; __DISPROVED__