the acebutolol quietens and is a kind of a orphenadrine.
sent1: if the NMR is improbable the acebutolol does not extinguish crackle. sent2: the hone does not drone splint. sent3: if the Union does not extinguish NMR then the fact that it is a kind of a gene that extinguishes topper does not hold. sent4: if that the Union is a kind of a gene but it does not extinguish topper is false then the NMR is improbable. sent5: The splint does not drone hone. sent6: the fact that the Union is a kind of a gene but it does not extinguish topper is false if it does not extinguish NMR. sent7: that something quietens and is a orphenadrine does not hold if it does not extinguish crackle. sent8: the hone is not autogamous. sent9: the Union does not extinguish NMR if a non-autogamous thing does not drone splint.
sent8 & sent2 -> int1: the hone is not autogamous and it does not drone splint.; int1 -> int2: something is a kind of non-autogamous thing that does not drone splint.; int2 & sent9 -> int3: the Union does not extinguish NMR.; int3 & sent6 -> int4: that the Union is a gene but it does not extinguish topper is not right.; int4 & sent4 -> int5: the NMR is improbable.; int5 & sent1 -> int6: that the acebutolol does not extinguish crackle is right.; sent7 -> int7: if the acebutolol does not extinguish crackle the fact that it quietens and is a kind of a orphenadrine is not right.; int6 & int7 -> hypothesis;
$hypothesis$ = the acebutolol quietens and is a kind of a orphenadrine. ; $context$ = sent1: if the NMR is improbable the acebutolol does not extinguish crackle. sent2: the hone does not drone splint. sent3: if the Union does not extinguish NMR then the fact that it is a kind of a gene that extinguishes topper does not hold. sent4: if that the Union is a kind of a gene but it does not extinguish topper is false then the NMR is improbable. sent5: The splint does not drone hone. sent6: the fact that the Union is a kind of a gene but it does not extinguish topper is false if it does not extinguish NMR. sent7: that something quietens and is a orphenadrine does not hold if it does not extinguish crackle. sent8: the hone is not autogamous. sent9: the Union does not extinguish NMR if a non-autogamous thing does not drone splint. ; $proof$ = 
sent8 & sent2 -> int1: the hone is not autogamous and it does not drone splint.; int1 -> int2: something is a kind of non-autogamous thing that does not drone splint.; int2 & sent9 -> int3: the Union does not extinguish NMR.; int3 & sent6 -> int4: that the Union is a gene but it does not extinguish topper is not right.; int4 & sent4 -> int5: the NMR is improbable.; int5 & sent1 -> int6: that the acebutolol does not extinguish crackle is right.; sent7 -> int7: if the acebutolol does not extinguish crackle the fact that it quietens and is a kind of a orphenadrine is not right.; int6 & int7 -> hypothesis; __DISPROVED__