the fact that the fact that the huing rep does not occur but the Markovianness occurs is not right if that the sideness happens is right is false.
sent1: the devices does not occur and the siding does not occur if that the kindling does not occur does not hold. sent2: that the punishing orchestrator occurs is prevented by that the devices does not occur and the siding does not occur. sent3: if not the huing Leptodactylus but the harlequining alexia happens then the fact that the rascality does not occur is correct. sent4: the kindling happens if the fact that the huing affectation does not occur and the kindling does not occur is wrong. sent5: the leg-pull does not occur if the apocalypticness occurs and the netting happens. sent6: the punishing supercargo happens. sent7: the bailment occurs. sent8: the punishing hipped does not occur if the lick does not occur but the bureaucraticness occurs. sent9: the fact that the huing rep occurs and the Markovianness occurs is not true. sent10: the Markovianness happens. sent11: that the sideness happens is prevented by that the huing rep does not occur and the Markovianness occurs. sent12: not the huing rep but the Markovianness happens if the siding occurs. sent13: the siding does not occur if both the huing rep and the Markovianness occurs. sent14: the moiling does not occur if the thudding does not occur but the passing disapprobation occurs.
void -> assump2: Let's assume that not the huing rep but the Markovianness happens.; sent11 & assump2 -> int1: the sideness does not occur.; void -> assump1: Let's assume that the side happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the huing rep but the Markovianness occurs does not hold.; [assump1] & int3 -> hypothesis;
the punishing orchestrator does not occur.
$hypothesis$ = the fact that the fact that the huing rep does not occur but the Markovianness occurs is not right if that the sideness happens is right is false. ; $context$ = sent1: the devices does not occur and the siding does not occur if that the kindling does not occur does not hold. sent2: that the punishing orchestrator occurs is prevented by that the devices does not occur and the siding does not occur. sent3: if not the huing Leptodactylus but the harlequining alexia happens then the fact that the rascality does not occur is correct. sent4: the kindling happens if the fact that the huing affectation does not occur and the kindling does not occur is wrong. sent5: the leg-pull does not occur if the apocalypticness occurs and the netting happens. sent6: the punishing supercargo happens. sent7: the bailment occurs. sent8: the punishing hipped does not occur if the lick does not occur but the bureaucraticness occurs. sent9: the fact that the huing rep occurs and the Markovianness occurs is not true. sent10: the Markovianness happens. sent11: that the sideness happens is prevented by that the huing rep does not occur and the Markovianness occurs. sent12: not the huing rep but the Markovianness happens if the siding occurs. sent13: the siding does not occur if both the huing rep and the Markovianness occurs. sent14: the moiling does not occur if the thudding does not occur but the passing disapprobation occurs. ; $proof$ = 
void -> assump2: Let's assume that not the huing rep but the Markovianness happens.; sent11 & assump2 -> int1: the sideness does not occur.; void -> assump1: Let's assume that the side happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the huing rep but the Markovianness occurs does not hold.; [assump1] & int3 -> hypothesis; __DISPROVED__