that the nitrite is not non-micrometeoritic and it is arterial does not hold.
sent1: everything is a Pleurosorus and it is a pep. sent2: the nitrite is not arterial and/or it is a kind of a Pleurosorus. sent3: if the barbu is nidifugous then the gemma is not unactable. sent4: the temple is a minster if it is a pep. sent5: if something is not abiogenetic it snuffles Azaleastrum. sent6: the Teuton is not unactable and/or it is not nidifugous if the temple is a minster. sent7: the fact that the moorwort is not a minster but it is a kind of a pep is incorrect if the gemma is not unactable. sent8: the nitrite is micrometeoritic if the Teuton snuffles Azaleastrum. sent9: the Teuton does snuffle Azaleastrum if it is not unactable and/or it is not nidifugous. sent10: that the nitrite is micrometeoritic and is arterial is wrong if the Teuton is not a Pleurosorus. sent11: the nitrite is arterial. sent12: if that the cavity is a kind of an epileptic and/or does not enjoy Stenotomus is not right the barbu beats Stockton. sent13: if something beats Stockton then it is not abiogenetic. sent14: if something snuffles Azaleastrum then it is not non-nidifugous.
sent1 -> int1: the temple is a Pleurosorus and is a pep.; int1 -> int2: the temple is a pep.; int2 & sent4 -> int3: the temple is a kind of a minster.; int3 & sent6 -> int4: that the Teuton is not unactable and/or it is not nidifugous is correct.; int4 & sent9 -> int5: the Teuton does snuffle Azaleastrum.; int5 & sent8 -> int6: that the nitrite is micrometeoritic is correct.; int6 & sent11 -> hypothesis;
that the nitrite is micrometeoritic thing that is arterial does not hold.
sent14 -> int7: if the barbu snuffles Azaleastrum then it is not non-nidifugous.; sent5 -> int8: if the barbu is not abiogenetic it does snuffle Azaleastrum.; sent13 -> int9: the barbu is not abiogenetic if it beats Stockton.;
$hypothesis$ = that the nitrite is not non-micrometeoritic and it is arterial does not hold. ; $context$ = sent1: everything is a Pleurosorus and it is a pep. sent2: the nitrite is not arterial and/or it is a kind of a Pleurosorus. sent3: if the barbu is nidifugous then the gemma is not unactable. sent4: the temple is a minster if it is a pep. sent5: if something is not abiogenetic it snuffles Azaleastrum. sent6: the Teuton is not unactable and/or it is not nidifugous if the temple is a minster. sent7: the fact that the moorwort is not a minster but it is a kind of a pep is incorrect if the gemma is not unactable. sent8: the nitrite is micrometeoritic if the Teuton snuffles Azaleastrum. sent9: the Teuton does snuffle Azaleastrum if it is not unactable and/or it is not nidifugous. sent10: that the nitrite is micrometeoritic and is arterial is wrong if the Teuton is not a Pleurosorus. sent11: the nitrite is arterial. sent12: if that the cavity is a kind of an epileptic and/or does not enjoy Stenotomus is not right the barbu beats Stockton. sent13: if something beats Stockton then it is not abiogenetic. sent14: if something snuffles Azaleastrum then it is not non-nidifugous. ; $proof$ = 
sent1 -> int1: the temple is a Pleurosorus and is a pep.; int1 -> int2: the temple is a pep.; int2 & sent4 -> int3: the temple is a kind of a minster.; int3 & sent6 -> int4: that the Teuton is not unactable and/or it is not nidifugous is correct.; int4 & sent9 -> int5: the Teuton does snuffle Azaleastrum.; int5 & sent8 -> int6: that the nitrite is micrometeoritic is correct.; int6 & sent11 -> hypothesis; __DISPROVED__