the touraco does not award clocking.
sent1: that the touraco is not a K.E. hold. sent2: the biophysicist is not impassable. sent3: there is something such that it is a fail-safe. sent4: if something that does not factorize biophysicist is not impassable then the stylet is octangular. sent5: that the stylet is octangular is not false if something that does not factorize biophysicist is impassable. sent6: The touraco does not obscure biophysicist. sent7: the stylet is not octangular if something that does circle theatrical awards clocking. sent8: if the biophysicist does not obscure touraco then it does not factorize biophysicist and is not impassable. sent9: the biophysicist does not obscure touraco.
void -> assump1: Let's assume that the touraco awards clocking.; sent8 & sent9 -> int1: the biophysicist does not factorize biophysicist and it is not impassable.; int1 -> int2: there exists something such that it does not factorize biophysicist and it is not impassable.; int2 & sent4 -> int3: the stylet is octangular.;
$hypothesis$ = the touraco does not award clocking. ; $context$ = sent1: that the touraco is not a K.E. hold. sent2: the biophysicist is not impassable. sent3: there is something such that it is a fail-safe. sent4: if something that does not factorize biophysicist is not impassable then the stylet is octangular. sent5: that the stylet is octangular is not false if something that does not factorize biophysicist is impassable. sent6: The touraco does not obscure biophysicist. sent7: the stylet is not octangular if something that does circle theatrical awards clocking. sent8: if the biophysicist does not obscure touraco then it does not factorize biophysicist and is not impassable. sent9: the biophysicist does not obscure touraco. ; $proof$ = 
void -> assump1: Let's assume that the touraco awards clocking.; sent8 & sent9 -> int1: the biophysicist does not factorize biophysicist and it is not impassable.; int1 -> int2: there exists something such that it does not factorize biophysicist and it is not impassable.; int2 & sent4 -> int3: the stylet is octangular.; __UNKNOWN__