the aquatic is not a fad.
sent1: the aquatic is a kind of a variedness if there is something such that it is a kind of Hanoverian thing that is a kind of a shrublet. sent2: if the fact that something does shrink emotionality hold it is a fad. sent3: if there is something such that it does not murmur chin and shrinks etcher then that the repository is Hanoverian is correct. sent4: that something does not tame aquatic and is a Hanoverian is incorrect if it is not a sauceboat. sent5: the morgue does not murmur chin but it does shrink etcher if the trapper is a sauceboat. sent6: the repository is a shrublet if it is not non-intrauterine. sent7: if something is a sauceboat then it is not a fad. sent8: the trapper is not a Hanoverian but it is a shrublet if the morgue is not a kind of a variedness. sent9: that the repository is not contrasty is not false. sent10: the fact that the repository is not intrauterine but it is a warp is false if it is not contrasty. sent11: the trapper is a sauceboat. sent12: if the fact that something is both not intrauterine and a warp is not true it is intrauterine. sent13: the aquatic does shrink emotionality if it is a variedness.
sent5 & sent11 -> int1: the morgue does not murmur chin but it shrinks etcher.; int1 -> int2: something does not murmur chin and shrinks etcher.; int2 & sent3 -> int3: the repository is a Hanoverian.; sent12 -> int4: the repository is intrauterine if that it is not intrauterine and is a warp is wrong.; sent10 & sent9 -> int5: that the fact that the repository is not intrauterine but it is a warp is correct does not hold.; int4 & int5 -> int6: the fact that the repository is intrauterine is not false.; sent6 & int6 -> int7: the repository is a shrublet.; int3 & int7 -> int8: the repository is a kind of a Hanoverian and it is a kind of a shrublet.; int8 -> int9: something is a Hanoverian and is a kind of a shrublet.; int9 & sent1 -> int10: the aquatic is a kind of a variedness.; int10 & sent13 -> int11: the aquatic shrinks emotionality.; sent2 -> int12: the aquatic is a kind of a fad if it shrinks emotionality.; int11 & int12 -> hypothesis;
the fact that the aquatic is not a kind of a fad is not false.
sent7 -> int13: if the aquatic is a kind of a sauceboat then it is not a fad.;
$hypothesis$ = the aquatic is not a fad. ; $context$ = sent1: the aquatic is a kind of a variedness if there is something such that it is a kind of Hanoverian thing that is a kind of a shrublet. sent2: if the fact that something does shrink emotionality hold it is a fad. sent3: if there is something such that it does not murmur chin and shrinks etcher then that the repository is Hanoverian is correct. sent4: that something does not tame aquatic and is a Hanoverian is incorrect if it is not a sauceboat. sent5: the morgue does not murmur chin but it does shrink etcher if the trapper is a sauceboat. sent6: the repository is a shrublet if it is not non-intrauterine. sent7: if something is a sauceboat then it is not a fad. sent8: the trapper is not a Hanoverian but it is a shrublet if the morgue is not a kind of a variedness. sent9: that the repository is not contrasty is not false. sent10: the fact that the repository is not intrauterine but it is a warp is false if it is not contrasty. sent11: the trapper is a sauceboat. sent12: if the fact that something is both not intrauterine and a warp is not true it is intrauterine. sent13: the aquatic does shrink emotionality if it is a variedness. ; $proof$ = 
sent5 & sent11 -> int1: the morgue does not murmur chin but it shrinks etcher.; int1 -> int2: something does not murmur chin and shrinks etcher.; int2 & sent3 -> int3: the repository is a Hanoverian.; sent12 -> int4: the repository is intrauterine if that it is not intrauterine and is a warp is wrong.; sent10 & sent9 -> int5: that the fact that the repository is not intrauterine but it is a warp is correct does not hold.; int4 & int5 -> int6: the fact that the repository is intrauterine is not false.; sent6 & int6 -> int7: the repository is a shrublet.; int3 & int7 -> int8: the repository is a kind of a Hanoverian and it is a kind of a shrublet.; int8 -> int9: something is a Hanoverian and is a kind of a shrublet.; int9 & sent1 -> int10: the aquatic is a kind of a variedness.; int10 & sent13 -> int11: the aquatic shrinks emotionality.; sent2 -> int12: the aquatic is a kind of a fad if it shrinks emotionality.; int11 & int12 -> hypothesis; __DISPROVED__