the crook is non-isentropic thing that is sectarian.
sent1: the strut is umbelliferous if the fact that either it is not Hasidic or it does not trip satori or both is incorrect. sent2: the fact that if the fact that the Gabonese indurates or it does not hear piaster or both is wrong then the strut Frenchifies crook is not incorrect. sent3: the strut does trip satori if the xerox is quartzose. sent4: if the xerox is quartzose the fact that the strut is not Hasidic or it does not trip satori or both does not hold. sent5: that the Gabonese indurates or does not hear piaster or both is false. sent6: something is non-isentropic a sectarian if it is not quartzose. sent7: the Gabonese does not indurate. sent8: the xerox is quartzose. sent9: the crook is allotropic if a umbelliferous thing does Frenchify crook. sent10: if the crook is allotropic then the fact that it is both not isentropic and not nonsectarian does not hold. sent11: the strut is umbelliferous if the fact that it is not Hasidic and/or does trip satori is wrong. sent12: the strut is allotropic.
sent4 & sent8 -> int1: that the strut either is not Hasidic or does not trip satori or both is false.; int1 & sent1 -> int2: the strut is umbelliferous.; sent2 & sent5 -> int3: the strut does Frenchify crook.; int2 & int3 -> int4: the strut is umbelliferous and it does Frenchify crook.; int4 -> int5: there is something such that it is umbelliferous thing that does Frenchify crook.; int5 & sent9 -> int6: the crook is allotropic.; int6 & sent10 -> hypothesis;
the crook is not isentropic and is a kind of a sectarian.
sent6 -> int7: the crook is not isentropic and is a sectarian if it is not quartzose.;
$hypothesis$ = the crook is non-isentropic thing that is sectarian. ; $context$ = sent1: the strut is umbelliferous if the fact that either it is not Hasidic or it does not trip satori or both is incorrect. sent2: the fact that if the fact that the Gabonese indurates or it does not hear piaster or both is wrong then the strut Frenchifies crook is not incorrect. sent3: the strut does trip satori if the xerox is quartzose. sent4: if the xerox is quartzose the fact that the strut is not Hasidic or it does not trip satori or both does not hold. sent5: that the Gabonese indurates or does not hear piaster or both is false. sent6: something is non-isentropic a sectarian if it is not quartzose. sent7: the Gabonese does not indurate. sent8: the xerox is quartzose. sent9: the crook is allotropic if a umbelliferous thing does Frenchify crook. sent10: if the crook is allotropic then the fact that it is both not isentropic and not nonsectarian does not hold. sent11: the strut is umbelliferous if the fact that it is not Hasidic and/or does trip satori is wrong. sent12: the strut is allotropic. ; $proof$ = 
sent4 & sent8 -> int1: that the strut either is not Hasidic or does not trip satori or both is false.; int1 & sent1 -> int2: the strut is umbelliferous.; sent2 & sent5 -> int3: the strut does Frenchify crook.; int2 & int3 -> int4: the strut is umbelliferous and it does Frenchify crook.; int4 -> int5: there is something such that it is umbelliferous thing that does Frenchify crook.; int5 & sent9 -> int6: the crook is allotropic.; int6 & sent10 -> hypothesis; __DISPROVED__