the aquatic is non-narcotic.
sent1: everything is not millenary and/or it does revamp. sent2: if the strawboard is an annoyance then the aquatic is narcotic. sent3: if the sixth-former is arteriosclerotic the curbstone is arteriosclerotic. sent4: the strawboard is a kind of an annoyance if the carrack is mediatory. sent5: the moss is not a straw if there is something such that it is not a millenary or it does revamp or both. sent6: the sixth-former is not a cannibalism. sent7: that something does not straw and is not mediatory is incorrect if it is a kind of an annoyance. sent8: the carrack is mediatory if the moss is not a straw. sent9: if that something does not index territorial and is a nuthatch is wrong then it is an annoyance. sent10: if the sixth-former is not a cannibalism it is factory-made or is arteriosclerotic or both. sent11: something is a kind of a tappet if it is arteriosclerotic. sent12: the curbstone is not non-arteriosclerotic if the sixth-former is not non-factory-made. sent13: everything is millenary and/or it revamps. sent14: if the carrack indexes brit then that the fact that the moss does not index territorial but it is a nuthatch is not true is correct. sent15: there exists something such that either it is a millenary or it does revamp or both. sent16: the matriarch is not non-millenary or does revamp or both. sent17: if the curbstone is a kind of a tappet the fact that the strawboard testifies but it does not index brit is false.
sent1 -> int1: the fact that the matriarch is not a millenary or it does revamp or both is not wrong.; int1 -> int2: there exists something such that it is not a millenary and/or revamps.; int2 & sent5 -> int3: the moss is not a straw.; sent8 & int3 -> int4: the carrack is mediatory.; sent4 & int4 -> int5: the strawboard is an annoyance.; sent2 & int5 -> hypothesis;
the aquatic is not a kind of a narcotic.
sent7 -> int6: the fact that the moss is not a straw and is not mediatory is false if it is an annoyance.; sent9 -> int7: the moss is a kind of an annoyance if that it does not index territorial and it is a nuthatch does not hold.; sent11 -> int8: if the curbstone is arteriosclerotic it is a kind of a tappet.; sent10 & sent6 -> int9: the sixth-former is factory-made and/or it is arteriosclerotic.; int9 & sent12 & sent3 -> int10: the curbstone is arteriosclerotic.; int8 & int10 -> int11: the curbstone is a tappet.; sent17 & int11 -> int12: that the strawboard does testify and does not index brit is false.; int12 -> int13: there exists something such that the fact that it does testify and does not index brit is not correct.;
$hypothesis$ = the aquatic is non-narcotic. ; $context$ = sent1: everything is not millenary and/or it does revamp. sent2: if the strawboard is an annoyance then the aquatic is narcotic. sent3: if the sixth-former is arteriosclerotic the curbstone is arteriosclerotic. sent4: the strawboard is a kind of an annoyance if the carrack is mediatory. sent5: the moss is not a straw if there is something such that it is not a millenary or it does revamp or both. sent6: the sixth-former is not a cannibalism. sent7: that something does not straw and is not mediatory is incorrect if it is a kind of an annoyance. sent8: the carrack is mediatory if the moss is not a straw. sent9: if that something does not index territorial and is a nuthatch is wrong then it is an annoyance. sent10: if the sixth-former is not a cannibalism it is factory-made or is arteriosclerotic or both. sent11: something is a kind of a tappet if it is arteriosclerotic. sent12: the curbstone is not non-arteriosclerotic if the sixth-former is not non-factory-made. sent13: everything is millenary and/or it revamps. sent14: if the carrack indexes brit then that the fact that the moss does not index territorial but it is a nuthatch is not true is correct. sent15: there exists something such that either it is a millenary or it does revamp or both. sent16: the matriarch is not non-millenary or does revamp or both. sent17: if the curbstone is a kind of a tappet the fact that the strawboard testifies but it does not index brit is false. ; $proof$ = 
sent1 -> int1: the fact that the matriarch is not a millenary or it does revamp or both is not wrong.; int1 -> int2: there exists something such that it is not a millenary and/or revamps.; int2 & sent5 -> int3: the moss is not a straw.; sent8 & int3 -> int4: the carrack is mediatory.; sent4 & int4 -> int5: the strawboard is an annoyance.; sent2 & int5 -> hypothesis; __DISPROVED__