the axon is not a psilocybin.
sent1: if there exists something such that the fact that it is not calcicolous and it is not a mineral is false the axon is a kind of a psilocybin. sent2: there exists something such that the fact that it is not a Accipitridae and is not non-ill is wrong. sent3: there exists something such that the fact that it is a transformation and it is not a kind of an antecedent is false. sent4: if that something is additive but it does not pit is not correct it is not megakaryocytic. sent5: there exists something such that the fact that it is not a aviatrix and it inflates Armagnac is not correct. sent6: that the axon is a psilocybin hold if there are calcicolous things. sent7: there is something such that that it is not a triteness and it does not sample Avon is not correct. sent8: there exists something such that that it is not calcicolous and not mineral is not true. sent9: there exists something such that that it does not sample fluidity and is a homing does not hold. sent10: the axon is not a kind of a psilocybin if that the Pablum is a psilocybin and is antennal is wrong. sent11: there exists something such that that it does cloud centare and is not a kind of a halo is incorrect. sent12: the fact that the record-breaker does hook record-breaker is not incorrect. sent13: everything is a Afro-wig. sent14: the fact that something is both additive and not a pit is not correct if it is morphophonemics. sent15: if something is a kind of a Afro-wig then it is morphophonemics. sent16: the axon is a pendragon.
sent8 & sent1 -> hypothesis;
that the axon is not a psilocybin is true.
sent14 -> int1: that the Hanoverian is a kind of an additive that is not a kind of a pit is not right if it is morphophonemics.; sent13 -> int2: the Hanoverian is a Afro-wig.; sent15 -> int3: the Hanoverian is morphophonemics if it is a Afro-wig.; int2 & int3 -> int4: the Hanoverian is morphophonemics.; int1 & int4 -> int5: that the Hanoverian is additive and not a pit is not true.; sent4 -> int6: if that the Hanoverian is a kind of an additive but it does not pit is wrong it is not megakaryocytic.; int5 & int6 -> int7: the fact that the Hanoverian is not megakaryocytic is true.;
$hypothesis$ = the axon is not a psilocybin. ; $context$ = sent1: if there exists something such that the fact that it is not calcicolous and it is not a mineral is false the axon is a kind of a psilocybin. sent2: there exists something such that the fact that it is not a Accipitridae and is not non-ill is wrong. sent3: there exists something such that the fact that it is a transformation and it is not a kind of an antecedent is false. sent4: if that something is additive but it does not pit is not correct it is not megakaryocytic. sent5: there exists something such that the fact that it is not a aviatrix and it inflates Armagnac is not correct. sent6: that the axon is a psilocybin hold if there are calcicolous things. sent7: there is something such that that it is not a triteness and it does not sample Avon is not correct. sent8: there exists something such that that it is not calcicolous and not mineral is not true. sent9: there exists something such that that it does not sample fluidity and is a homing does not hold. sent10: the axon is not a kind of a psilocybin if that the Pablum is a psilocybin and is antennal is wrong. sent11: there exists something such that that it does cloud centare and is not a kind of a halo is incorrect. sent12: the fact that the record-breaker does hook record-breaker is not incorrect. sent13: everything is a Afro-wig. sent14: the fact that something is both additive and not a pit is not correct if it is morphophonemics. sent15: if something is a kind of a Afro-wig then it is morphophonemics. sent16: the axon is a pendragon. ; $proof$ = 
sent8 & sent1 -> hypothesis; __DISPROVED__