that the non-irreversibleness and the non-angiospermousness happens is wrong.
sent1: the capsuling battlemented happens and the detonation occurs. sent2: that if the polyatomicness and the detonation happens the irreversibleness does not occur is true. sent3: the bloomer and the polyatomicness happens. sent4: the dyslexicness happens and the effecting does not occur. sent5: that the dyslexicness but not the effect happens leads to the non-angiospermousness.
sent3 -> int1: the polyatomicness happens.; sent1 -> int2: the detonation occurs.; int1 & int2 -> int3: the polyatomicness happens and the detonation happens.; int3 & sent2 -> int4: the irreversibleness does not occur.; sent5 & sent4 -> int5: the angiospermousness does not occur.; int4 & int5 -> hypothesis;
$hypothesis$ = that the non-irreversibleness and the non-angiospermousness happens is wrong. ; $context$ = sent1: the capsuling battlemented happens and the detonation occurs. sent2: that if the polyatomicness and the detonation happens the irreversibleness does not occur is true. sent3: the bloomer and the polyatomicness happens. sent4: the dyslexicness happens and the effecting does not occur. sent5: that the dyslexicness but not the effect happens leads to the non-angiospermousness. ; $proof$ = 
sent3 -> int1: the polyatomicness happens.; sent1 -> int2: the detonation occurs.; int1 & int2 -> int3: the polyatomicness happens and the detonation happens.; int3 & sent2 -> int4: the irreversibleness does not occur.; sent5 & sent4 -> int5: the angiospermousness does not occur.; int4 & int5 -> hypothesis; __DISPROVED__