the dithering is not toxic.
sent1: the dithering is an airhead if the orange is an airhead. sent2: something is a gaur. sent3: if something is not a kind of a gaur then the boot is not categorial and does not flock sovereign. sent4: the collier is an airhead. sent5: the isothiocyanate does not carjack pulse if it is an airhead and is toxic. sent6: that the dithering carjacks pulse is true if the boot is categorial but it does not flock sovereign. sent7: the reset is not a nonabsorbency and is non-categorial. sent8: the isothiocyanate is not categorial and it is not a muffled. sent9: the isothiocyanate is not categorial. sent10: if the fact that something is a taillight and it is a final does not hold it is not a final. sent11: that the orange is a taillight and it is a kind of a final does not hold if it is not a bunk. sent12: if something is not a gaur the boot is not categorial. sent13: the orange is etiological. sent14: the orange does not flock icebreaker. sent15: if the orange does flock sovereign that the boot is not categorial but it is a gaur is false. sent16: if the dithering is toxic then the boot is toxic. sent17: the boot is categorial if the orange is categorial. sent18: the boot is not categorial. sent19: the Franklin is not toxic. sent20: the isothiocyanate is an airhead. sent21: if the isothiocyanate is a kind of an airhead then the fact that the orange is a kind of an airhead is true. sent22: if the boot is a kind of non-categorial thing that does not flock sovereign then the dithering does carjack pulse. sent23: if something does not carjack pulse and it is not a kind of an airhead it does flock sovereign. sent24: something does not carjack pulse and is not an airhead if it is not a final. sent25: if the dithering is toxic and does carjack pulse then it is not an airhead. sent26: there is something such that it is not a kind of a gaur.
sent26 & sent3 -> int1: the boot is not categorial and does not flock sovereign.; int1 & sent22 -> int2: the dithering carjacks pulse.; void -> assump1: Let's assume that the dithering is toxic.; int2 & assump1 -> int3: the dithering is toxic and carjacks pulse.; int3 & sent25 -> int4: that the dithering is an airhead is not correct.; sent21 & sent20 -> int5: the orange is an airhead.; sent1 & int5 -> int6: the dithering is a kind of an airhead.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the dithering is toxic.
sent23 -> int8: the orange does flock sovereign if it does not carjack pulse and is not an airhead.; sent24 -> int9: if the orange is not a kind of a final it does not carjack pulse and is not a kind of an airhead.; sent10 -> int10: the orange is not a final if that that it is both a taillight and a final is not incorrect is false.;
$hypothesis$ = the dithering is not toxic. ; $context$ = sent1: the dithering is an airhead if the orange is an airhead. sent2: something is a gaur. sent3: if something is not a kind of a gaur then the boot is not categorial and does not flock sovereign. sent4: the collier is an airhead. sent5: the isothiocyanate does not carjack pulse if it is an airhead and is toxic. sent6: that the dithering carjacks pulse is true if the boot is categorial but it does not flock sovereign. sent7: the reset is not a nonabsorbency and is non-categorial. sent8: the isothiocyanate is not categorial and it is not a muffled. sent9: the isothiocyanate is not categorial. sent10: if the fact that something is a taillight and it is a final does not hold it is not a final. sent11: that the orange is a taillight and it is a kind of a final does not hold if it is not a bunk. sent12: if something is not a gaur the boot is not categorial. sent13: the orange is etiological. sent14: the orange does not flock icebreaker. sent15: if the orange does flock sovereign that the boot is not categorial but it is a gaur is false. sent16: if the dithering is toxic then the boot is toxic. sent17: the boot is categorial if the orange is categorial. sent18: the boot is not categorial. sent19: the Franklin is not toxic. sent20: the isothiocyanate is an airhead. sent21: if the isothiocyanate is a kind of an airhead then the fact that the orange is a kind of an airhead is true. sent22: if the boot is a kind of non-categorial thing that does not flock sovereign then the dithering does carjack pulse. sent23: if something does not carjack pulse and it is not a kind of an airhead it does flock sovereign. sent24: something does not carjack pulse and is not an airhead if it is not a final. sent25: if the dithering is toxic and does carjack pulse then it is not an airhead. sent26: there is something such that it is not a kind of a gaur. ; $proof$ = 
sent26 & sent3 -> int1: the boot is not categorial and does not flock sovereign.; int1 & sent22 -> int2: the dithering carjacks pulse.; void -> assump1: Let's assume that the dithering is toxic.; int2 & assump1 -> int3: the dithering is toxic and carjacks pulse.; int3 & sent25 -> int4: that the dithering is an airhead is not correct.; sent21 & sent20 -> int5: the orange is an airhead.; sent1 & int5 -> int6: the dithering is a kind of an airhead.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__