the grubbing regimen does not occur.
sent1: the malting sapwood occurs if the grubbing defaulter does not occur and the planting occurs. sent2: that the topping coincidence occurs and the electrocution occurs is caused by that the contemplation does not occur. sent3: the contemplation happens. sent4: the fact that the electrocution happens is correct. sent5: the elements does not occur if the malting sapwood happens and the grubbing regimen occurs. sent6: if the grubbing defaulter occurs but the planting does not occur that the contemplation does not occur is correct. sent7: the grubbing regimen occurs if the electrocution does not occur. sent8: the planting occurs. sent9: the elements happens. sent10: if the electrocution and the contemplation happens the grubbing defaulter does not occur.
sent4 & sent3 -> int1: the electrocution happens and the contemplation happens.; int1 & sent10 -> int2: the grubbing defaulter does not occur.; int2 & sent8 -> int3: that the grubbing defaulter does not occur and the planting occurs is not false.; int3 & sent1 -> int4: that the malting sapwood occurs is correct.; void -> assump1: Let's assume that that the grubbing regimen happens is not false.; int4 & assump1 -> int5: both the malting sapwood and the grubbing regimen occurs.; int5 & sent5 -> int6: the elements does not occur.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the topping coincidence occurs.
$hypothesis$ = the grubbing regimen does not occur. ; $context$ = sent1: the malting sapwood occurs if the grubbing defaulter does not occur and the planting occurs. sent2: that the topping coincidence occurs and the electrocution occurs is caused by that the contemplation does not occur. sent3: the contemplation happens. sent4: the fact that the electrocution happens is correct. sent5: the elements does not occur if the malting sapwood happens and the grubbing regimen occurs. sent6: if the grubbing defaulter occurs but the planting does not occur that the contemplation does not occur is correct. sent7: the grubbing regimen occurs if the electrocution does not occur. sent8: the planting occurs. sent9: the elements happens. sent10: if the electrocution and the contemplation happens the grubbing defaulter does not occur. ; $proof$ = 
sent4 & sent3 -> int1: the electrocution happens and the contemplation happens.; int1 & sent10 -> int2: the grubbing defaulter does not occur.; int2 & sent8 -> int3: that the grubbing defaulter does not occur and the planting occurs is not false.; int3 & sent1 -> int4: that the malting sapwood occurs is correct.; void -> assump1: Let's assume that that the grubbing regimen happens is not false.; int4 & assump1 -> int5: both the malting sapwood and the grubbing regimen occurs.; int5 & sent5 -> int6: the elements does not occur.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__