that there is something such that if it stokes it is non-cortical thing that does not treat Elector is incorrect.
sent1: something is a kind of non-cortical thing that does not treat Elector if it does stoke. sent2: something does not treat Avignon and does not covet crinoid if it lopes. sent3: something that resurrects is over-the-counter and is not a unction. sent4: if something is a kind of a lasso it is a Newton that does not squawk privation. sent5: something that is a kind of a cappuccino is not a kind of a suit. sent6: if something is a kaon then it is not trinucleate. sent7: there is something such that if it is Linnaean that it is non-basaltic thing that does not treat jetting hold. sent8: something is not a alphavirus if it is a kind of a friskiness. sent9: there exists something such that if it is zygomatic then it is not a suit. sent10: the damson is not astragalar and it does not covet Orthotomus if that it does treat Elector is right. sent11: something does squawk damask and is not a Dewey if the fact that it treats jetting is correct. sent12: something is a stomp and not a mangabey if it covets crinoid. sent13: if the damson stokes then it is cortical and it does not treat Elector. sent14: there is something such that if it is convenient then it is a spot-welder and not a Aspidiotus.
sent1 -> int1: if the damson does stoke then it is not cortical and does not treat Elector.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it stokes it is non-cortical thing that does not treat Elector is incorrect. ; $context$ = sent1: something is a kind of non-cortical thing that does not treat Elector if it does stoke. sent2: something does not treat Avignon and does not covet crinoid if it lopes. sent3: something that resurrects is over-the-counter and is not a unction. sent4: if something is a kind of a lasso it is a Newton that does not squawk privation. sent5: something that is a kind of a cappuccino is not a kind of a suit. sent6: if something is a kaon then it is not trinucleate. sent7: there is something such that if it is Linnaean that it is non-basaltic thing that does not treat jetting hold. sent8: something is not a alphavirus if it is a kind of a friskiness. sent9: there exists something such that if it is zygomatic then it is not a suit. sent10: the damson is not astragalar and it does not covet Orthotomus if that it does treat Elector is right. sent11: something does squawk damask and is not a Dewey if the fact that it treats jetting is correct. sent12: something is a stomp and not a mangabey if it covets crinoid. sent13: if the damson stokes then it is cortical and it does not treat Elector. sent14: there is something such that if it is convenient then it is a spot-welder and not a Aspidiotus. ; $proof$ = 
sent1 -> int1: if the damson does stoke then it is not cortical and does not treat Elector.; int1 -> hypothesis; __DISPROVED__