the histiocyte does blow.
sent1: if something is not a kind of a Zealot then the fact that it is not a kind of a bourbon and is developmental is false. sent2: the histiocyte is calisthenics. sent3: if the histiocyte is not civil but a Zealot then the scallopine ejaculates fatness. sent4: the fact that the anisogamete is not a hipflask but it is ordinary is incorrect. sent5: the histiocyte is a mollie. sent6: something is a blow if that it is a Zealot is not wrong. sent7: if the histiocyte is not calisthenics then it is a kind of a Zealot. sent8: if something is civil then it ejaculates fatness. sent9: the fact that the nook is not satyric and not a mollie does not hold if it is a hipflask. sent10: if the histiocyte does not ejaculate fatness and is calisthenics then the scallopine is civil. sent11: if the fact that the histiocyte does not ejaculate fatness but it is calisthenics does not hold then it is a Zealot. sent12: the scallopine is not civil. sent13: that the scallopine is a Zealot and it is a blow is not right if there are civil things. sent14: if the fact that something is a Zealot but not civil is false then it is not a kind of a Zealot. sent15: the nook is a hipflask if there exists something such that the fact that it is not a kind of a hipflask and it is an ordinary is false.
void -> assump1: Let's assume that the histiocyte does not ejaculate fatness and is calisthenics.; sent10 & assump1 -> int1: the scallopine is civil.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the histiocyte does not ejaculate fatness and is calisthenics does not hold.; int3 & sent11 -> int4: the histiocyte is a Zealot.; sent6 -> int5: if the histiocyte is a Zealot that it blows hold.; int4 & int5 -> hypothesis;
the histiocyte is not a blow.
sent4 -> int6: there is something such that the fact that it is not a hipflask and it is ordinary is not right.; int6 & sent15 -> int7: the nook is a hipflask.; sent9 & int7 -> int8: that the nook is not satyric and is not a mollie does not hold.;
$hypothesis$ = the histiocyte does blow. ; $context$ = sent1: if something is not a kind of a Zealot then the fact that it is not a kind of a bourbon and is developmental is false. sent2: the histiocyte is calisthenics. sent3: if the histiocyte is not civil but a Zealot then the scallopine ejaculates fatness. sent4: the fact that the anisogamete is not a hipflask but it is ordinary is incorrect. sent5: the histiocyte is a mollie. sent6: something is a blow if that it is a Zealot is not wrong. sent7: if the histiocyte is not calisthenics then it is a kind of a Zealot. sent8: if something is civil then it ejaculates fatness. sent9: the fact that the nook is not satyric and not a mollie does not hold if it is a hipflask. sent10: if the histiocyte does not ejaculate fatness and is calisthenics then the scallopine is civil. sent11: if the fact that the histiocyte does not ejaculate fatness but it is calisthenics does not hold then it is a Zealot. sent12: the scallopine is not civil. sent13: that the scallopine is a Zealot and it is a blow is not right if there are civil things. sent14: if the fact that something is a Zealot but not civil is false then it is not a kind of a Zealot. sent15: the nook is a hipflask if there exists something such that the fact that it is not a kind of a hipflask and it is an ordinary is false. ; $proof$ = 
void -> assump1: Let's assume that the histiocyte does not ejaculate fatness and is calisthenics.; sent10 & assump1 -> int1: the scallopine is civil.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the histiocyte does not ejaculate fatness and is calisthenics does not hold.; int3 & sent11 -> int4: the histiocyte is a Zealot.; sent6 -> int5: if the histiocyte is a Zealot that it blows hold.; int4 & int5 -> hypothesis; __PROVED__