the herbicide is not a myofibril.
sent1: the ergot is algometric if the sterol is a Sardinian. sent2: the ergot is a myofibril. sent3: that the ergot does not dogmatize sceneshifter or is not a has-been or both is not correct. sent4: the ergot does traffic tablet and is a kind of a circumvention. sent5: something is a kind of non-Latvian thing that is bimolecular if it is not a gravestone. sent6: if the ergot is not a kind of a Latvian but it is bimolecular then the sterol is not a myofibril. sent7: if something is not a myofibril it is not algometric. sent8: the ergot is not a gravestone if it is a ceriman and it is not a flap. sent9: the herbicide is not a kind of a Seriphus. sent10: there is nothing such that it is either not a orthoscope or not bimolecular or both. sent11: if the sterol is not a kind of a Seriphus it traffics tablet and it is a myofibril. sent12: something is a orthoscope and/or not non-Sardinian if it is not algometric. sent13: if that something is not a kind of a orthoscope and/or is non-bimolecular is false it is not a kind of a Seriphus. sent14: if the fact that the ergot is algometric hold then the herbicide is a myofibril. sent15: if the ergot is not algometric then it is a myofibril. sent16: the sterol is a kind of a myofibril if the herbicide is bimolecular. sent17: the sterol is bimolecular. sent18: the sterol is a kind of a Seriphus and it does traffic tablet if it is not a Sardinian. sent19: the sterol is a myofibril. sent20: if that either something is not a Seriphus or it is a myofibril or both is incorrect then it is non-bimolecular. sent21: if the ergot is not a kind of a Sardinian then it is algometric and it is a Seriphus.
void -> assump1: Let's assume that the sterol is not Sardinian.; sent18 & assump1 -> int1: the sterol is a kind of a Seriphus that does traffic tablet.; int1 -> int2: that the sterol is a kind of a Seriphus is right.; sent13 -> int3: the fact that the sterol is not a Seriphus is right if that it is not a orthoscope and/or it is not bimolecular does not hold.; sent10 -> int4: the fact that the sterol either is not a orthoscope or is not bimolecular or both is not right.; int3 & int4 -> int5: the sterol is not a Seriphus.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sterol is Sardinian.; int7 & sent1 -> int8: the ergot is algometric.; int8 & sent14 -> hypothesis;
that the sugarberry is a orthoscope hold.
sent12 -> int9: if the sterol is not algometric either it is a kind of a orthoscope or it is a Sardinian or both.; sent7 -> int10: if the fact that the sterol is not a kind of a myofibril is correct it is not algometric.; sent5 -> int11: the ergot is not Latvian but bimolecular if it is not a gravestone.;
$hypothesis$ = the herbicide is not a myofibril. ; $context$ = sent1: the ergot is algometric if the sterol is a Sardinian. sent2: the ergot is a myofibril. sent3: that the ergot does not dogmatize sceneshifter or is not a has-been or both is not correct. sent4: the ergot does traffic tablet and is a kind of a circumvention. sent5: something is a kind of non-Latvian thing that is bimolecular if it is not a gravestone. sent6: if the ergot is not a kind of a Latvian but it is bimolecular then the sterol is not a myofibril. sent7: if something is not a myofibril it is not algometric. sent8: the ergot is not a gravestone if it is a ceriman and it is not a flap. sent9: the herbicide is not a kind of a Seriphus. sent10: there is nothing such that it is either not a orthoscope or not bimolecular or both. sent11: if the sterol is not a kind of a Seriphus it traffics tablet and it is a myofibril. sent12: something is a orthoscope and/or not non-Sardinian if it is not algometric. sent13: if that something is not a kind of a orthoscope and/or is non-bimolecular is false it is not a kind of a Seriphus. sent14: if the fact that the ergot is algometric hold then the herbicide is a myofibril. sent15: if the ergot is not algometric then it is a myofibril. sent16: the sterol is a kind of a myofibril if the herbicide is bimolecular. sent17: the sterol is bimolecular. sent18: the sterol is a kind of a Seriphus and it does traffic tablet if it is not a Sardinian. sent19: the sterol is a myofibril. sent20: if that either something is not a Seriphus or it is a myofibril or both is incorrect then it is non-bimolecular. sent21: if the ergot is not a kind of a Sardinian then it is algometric and it is a Seriphus. ; $proof$ = 
void -> assump1: Let's assume that the sterol is not Sardinian.; sent18 & assump1 -> int1: the sterol is a kind of a Seriphus that does traffic tablet.; int1 -> int2: that the sterol is a kind of a Seriphus is right.; sent13 -> int3: the fact that the sterol is not a Seriphus is right if that it is not a orthoscope and/or it is not bimolecular does not hold.; sent10 -> int4: the fact that the sterol either is not a orthoscope or is not bimolecular or both is not right.; int3 & int4 -> int5: the sterol is not a Seriphus.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sterol is Sardinian.; int7 & sent1 -> int8: the ergot is algometric.; int8 & sent14 -> hypothesis; __DISPROVED__