the sulfisoxazole is not a kind of a toolmaker.
sent1: if there is something such that the fact that it is a Cotingidae and does not emblazon runch is wrong then the typewriter emblazon runch. sent2: if that there exists something such that it emblazons runch is not wrong the breechcloth does emblazons runch and/or is a kind of a selsyn. sent3: if the vomer is a phrenologist the fact that it is a Cotingidae and it does not emblazon runch is incorrect. sent4: if something is a kind of a NPA it is a kind of a phrenologist. sent5: the Shawnee is not a Pinsk. sent6: the typewriter is not a phrenologist if the vomer is not a NPA and it is not a Cotingidae. sent7: if something that emblazons runch is a kind of a toolmaker the breechcloth is a kind of a selsyn. sent8: the fact that the vomer is not a NPA and not a Cotingidae is correct if the Shawnee is not a Pinsk. sent9: the sulfisoxazole emblazons runch if something emblazons nigger and/or is not metastable. sent10: the typewriter is a phrenologist if the breechcloth is a selsyn. sent11: the groundwork is a Pinsk if something is a kind of a phrenologist and/or does not emblazon nigger. sent12: the groundwork does emblazon nigger or it is not metastable or both. sent13: the vomer is a kind of a NPA that is not a Pinsk if it is inconspicuous. sent14: the Shawnee is not a Pinsk and is not a toolmaker if the sulfisoxazole is not a kind of a Cotingidae. sent15: if the sulfisoxazole does not emblazon runch and is not a Cotingidae then the vomer is not a kind of a toolmaker. sent16: something is a phrenologist and/or it is a kind of a Pinsk.
sent12 -> int1: something emblazons nigger and/or is not metastable.; int1 & sent9 -> int2: the sulfisoxazole emblazons runch.; void -> assump1: Let's assume that the sulfisoxazole is a toolmaker.; int2 & assump1 -> int3: the sulfisoxazole emblazons runch and is a toolmaker.; int3 -> int4: there exists something such that it does emblazon runch and is a kind of a toolmaker.; int4 & sent7 -> int5: the breechcloth is a kind of a selsyn.; int5 & sent10 -> int6: the typewriter is a phrenologist.; sent8 & sent5 -> int7: the fact that the vomer is not a NPA and not a Cotingidae is not wrong.; sent6 & int7 -> int8: the typewriter is not a phrenologist.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the sulfisoxazole is a toolmaker.
sent4 -> int10: the vomer is a phrenologist if the fact that it is a NPA is true.;
$hypothesis$ = the sulfisoxazole is not a kind of a toolmaker. ; $context$ = sent1: if there is something such that the fact that it is a Cotingidae and does not emblazon runch is wrong then the typewriter emblazon runch. sent2: if that there exists something such that it emblazons runch is not wrong the breechcloth does emblazons runch and/or is a kind of a selsyn. sent3: if the vomer is a phrenologist the fact that it is a Cotingidae and it does not emblazon runch is incorrect. sent4: if something is a kind of a NPA it is a kind of a phrenologist. sent5: the Shawnee is not a Pinsk. sent6: the typewriter is not a phrenologist if the vomer is not a NPA and it is not a Cotingidae. sent7: if something that emblazons runch is a kind of a toolmaker the breechcloth is a kind of a selsyn. sent8: the fact that the vomer is not a NPA and not a Cotingidae is correct if the Shawnee is not a Pinsk. sent9: the sulfisoxazole emblazons runch if something emblazons nigger and/or is not metastable. sent10: the typewriter is a phrenologist if the breechcloth is a selsyn. sent11: the groundwork is a Pinsk if something is a kind of a phrenologist and/or does not emblazon nigger. sent12: the groundwork does emblazon nigger or it is not metastable or both. sent13: the vomer is a kind of a NPA that is not a Pinsk if it is inconspicuous. sent14: the Shawnee is not a Pinsk and is not a toolmaker if the sulfisoxazole is not a kind of a Cotingidae. sent15: if the sulfisoxazole does not emblazon runch and is not a Cotingidae then the vomer is not a kind of a toolmaker. sent16: something is a phrenologist and/or it is a kind of a Pinsk. ; $proof$ = 
sent12 -> int1: something emblazons nigger and/or is not metastable.; int1 & sent9 -> int2: the sulfisoxazole emblazons runch.; void -> assump1: Let's assume that the sulfisoxazole is a toolmaker.; int2 & assump1 -> int3: the sulfisoxazole emblazons runch and is a toolmaker.; int3 -> int4: there exists something such that it does emblazon runch and is a kind of a toolmaker.; int4 & sent7 -> int5: the breechcloth is a kind of a selsyn.; int5 & sent10 -> int6: the typewriter is a phrenologist.; sent8 & sent5 -> int7: the fact that the vomer is not a NPA and not a Cotingidae is not wrong.; sent6 & int7 -> int8: the typewriter is not a phrenologist.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__