that the optometrist either does not add Callistephus or does not add optometrist or both if the foretop does not add Drepanididae does not hold.
sent1: the molecule does not add Drepanididae. sent2: that the optometrist does not add Drepanididae and/or it does not add Callistephus does not hold. sent3: the foretop does not add Drepanididae and/or it does not add Callistephus if the optometrist does not add optometrist. sent4: if the foretop does not add Callistephus the optometrist either does not add Drepanididae or does not add optometrist or both. sent5: if the optometrist does not add Drepanididae then the foretop does not add optometrist or does add Callistephus or both. sent6: if the fact that the optometrist does add Callistephus or does not add optometrist or both does not hold then the foretop adds Drepanididae. sent7: the optometrist does not add Drepanididae or it adds optometrist or both. sent8: the optometrist adds optometrist and/or does not add Drepanididae. sent9: if the optometrist does not add Drepanididae then the foretop adds optometrist and/or does not add Callistephus. sent10: the foretop is not a Marchantia. sent11: if the optometrist does not add Callistephus the foretop does not add Drepanididae or does not add optometrist or both. sent12: the optometrist does add Drepanididae and/or it does not add Callistephus. sent13: the foretop does add optometrist. sent14: if the fact that the fact that the optometrist does not add Callistephus and/or it does not add optometrist is not wrong is incorrect the fact that the foretop does add Drepanididae is true. sent15: if that the foretop does not add Drepanididae and/or does add Callistephus is not correct the optometrist does add optometrist.
void -> assump2: Let's assume that that the optometrist does not add Callistephus or does not add optometrist or both is wrong.; sent14 & assump2 -> int1: the foretop does add Drepanididae.; void -> assump1: Let's assume that the foretop does not add Drepanididae.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the optometrist does not add Callistephus or it does not add optometrist or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the optometrist either does not add Callistephus or does not add optometrist or both if the foretop does not add Drepanididae does not hold. ; $context$ = sent1: the molecule does not add Drepanididae. sent2: that the optometrist does not add Drepanididae and/or it does not add Callistephus does not hold. sent3: the foretop does not add Drepanididae and/or it does not add Callistephus if the optometrist does not add optometrist. sent4: if the foretop does not add Callistephus the optometrist either does not add Drepanididae or does not add optometrist or both. sent5: if the optometrist does not add Drepanididae then the foretop does not add optometrist or does add Callistephus or both. sent6: if the fact that the optometrist does add Callistephus or does not add optometrist or both does not hold then the foretop adds Drepanididae. sent7: the optometrist does not add Drepanididae or it adds optometrist or both. sent8: the optometrist adds optometrist and/or does not add Drepanididae. sent9: if the optometrist does not add Drepanididae then the foretop adds optometrist and/or does not add Callistephus. sent10: the foretop is not a Marchantia. sent11: if the optometrist does not add Callistephus the foretop does not add Drepanididae or does not add optometrist or both. sent12: the optometrist does add Drepanididae and/or it does not add Callistephus. sent13: the foretop does add optometrist. sent14: if the fact that the fact that the optometrist does not add Callistephus and/or it does not add optometrist is not wrong is incorrect the fact that the foretop does add Drepanididae is true. sent15: if that the foretop does not add Drepanididae and/or does add Callistephus is not correct the optometrist does add optometrist. ; $proof$ = 
void -> assump2: Let's assume that that the optometrist does not add Callistephus or does not add optometrist or both is wrong.; sent14 & assump2 -> int1: the foretop does add Drepanididae.; void -> assump1: Let's assume that the foretop does not add Drepanididae.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the optometrist does not add Callistephus or it does not add optometrist or both.; [assump1] & int3 -> hypothesis; __DISPROVED__