the fundus does not convene.
sent1: the fundus convenes and it is a kind of a microtubule if the wintergreen is not a microtubule. sent2: the wintergreen does convene if the fundus does not convene. sent3: the fundus does convene if the wintergreen does not convene. sent4: something is an animist and/or it is not a kind of a bellyband. sent5: the fact that the Moselle does not convene hold. sent6: the wintergreen is not a calyptra. sent7: there is something such that it is a microtubule and/or it does not convene. sent8: something is Jacobinic and/or it crops why. sent9: there exists something such that the fact that it convenes or is not a microtubule or both hold. sent10: there exists something such that it is a kind of a microtubule or it does convene or both. sent11: there is something such that it convenes and/or is a microtubule. sent12: that the wintergreen does convene and is a microtubule if the fundus is not a microtubule is not wrong. sent13: something does not convene and it is not a microtubule if that it does not strangulate henbane hold. sent14: if the wintergreen does not convene then the fundus is a microtubule and it does convene. sent15: something is a kind of a haunting and/or it is not a Lygodium. sent16: the AMP does convene if the fact that the fundus does not convene is correct. sent17: something is dynastic and/or it is not a baldness. sent18: the wintergreen is not a microtubule if there is something such that it is not non-dynastic or it is not a baldness or both.
sent17 & sent18 -> int1: that the wintergreen is not a microtubule hold.; sent1 & int1 -> int2: the fundus convenes and is a kind of a microtubule.; int2 -> hypothesis;
the fundus does not convene.
sent13 -> int3: the fundus does not convene and it is not a kind of a microtubule if it does not strangulate henbane.;
$hypothesis$ = the fundus does not convene. ; $context$ = sent1: the fundus convenes and it is a kind of a microtubule if the wintergreen is not a microtubule. sent2: the wintergreen does convene if the fundus does not convene. sent3: the fundus does convene if the wintergreen does not convene. sent4: something is an animist and/or it is not a kind of a bellyband. sent5: the fact that the Moselle does not convene hold. sent6: the wintergreen is not a calyptra. sent7: there is something such that it is a microtubule and/or it does not convene. sent8: something is Jacobinic and/or it crops why. sent9: there exists something such that the fact that it convenes or is not a microtubule or both hold. sent10: there exists something such that it is a kind of a microtubule or it does convene or both. sent11: there is something such that it convenes and/or is a microtubule. sent12: that the wintergreen does convene and is a microtubule if the fundus is not a microtubule is not wrong. sent13: something does not convene and it is not a microtubule if that it does not strangulate henbane hold. sent14: if the wintergreen does not convene then the fundus is a microtubule and it does convene. sent15: something is a kind of a haunting and/or it is not a Lygodium. sent16: the AMP does convene if the fact that the fundus does not convene is correct. sent17: something is dynastic and/or it is not a baldness. sent18: the wintergreen is not a microtubule if there is something such that it is not non-dynastic or it is not a baldness or both. ; $proof$ = 
sent17 & sent18 -> int1: that the wintergreen is not a microtubule hold.; sent1 & int1 -> int2: the fundus convenes and is a kind of a microtubule.; int2 -> hypothesis; __DISPROVED__