the formulation is not a Shakespearian.
sent1: if the material is not a pteridosperm the readout palpebrates and it is anisometropic. sent2: if there exists something such that it is not hypothalamic then the ten-spot is not a pteridosperm. sent3: the readout does not reverberate if there exists something such that that it is not vegetal and it is hypothalamic does not hold. sent4: the material is not a Shakespearian. sent5: there is something such that it is not tympanitic and cords. sent6: if that something does not detonate and is not a axil does not hold it is not a Shakespearian. sent7: something does reverberate if it does palpebrate. sent8: if something is a kind of a pteridosperm then it is not anisometropic. sent9: the fact that the ten-spot does not reverberate is true if it is hypothalamic. sent10: if the bodice is not a kind of a gentile the fact that the formulation does not detonate and it is not a axil is incorrect. sent11: that something is gentile a pteridosperm is false if it is not vegetal. sent12: if something is behavioristic it is a kind of a caroler. sent13: if there exists something such that that it is not a axil and it is a gentile is false then the formulation is not anisometropic. sent14: the material is not a pteridosperm. sent15: that the ten-spot is not vegetal and is hypothalamic is wrong if something is a gentile. sent16: that the formulation does not reverberate and is a axil is incorrect. sent17: the fact that the formulation is not palpebrate but it is a Shakespearian is wrong.
void -> assump1: Let's assume that the bodice is a gentile.; assump1 -> int1: something is a kind of a gentile.; int1 & sent15 -> int2: that the ten-spot is not vegetal but it is hypothalamic is false.; int2 -> int3: there is something such that that it is not vegetal and it is hypothalamic is not true.; int3 & sent3 -> int4: the readout does not reverberate.; sent7 -> int5: the readout does reverberate if it is palpebrate.; sent1 & sent14 -> int6: the readout does palpebrate and is anisometropic.; int6 -> int7: the fact that the readout is palpebrate is correct.; int5 & int7 -> int8: the readout does reverberate.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the bodice is non-gentile.; int10 & sent10 -> int11: that the formulation does not detonate and it is not a axil is incorrect.; sent6 -> int12: the formulation is not Shakespearian if that it does not detonate and it is not a kind of a axil is false.; int11 & int12 -> hypothesis;
the bodice is not a pteridosperm.
sent11 -> int13: if the fact that the ten-spot is not vegetal is not wrong the fact that it is a gentile and it is a kind of a pteridosperm does not hold.;
$hypothesis$ = the formulation is not a Shakespearian. ; $context$ = sent1: if the material is not a pteridosperm the readout palpebrates and it is anisometropic. sent2: if there exists something such that it is not hypothalamic then the ten-spot is not a pteridosperm. sent3: the readout does not reverberate if there exists something such that that it is not vegetal and it is hypothalamic does not hold. sent4: the material is not a Shakespearian. sent5: there is something such that it is not tympanitic and cords. sent6: if that something does not detonate and is not a axil does not hold it is not a Shakespearian. sent7: something does reverberate if it does palpebrate. sent8: if something is a kind of a pteridosperm then it is not anisometropic. sent9: the fact that the ten-spot does not reverberate is true if it is hypothalamic. sent10: if the bodice is not a kind of a gentile the fact that the formulation does not detonate and it is not a axil is incorrect. sent11: that something is gentile a pteridosperm is false if it is not vegetal. sent12: if something is behavioristic it is a kind of a caroler. sent13: if there exists something such that that it is not a axil and it is a gentile is false then the formulation is not anisometropic. sent14: the material is not a pteridosperm. sent15: that the ten-spot is not vegetal and is hypothalamic is wrong if something is a gentile. sent16: that the formulation does not reverberate and is a axil is incorrect. sent17: the fact that the formulation is not palpebrate but it is a Shakespearian is wrong. ; $proof$ = 
void -> assump1: Let's assume that the bodice is a gentile.; assump1 -> int1: something is a kind of a gentile.; int1 & sent15 -> int2: that the ten-spot is not vegetal but it is hypothalamic is false.; int2 -> int3: there is something such that that it is not vegetal and it is hypothalamic is not true.; int3 & sent3 -> int4: the readout does not reverberate.; sent7 -> int5: the readout does reverberate if it is palpebrate.; sent1 & sent14 -> int6: the readout does palpebrate and is anisometropic.; int6 -> int7: the fact that the readout is palpebrate is correct.; int5 & int7 -> int8: the readout does reverberate.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the bodice is non-gentile.; int10 & sent10 -> int11: that the formulation does not detonate and it is not a axil is incorrect.; sent6 -> int12: the formulation is not Shakespearian if that it does not detonate and it is not a kind of a axil is false.; int11 & int12 -> hypothesis; __PROVED__