the favus is not nonspherical.
sent1: the favus is not nonspherical if something that is not a kind of a bicycle-built-for-two does not extinguish katharometer. sent2: something is a pirouette but it is not incommodious. sent3: something is a kind of nonspherical thing that does not extinguish katharometer. sent4: something does not extinguish Loafer and it is not nonspherical. sent5: The Loafer extinguishes Loafer. sent6: if there is something such that it is nonspherical the favus is not a bicycle-built-for-two. sent7: something is a bicycle-built-for-two and it does extinguish katharometer if it does not fluster. sent8: the Loafer is nonspherical. sent9: that the carpal is not a kind of a bicycle-built-for-two and it does not extinguish katharometer is not false if there exists something such that it extinguishes Loafer. sent10: the carpal does not extinguish katharometer and it does not extinguish Loafer. sent11: the carpal does not extinguish Loafer if something that is not a bicycle-built-for-two is nonspherical. sent12: something is a year. sent13: there is something such that the fact that it does numb is true.
the favus is nonspherical.
sent7 -> int1: if the hindquarter does not fluster it is a bicycle-built-for-two and it extinguishes katharometer.;
$hypothesis$ = the favus is not nonspherical. ; $context$ = sent1: the favus is not nonspherical if something that is not a kind of a bicycle-built-for-two does not extinguish katharometer. sent2: something is a pirouette but it is not incommodious. sent3: something is a kind of nonspherical thing that does not extinguish katharometer. sent4: something does not extinguish Loafer and it is not nonspherical. sent5: The Loafer extinguishes Loafer. sent6: if there is something such that it is nonspherical the favus is not a bicycle-built-for-two. sent7: something is a bicycle-built-for-two and it does extinguish katharometer if it does not fluster. sent8: the Loafer is nonspherical. sent9: that the carpal is not a kind of a bicycle-built-for-two and it does not extinguish katharometer is not false if there exists something such that it extinguishes Loafer. sent10: the carpal does not extinguish katharometer and it does not extinguish Loafer. sent11: the carpal does not extinguish Loafer if something that is not a bicycle-built-for-two is nonspherical. sent12: something is a year. sent13: there is something such that the fact that it does numb is true. ; $proof$ = 
__UNKNOWN__