the correctness does not occur.
sent1: if the shrinking Hameln happens the fact that the murmuring Arno does not occur and/or the sporting happens is not true. sent2: the shrinking Hameln occurs. sent3: the droning does not occur. sent4: that the ruling happens brings about that the taming dullness occurs. sent5: that both the non-correctness and the bottoming happens is false if the tensileness occurs. sent6: the combusting happens. sent7: the solitaire happens. sent8: if the shrinking copyhold does not occur the striding occurs. sent9: if the taming dullness occurs the discouraging happens. sent10: that the bottomed does not occur is prevented by that the discouraging happens. sent11: the stride is triggered by that the shrinking copyhold does not occur and/or the stride occurs. sent12: the shrinking copyhold does not occur if the fact that the murmuring Arno does not occur and/or the sport occurs does not hold. sent13: the stupidness triggers the ruling. sent14: the shrinking copyhold does not occur or the striding occurs or both if that the murmuring Arno does not occur is correct. sent15: that the sporting does not occur is right if the shrinking Hameln happens. sent16: the striding occurs. sent17: the sport does not occur. sent18: the combusting and the stupidness occurs. sent19: the tensileness and the stride happens if the shrinking copyhold does not occur. sent20: the fact that either the preponderating does not occur or the penicillin-resistantness happens or both does not hold. sent21: that not the ruling but the taming dullness occurs is false if the discouraging does not occur.
sent18 -> int1: the stupid happens.; int1 & sent13 -> int2: the rule happens.; int2 & sent4 -> int3: the taming dullness happens.; int3 & sent9 -> int4: the discouraging happens.; int4 & sent10 -> int5: the bottomed happens.; void -> assump1: Let's assume that the correcting does not occur.; int5 & assump1 -> int6: the incorrectness and the bottomed happens.; sent1 & sent2 -> int7: that the murmuring Arno does not occur and/or the sport happens is false.; sent12 & int7 -> int8: the shrinking copyhold does not occur.; sent19 & int8 -> int9: both the tensileness and the striding happens.; int9 -> int10: the tensileness happens.; sent5 & int10 -> int11: the fact that the non-correctness and the bottoming happens is not correct.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the correctness does not occur.
$hypothesis$ = the correctness does not occur. ; $context$ = sent1: if the shrinking Hameln happens the fact that the murmuring Arno does not occur and/or the sporting happens is not true. sent2: the shrinking Hameln occurs. sent3: the droning does not occur. sent4: that the ruling happens brings about that the taming dullness occurs. sent5: that both the non-correctness and the bottoming happens is false if the tensileness occurs. sent6: the combusting happens. sent7: the solitaire happens. sent8: if the shrinking copyhold does not occur the striding occurs. sent9: if the taming dullness occurs the discouraging happens. sent10: that the bottomed does not occur is prevented by that the discouraging happens. sent11: the stride is triggered by that the shrinking copyhold does not occur and/or the stride occurs. sent12: the shrinking copyhold does not occur if the fact that the murmuring Arno does not occur and/or the sport occurs does not hold. sent13: the stupidness triggers the ruling. sent14: the shrinking copyhold does not occur or the striding occurs or both if that the murmuring Arno does not occur is correct. sent15: that the sporting does not occur is right if the shrinking Hameln happens. sent16: the striding occurs. sent17: the sport does not occur. sent18: the combusting and the stupidness occurs. sent19: the tensileness and the stride happens if the shrinking copyhold does not occur. sent20: the fact that either the preponderating does not occur or the penicillin-resistantness happens or both does not hold. sent21: that not the ruling but the taming dullness occurs is false if the discouraging does not occur. ; $proof$ = 
sent18 -> int1: the stupid happens.; int1 & sent13 -> int2: the rule happens.; int2 & sent4 -> int3: the taming dullness happens.; int3 & sent9 -> int4: the discouraging happens.; int4 & sent10 -> int5: the bottomed happens.; void -> assump1: Let's assume that the correcting does not occur.; int5 & assump1 -> int6: the incorrectness and the bottomed happens.; sent1 & sent2 -> int7: that the murmuring Arno does not occur and/or the sport happens is false.; sent12 & int7 -> int8: the shrinking copyhold does not occur.; sent19 & int8 -> int9: both the tensileness and the striding happens.; int9 -> int10: the tensileness happens.; sent5 & int10 -> int11: the fact that the non-correctness and the bottoming happens is not correct.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __DISPROVED__