the fact that there is something such that if that either it handles or it is a kind of a foremother or both does not hold then it is not ebracteate does not hold.
sent1: if the fact that something is a handle or is a foremother or both is false then it is not ebracteate. sent2: if the fact that either something is an adulterer or it is an exhilaration or both does not hold it is not a arsenate. sent3: there is something such that if either it is a handle or it is a foremother or both then it is not ebracteate. sent4: if that something does catalyze concealment and/or is equestrian is not true it is a Trachinotus. sent5: there exists something such that if that either it is a handle or it is a foremother or both does not hold then it is not non-ebracteate.
sent1 -> int1: if the fact that the potato is either a handle or a foremother or both is false it is not ebracteate.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that either it handles or it is a kind of a foremother or both does not hold then it is not ebracteate does not hold. ; $context$ = sent1: if the fact that something is a handle or is a foremother or both is false then it is not ebracteate. sent2: if the fact that either something is an adulterer or it is an exhilaration or both does not hold it is not a arsenate. sent3: there is something such that if either it is a handle or it is a foremother or both then it is not ebracteate. sent4: if that something does catalyze concealment and/or is equestrian is not true it is a Trachinotus. sent5: there exists something such that if that either it is a handle or it is a foremother or both does not hold then it is not non-ebracteate. ; $proof$ = 
sent1 -> int1: if the fact that the potato is either a handle or a foremother or both is false it is not ebracteate.; int1 -> hypothesis; __DISPROVED__