the fact that the non-Glaswegianness and the debouching happens does not hold.
sent1: that the smutting happens but the hierarchicalness does not occur is not right. sent2: that the anemometry occurs hold if that that both the smut and the nonhierarchicalness occurs hold does not hold. sent3: that the folding and the intraventricularness occurs is not true. sent4: the diving angst happens. sent5: if the battue does not occur that the non-Glaswegianness and the debouching happens is incorrect. sent6: the skinny-diping and the diving angst occurs if the halving idealism does not occur. sent7: the fact that the halving semester and the grouping occurs is not correct if the cantillation does not occur. sent8: the halving idealism does not occur. sent9: the medievalness happens. sent10: if the towing does not occur the Glaswegian does not occur. sent11: the towing does not occur if the battue and the anemometry happens. sent12: the morphing occurs. sent13: the radio occurs if the fact that the phreaticness but not the dribbling occurs is not right. sent14: if that the fact that both the halving semester and the group occurs is not right is not incorrect the diving angst does not occur. sent15: if that the inflationariness does not occur does not hold the unshodness occurs. sent16: the fact that both the bellylessness and the technologicalness occurs is incorrect. sent17: if the perturbation occurs the functioning preconception happens. sent18: both the debouching and the battue happens if the anemometry does not occur. sent19: that both the Glaswegianness and the debouching happens does not hold. sent20: that the towing does not occur is prevented by that the skinny-dip happens. sent21: that the dullness happens and the halving da'wah occurs brings about the non-Cretaceousness. sent22: that both the smutting and the hierarchicalness happens is not true. sent23: that either the tow does not occur or the skinny-diping does not occur or both is caused by that the diving angst does not occur. sent24: if the skinny-diping does not occur then the Glaswegianness does not occur.
sent2 & sent1 -> int1: the anemometry occurs.; void -> assump1: Let's assume that the battue occurs.; int1 & assump1 -> int2: that both the battue and the anemometry happens is not incorrect.; int2 & sent11 -> int3: the tow does not occur.; sent6 & sent8 -> int4: that the skinny-dip and the diving angst occurs is correct.; int4 -> int5: the skinny-dip happens.; sent20 & int5 -> int6: the tow occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the battue does not occur.; int8 & sent5 -> hypothesis;
both the non-Glaswegianness and the debouching occurs.
$hypothesis$ = the fact that the non-Glaswegianness and the debouching happens does not hold. ; $context$ = sent1: that the smutting happens but the hierarchicalness does not occur is not right. sent2: that the anemometry occurs hold if that that both the smut and the nonhierarchicalness occurs hold does not hold. sent3: that the folding and the intraventricularness occurs is not true. sent4: the diving angst happens. sent5: if the battue does not occur that the non-Glaswegianness and the debouching happens is incorrect. sent6: the skinny-diping and the diving angst occurs if the halving idealism does not occur. sent7: the fact that the halving semester and the grouping occurs is not correct if the cantillation does not occur. sent8: the halving idealism does not occur. sent9: the medievalness happens. sent10: if the towing does not occur the Glaswegian does not occur. sent11: the towing does not occur if the battue and the anemometry happens. sent12: the morphing occurs. sent13: the radio occurs if the fact that the phreaticness but not the dribbling occurs is not right. sent14: if that the fact that both the halving semester and the group occurs is not right is not incorrect the diving angst does not occur. sent15: if that the inflationariness does not occur does not hold the unshodness occurs. sent16: the fact that both the bellylessness and the technologicalness occurs is incorrect. sent17: if the perturbation occurs the functioning preconception happens. sent18: both the debouching and the battue happens if the anemometry does not occur. sent19: that both the Glaswegianness and the debouching happens does not hold. sent20: that the towing does not occur is prevented by that the skinny-dip happens. sent21: that the dullness happens and the halving da'wah occurs brings about the non-Cretaceousness. sent22: that both the smutting and the hierarchicalness happens is not true. sent23: that either the tow does not occur or the skinny-diping does not occur or both is caused by that the diving angst does not occur. sent24: if the skinny-diping does not occur then the Glaswegianness does not occur. ; $proof$ = 
sent2 & sent1 -> int1: the anemometry occurs.; void -> assump1: Let's assume that the battue occurs.; int1 & assump1 -> int2: that both the battue and the anemometry happens is not incorrect.; int2 & sent11 -> int3: the tow does not occur.; sent6 & sent8 -> int4: that the skinny-dip and the diving angst occurs is correct.; int4 -> int5: the skinny-dip happens.; sent20 & int5 -> int6: the tow occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the battue does not occur.; int8 & sent5 -> hypothesis; __PROVED__