the fact that there is something such that if it is non-mercurial thing that is not two-wheel then it is not non-recreational is incorrect.
sent1: the wincey is a kind of a tonight if it is not a simper but divisional. sent2: if a non-mercurial thing is not two-wheel then it is recreational. sent3: that there is something such that if it is a simper that is not a hypallage then it is a Alecto is not wrong. sent4: there is something such that if it is both not a praya and not quiet it does fight wincey. sent5: something is a fiduciary if it is starless thing that is not a kind of a symphony.
sent2 -> int1: if the wincey is both non-mercurial and not two-wheel it is recreational.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is non-mercurial thing that is not two-wheel then it is not non-recreational is incorrect. ; $context$ = sent1: the wincey is a kind of a tonight if it is not a simper but divisional. sent2: if a non-mercurial thing is not two-wheel then it is recreational. sent3: that there is something such that if it is a simper that is not a hypallage then it is a Alecto is not wrong. sent4: there is something such that if it is both not a praya and not quiet it does fight wincey. sent5: something is a fiduciary if it is starless thing that is not a kind of a symphony. ; $proof$ = 
sent2 -> int1: if the wincey is both non-mercurial and not two-wheel it is recreational.; int1 -> hypothesis; __DISPROVED__