that the maraschino does not spangle hold.
sent1: that the pennyroyal is a oscitancy that is gastroduodenal is not correct. sent2: if the fact that the maraschino excels maraschino is not incorrect then it is not a Penn and is not a kind of an artiodactyl. sent3: that something is a kind of a achene but it is not a cocoon does not hold if it is not a viscounty. sent4: if the strider is not a viscounty and/or it is a cocoon then the maraschino spangles. sent5: if the pennyroyal does not spangle and/or is not a kind of a viscounty the maraschino does not spangle. sent6: if the fact that the pennyroyal is a oscitancy and gastroduodenal is false then it is not a kind of a achene. sent7: the maraschino spangles if the strider is a cocoon. sent8: something is not a kind of a achene if the fact that it is a kind of a achene that is not a cocoon is not correct. sent9: the strider either is not a viscounty or is a kind of a cocoon or both if the fact that the pennyroyal is not a kind of a achene is true. sent10: that the pennyroyal is not the achene if that the pennyroyal is not gastroduodenal hold is right. sent11: the strider is not a viscounty if the pennyroyal does spangle and is not a viscounty.
sent6 & sent1 -> int1: the pennyroyal is not a achene.; sent9 & int1 -> int2: the strider is not a viscounty or it does cocoon or both.; sent4 & int2 -> hypothesis;
the fact that the strider is not a kind of a achene hold.
sent8 -> int3: the strider is not a achene if the fact that it is a achene and it is not a cocoon is false.; sent3 -> int4: that the strider is a achene but it is not a kind of a cocoon does not hold if it is not a viscounty.;
$hypothesis$ = that the maraschino does not spangle hold. ; $context$ = sent1: that the pennyroyal is a oscitancy that is gastroduodenal is not correct. sent2: if the fact that the maraschino excels maraschino is not incorrect then it is not a Penn and is not a kind of an artiodactyl. sent3: that something is a kind of a achene but it is not a cocoon does not hold if it is not a viscounty. sent4: if the strider is not a viscounty and/or it is a cocoon then the maraschino spangles. sent5: if the pennyroyal does not spangle and/or is not a kind of a viscounty the maraschino does not spangle. sent6: if the fact that the pennyroyal is a oscitancy and gastroduodenal is false then it is not a kind of a achene. sent7: the maraschino spangles if the strider is a cocoon. sent8: something is not a kind of a achene if the fact that it is a kind of a achene that is not a cocoon is not correct. sent9: the strider either is not a viscounty or is a kind of a cocoon or both if the fact that the pennyroyal is not a kind of a achene is true. sent10: that the pennyroyal is not the achene if that the pennyroyal is not gastroduodenal hold is right. sent11: the strider is not a viscounty if the pennyroyal does spangle and is not a viscounty. ; $proof$ = 
sent6 & sent1 -> int1: the pennyroyal is not a achene.; sent9 & int1 -> int2: the strider is not a viscounty or it does cocoon or both.; sent4 & int2 -> hypothesis; __DISPROVED__