the graniteware is not a kind of a pacifism.
sent1: that the aflatoxin is New but it is not energetic does not hold. sent2: the bronco is hydroxy if there exists something such that it is jihadi. sent3: something is not a kind of a cephalosporin if it is not inclement. sent4: the partitionist is not a freshwater but it is interlinear if it is energetic. sent5: if something is not a kind of a cephalosporin then it is a Leporidae and it is jihadi. sent6: if that the aflatoxin is New but it is not energetic is not right the partitionist is energetic. sent7: the graniteware is hydroxy if it is eccrine. sent8: the hound is eccrine if there is something such that that it is both not eccrine and not a pacifism is incorrect. sent9: the fact that the graniteware is not eccrine and it is not a pacifism is wrong if the bronco is hydroxy. sent10: something is not hydroxy if it is non-Benedictine thing that does not jacket Aegean. sent11: if something is not a freshwater but interlinear then it is not inclement. sent12: the graniteware is eccrine. sent13: the foal does jacket Aegean. sent14: if the graniteware is a kind of a pacifism then it is a kind of non-Benedictine thing that does not jacket Aegean.
void -> assump1: Let's assume that the graniteware is a pacifism.; sent14 & assump1 -> int1: the graniteware is not a kind of a Benedictine and it does not jacket Aegean.; sent10 -> int2: if the graniteware is a kind of non-Benedictine thing that does not jacket Aegean it is not hydroxy.; int1 & int2 -> int3: the graniteware is not hydroxy.; sent7 & sent12 -> int4: the graniteware is hydroxy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the hound is eccrine.
sent5 -> int6: if the partitionist is not a kind of a cephalosporin it is a kind of a Leporidae and it is jihadi.; sent3 -> int7: the partitionist is not a kind of a cephalosporin if it is not inclement.; sent11 -> int8: the partitionist is not inclement if it is not a freshwater and is not non-interlinear.; sent6 & sent1 -> int9: the partitionist is energetic.; sent4 & int9 -> int10: the partitionist is not a kind of a freshwater but it is interlinear.; int8 & int10 -> int11: the partitionist is not inclement.; int7 & int11 -> int12: the partitionist is not a cephalosporin.; int6 & int12 -> int13: the partitionist is both a Leporidae and jihadi.; int13 -> int14: the partitionist is jihadi.; int14 -> int15: there is something such that it is jihadi.; int15 & sent2 -> int16: the fact that the bronco is hydroxy is correct.; sent9 & int16 -> int17: that the graniteware is not eccrine and it is not a pacifism is incorrect.; int17 -> int18: there is something such that that it is not eccrine and it is not a pacifism is not true.; int18 & sent8 -> hypothesis;
$hypothesis$ = the graniteware is not a kind of a pacifism. ; $context$ = sent1: that the aflatoxin is New but it is not energetic does not hold. sent2: the bronco is hydroxy if there exists something such that it is jihadi. sent3: something is not a kind of a cephalosporin if it is not inclement. sent4: the partitionist is not a freshwater but it is interlinear if it is energetic. sent5: if something is not a kind of a cephalosporin then it is a Leporidae and it is jihadi. sent6: if that the aflatoxin is New but it is not energetic is not right the partitionist is energetic. sent7: the graniteware is hydroxy if it is eccrine. sent8: the hound is eccrine if there is something such that that it is both not eccrine and not a pacifism is incorrect. sent9: the fact that the graniteware is not eccrine and it is not a pacifism is wrong if the bronco is hydroxy. sent10: something is not hydroxy if it is non-Benedictine thing that does not jacket Aegean. sent11: if something is not a freshwater but interlinear then it is not inclement. sent12: the graniteware is eccrine. sent13: the foal does jacket Aegean. sent14: if the graniteware is a kind of a pacifism then it is a kind of non-Benedictine thing that does not jacket Aegean. ; $proof$ = 
void -> assump1: Let's assume that the graniteware is a pacifism.; sent14 & assump1 -> int1: the graniteware is not a kind of a Benedictine and it does not jacket Aegean.; sent10 -> int2: if the graniteware is a kind of non-Benedictine thing that does not jacket Aegean it is not hydroxy.; int1 & int2 -> int3: the graniteware is not hydroxy.; sent7 & sent12 -> int4: the graniteware is hydroxy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__