the electrician is not a one-billionth.
sent1: the Devon is a kind of a Plantagenet. sent2: that the electrician is not a one-billionth if that the stylet is not a Plantagenet is not false is not false. sent3: the electrician does not dilapidate Bismarck if the baste is not a ECM. sent4: if the fact that the pickle is a ECM and does dilapidate Bismarck does not hold the baste is not a one-billionth. sent5: if the fact that the Devon is a veil and it is a directorship does not hold then the pickle is not a ECM. sent6: the baste is a kind of a ECM and veils if that there is something such that it is a Plantagenet is not false. sent7: if the stylet is not a one-billionth then that the electrician is not a Plantagenet is not false. sent8: the baste is not a directorship but it does dilapidate Bismarck. sent9: there exists something such that it is a ECM. sent10: the pickle narrates strider and is a zirconium. sent11: the Devon is not a zirconium if the pickle narrates strider and is a zirconium. sent12: if that the Devon is not a zirconium hold it narrates banksia. sent13: something is a one-billionth and it is a kind of a directorship if it does not dilapidate Bismarck. sent14: the pickle is not a ECM if the Devon is not a directorship. sent15: the baste dilapidates Bismarck. sent16: something is both a veil and not a Plantagenet if it does narrate Bittacidae. sent17: something is not a ECM if it is both a veil and not a Plantagenet. sent18: the baste narrates banksia and/or it does not narrate error if there exists something such that it does narrates banksia. sent19: if the baste is not a directorship then the fact that the Devon is a veil and it is a kind of a directorship is not right. sent20: the stylet is not a kind of a Plantagenet if that there is something such that it is not a ECM is true.
sent8 -> int1: the baste is not a directorship.; sent19 & int1 -> int2: the fact that the Devon veils and is a directorship is not true.; sent5 & int2 -> int3: the pickle is not a kind of a ECM.; int3 -> int4: there is something such that it is not a ECM.; int4 & sent20 -> int5: the stylet is not a Plantagenet.; sent2 & int5 -> hypothesis;
the electrician is a kind of a one-billionth.
sent13 -> int6: if the electrician does not dilapidate Bismarck it is a one-billionth and it is a directorship.; sent17 -> int7: if the fact that the baste is a veil that is not a Plantagenet is not incorrect then the fact that it is not a kind of a ECM is not incorrect.; sent16 -> int8: if the baste does narrate Bittacidae then it is a veil that is not a kind of a Plantagenet.; sent11 & sent10 -> int9: the Devon is not a zirconium.; sent12 & int9 -> int10: the Devon narrates banksia.; int10 -> int11: something does narrate banksia.; int11 & sent18 -> int12: the baste does narrate banksia or it does not narrate error or both.;
$hypothesis$ = the electrician is not a one-billionth. ; $context$ = sent1: the Devon is a kind of a Plantagenet. sent2: that the electrician is not a one-billionth if that the stylet is not a Plantagenet is not false is not false. sent3: the electrician does not dilapidate Bismarck if the baste is not a ECM. sent4: if the fact that the pickle is a ECM and does dilapidate Bismarck does not hold the baste is not a one-billionth. sent5: if the fact that the Devon is a veil and it is a directorship does not hold then the pickle is not a ECM. sent6: the baste is a kind of a ECM and veils if that there is something such that it is a Plantagenet is not false. sent7: if the stylet is not a one-billionth then that the electrician is not a Plantagenet is not false. sent8: the baste is not a directorship but it does dilapidate Bismarck. sent9: there exists something such that it is a ECM. sent10: the pickle narrates strider and is a zirconium. sent11: the Devon is not a zirconium if the pickle narrates strider and is a zirconium. sent12: if that the Devon is not a zirconium hold it narrates banksia. sent13: something is a one-billionth and it is a kind of a directorship if it does not dilapidate Bismarck. sent14: the pickle is not a ECM if the Devon is not a directorship. sent15: the baste dilapidates Bismarck. sent16: something is both a veil and not a Plantagenet if it does narrate Bittacidae. sent17: something is not a ECM if it is both a veil and not a Plantagenet. sent18: the baste narrates banksia and/or it does not narrate error if there exists something such that it does narrates banksia. sent19: if the baste is not a directorship then the fact that the Devon is a veil and it is a kind of a directorship is not right. sent20: the stylet is not a kind of a Plantagenet if that there is something such that it is not a ECM is true. ; $proof$ = 
sent8 -> int1: the baste is not a directorship.; sent19 & int1 -> int2: the fact that the Devon veils and is a directorship is not true.; sent5 & int2 -> int3: the pickle is not a kind of a ECM.; int3 -> int4: there is something such that it is not a ECM.; int4 & sent20 -> int5: the stylet is not a Plantagenet.; sent2 & int5 -> hypothesis; __PROVED__