the winder is starry and it is not non-appellative.
sent1: the winder does not reline cardiospasm. sent2: the Bond tampers and does shatter botulism. sent3: the basileus is not finite. sent4: the winder is a kind of a slick that does not shatter Buchenwald. sent5: the basileus relines cardiospasm but it is not a name if it is not finite. sent6: if something is not a Symphalangus then the winder is appellative. sent7: that the basileus does crystallize Sundanese hold if it relines cardiospasm and it is not a name. sent8: the winder is starry but it is not a procedure if there exists something such that it crystallizes Sundanese. sent9: if the Bond does tamper and it does shatter botulism then it is not a Symphalangus. sent10: the basileus tampers if the winder does not tampers.
sent5 & sent3 -> int1: the basileus does reline cardiospasm but it is not a name.; int1 & sent7 -> int2: the fact that the basileus crystallizes Sundanese is true.; int2 -> int3: there exists something such that it crystallizes Sundanese.; int3 & sent8 -> int4: the winder is starry and is not a procedure.; int4 -> int5: the winder is starry.; sent9 & sent2 -> int6: the fact that the Bond is a Symphalangus is false.; int6 -> int7: there exists something such that it is not a Symphalangus.; int7 & sent6 -> int8: the winder is appellative.; int5 & int8 -> hypothesis;
the basileus does tamper.
$hypothesis$ = the winder is starry and it is not non-appellative. ; $context$ = sent1: the winder does not reline cardiospasm. sent2: the Bond tampers and does shatter botulism. sent3: the basileus is not finite. sent4: the winder is a kind of a slick that does not shatter Buchenwald. sent5: the basileus relines cardiospasm but it is not a name if it is not finite. sent6: if something is not a Symphalangus then the winder is appellative. sent7: that the basileus does crystallize Sundanese hold if it relines cardiospasm and it is not a name. sent8: the winder is starry but it is not a procedure if there exists something such that it crystallizes Sundanese. sent9: if the Bond does tamper and it does shatter botulism then it is not a Symphalangus. sent10: the basileus tampers if the winder does not tampers. ; $proof$ = 
sent5 & sent3 -> int1: the basileus does reline cardiospasm but it is not a name.; int1 & sent7 -> int2: the fact that the basileus crystallizes Sundanese is true.; int2 -> int3: there exists something such that it crystallizes Sundanese.; int3 & sent8 -> int4: the winder is starry and is not a procedure.; int4 -> int5: the winder is starry.; sent9 & sent2 -> int6: the fact that the Bond is a Symphalangus is false.; int6 -> int7: there exists something such that it is not a Symphalangus.; int7 & sent6 -> int8: the winder is appellative.; int5 & int8 -> hypothesis; __PROVED__