the soldiering boar occurs.
sent1: that the finiteness but not the cribbage happens yields that the alternatingness does not occur. sent2: the trisecting ubiquinone does not occur. sent3: that the finiteness occurs and the cribbage does not occur is brought about by that the trisecting ubiquinone does not occur. sent4: the landing happens if the Dipylon occurs and/or the Light does not occur. sent5: the supplementation occurs. sent6: that the cribbage does not occur is triggered by that the trisecting Apeldoorn does not occur and the trisecting ubiquinone does not occur. sent7: the fact that the land does not occur and the Light does not occur is not right if that the soldiering colonialism happens is not correct. sent8: the soldiering colonialism occurs if the alternating does not occur. sent9: the Dipylon occurs if the supplementation happens. sent10: the non-alternatingness is brought about by that both the finiteness and the cribbage happens. sent11: if the landing and the soldiering colonialism occurs the soldiering boar does not occur. sent12: if the fact that the supplementation does not occur is not wrong then that the soldiering boar does not occur and the Dipylonness does not occur is not true. sent13: either the Dipylon occurs or the Light happens or both. sent14: the trisecting Apeldoorn does not occur and the trisecting ubiquinone does not occur if the Australasianness does not occur. sent15: the simplification does not occur. sent16: the fact that the hobby does not occur hold. sent17: if the cribbage does not occur then the fact that the alternatingness and the non-finiteness happens is wrong. sent18: that the mummifying happens but the trisecting sway does not occur prevents the bunfight.
sent9 & sent5 -> int1: the fact that the Dipylonness happens is not wrong.; int1 -> int2: either the Dipylonness happens or the Light does not occur or both.; int2 & sent4 -> int3: the fact that the land happens is correct.; sent3 & sent2 -> int4: the finiteness happens and the cribbage does not occur.; sent1 & int4 -> int5: the alternatingness does not occur.; sent8 & int5 -> int6: the soldiering colonialism happens.; int3 & int6 -> int7: the land happens and the soldiering colonialism happens.; int7 & sent11 -> hypothesis;
the soldiering boar happens.
$hypothesis$ = the soldiering boar occurs. ; $context$ = sent1: that the finiteness but not the cribbage happens yields that the alternatingness does not occur. sent2: the trisecting ubiquinone does not occur. sent3: that the finiteness occurs and the cribbage does not occur is brought about by that the trisecting ubiquinone does not occur. sent4: the landing happens if the Dipylon occurs and/or the Light does not occur. sent5: the supplementation occurs. sent6: that the cribbage does not occur is triggered by that the trisecting Apeldoorn does not occur and the trisecting ubiquinone does not occur. sent7: the fact that the land does not occur and the Light does not occur is not right if that the soldiering colonialism happens is not correct. sent8: the soldiering colonialism occurs if the alternating does not occur. sent9: the Dipylon occurs if the supplementation happens. sent10: the non-alternatingness is brought about by that both the finiteness and the cribbage happens. sent11: if the landing and the soldiering colonialism occurs the soldiering boar does not occur. sent12: if the fact that the supplementation does not occur is not wrong then that the soldiering boar does not occur and the Dipylonness does not occur is not true. sent13: either the Dipylon occurs or the Light happens or both. sent14: the trisecting Apeldoorn does not occur and the trisecting ubiquinone does not occur if the Australasianness does not occur. sent15: the simplification does not occur. sent16: the fact that the hobby does not occur hold. sent17: if the cribbage does not occur then the fact that the alternatingness and the non-finiteness happens is wrong. sent18: that the mummifying happens but the trisecting sway does not occur prevents the bunfight. ; $proof$ = 
sent9 & sent5 -> int1: the fact that the Dipylonness happens is not wrong.; int1 -> int2: either the Dipylonness happens or the Light does not occur or both.; int2 & sent4 -> int3: the fact that the land happens is correct.; sent3 & sent2 -> int4: the finiteness happens and the cribbage does not occur.; sent1 & int4 -> int5: the alternatingness does not occur.; sent8 & int5 -> int6: the soldiering colonialism happens.; int3 & int6 -> int7: the land happens and the soldiering colonialism happens.; int7 & sent11 -> hypothesis; __DISPROVED__