the craftsman is side-to-side.
sent1: the craftsman is axonal and it is side-to-side if the farina is not axonal. sent2: there exists something such that that it is not a Fahrenheit is not wrong. sent3: if something is not a Tomistoma and it is not a Fahrenheit then the farina is not axonal. sent4: if there is something such that it is not a kind of a Tomistoma and is a kind of a Fahrenheit then the farina is not axonal. sent5: the craftsman is axonal. sent6: if the farina is not axonal the craftsman is axonal. sent7: if the cystine is a Fahrenheit then the hodoscope is not a Fahrenheit. sent8: if the fact that the cystine is a Fahrenheit is not false the hodoscope is not a Tomistoma and it is not a kind of a Fahrenheit. sent9: the shoddy is not geocentric.
$hypothesis$ = the craftsman is side-to-side. ; $context$ = sent1: the craftsman is axonal and it is side-to-side if the farina is not axonal. sent2: there exists something such that that it is not a Fahrenheit is not wrong. sent3: if something is not a Tomistoma and it is not a Fahrenheit then the farina is not axonal. sent4: if there is something such that it is not a kind of a Tomistoma and is a kind of a Fahrenheit then the farina is not axonal. sent5: the craftsman is axonal. sent6: if the farina is not axonal the craftsman is axonal. sent7: if the cystine is a Fahrenheit then the hodoscope is not a Fahrenheit. sent8: if the fact that the cystine is a Fahrenheit is not false the hodoscope is not a Tomistoma and it is not a kind of a Fahrenheit. sent9: the shoddy is not geocentric. ; $proof$ = 
__UNKNOWN__