the Poivrade does not fear Hitler.
sent1: the Astragalus is not a kind of a Epirus if it is autotelic. sent2: if that something is a kind of a alula but it does not gladden Astragalus does not hold then it is not a alula. sent3: the Astragalus is autotelic. sent4: that something is not cellulosid and does not gladden Picumnus is not true if it is not a kind of a Epirus. sent5: the fact that something does not clap is not wrong if the fact that it clap and it does fear Hitler is false. sent6: the fact that the oosphere does clap and it fears Hitler is wrong if there are argumentative things. sent7: the veal does not clap. sent8: either something is argumentative or it is not a technician or both if it is not a alula. sent9: if the Poivrade does fear Hitler it claps. sent10: something is argumentative if it either is argumentative or is not a technician or both. sent11: the Poivrade is a sparkle. sent12: if that that the Astragalus is a kind of non-cellulosid thing that does not gladden Picumnus does not hold hold the Poivrade is not cellulosid. sent13: that the Poivrade is a alula but it does not gladden Astragalus does not hold if it is not cellulosid.
void -> assump1: Let's assume that that the Poivrade does not fear Hitler is not right.; sent9 & assump1 -> int1: the Poivrade does clap.;
the oosphere does not clap.
sent5 -> int2: if the fact that the oosphere claps and it fears Hitler is incorrect then it does not claps.; sent10 -> int3: if the Poivrade is argumentative and/or is not a technician it is argumentative.; sent8 -> int4: the Poivrade is not unargumentative or it is not a kind of a technician or both if it is not a kind of a alula.; sent2 -> int5: the fact that the Poivrade is not the alula if that the Poivrade is a alula but it does not gladden Astragalus is false is true.; sent4 -> int6: the fact that the Astragalus is a kind of non-cellulosid thing that does not gladden Picumnus is incorrect if it is not a kind of a Epirus.; sent1 & sent3 -> int7: the Astragalus is not a kind of a Epirus.; int6 & int7 -> int8: that the Astragalus is non-cellulosid thing that does not gladden Picumnus does not hold.; sent12 & int8 -> int9: the Poivrade is not cellulosid.; sent13 & int9 -> int10: the fact that the Poivrade is a kind of a alula that does not gladden Astragalus does not hold.; int5 & int10 -> int11: the Poivrade is not a alula.; int4 & int11 -> int12: either the Poivrade is argumentative or it is not a technician or both.; int3 & int12 -> int13: the Poivrade is argumentative.; int13 -> int14: there is something such that it is argumentative.; int14 & sent6 -> int15: that the oosphere claps and does fear Hitler is incorrect.; int2 & int15 -> hypothesis;
$hypothesis$ = the Poivrade does not fear Hitler. ; $context$ = sent1: the Astragalus is not a kind of a Epirus if it is autotelic. sent2: if that something is a kind of a alula but it does not gladden Astragalus does not hold then it is not a alula. sent3: the Astragalus is autotelic. sent4: that something is not cellulosid and does not gladden Picumnus is not true if it is not a kind of a Epirus. sent5: the fact that something does not clap is not wrong if the fact that it clap and it does fear Hitler is false. sent6: the fact that the oosphere does clap and it fears Hitler is wrong if there are argumentative things. sent7: the veal does not clap. sent8: either something is argumentative or it is not a technician or both if it is not a alula. sent9: if the Poivrade does fear Hitler it claps. sent10: something is argumentative if it either is argumentative or is not a technician or both. sent11: the Poivrade is a sparkle. sent12: if that that the Astragalus is a kind of non-cellulosid thing that does not gladden Picumnus does not hold hold the Poivrade is not cellulosid. sent13: that the Poivrade is a alula but it does not gladden Astragalus does not hold if it is not cellulosid. ; $proof$ = 
void -> assump1: Let's assume that that the Poivrade does not fear Hitler is not right.; sent9 & assump1 -> int1: the Poivrade does clap.; __UNKNOWN__