there exists something such that if it is geological that it bogs Mason or does not perpetuate haptoglobin or both is not true.
sent1: if either the refinement bogs Mason or it does not perpetuate haptoglobin or both then it is not geological. sent2: there is something such that if it does evict liege then the fact that it either evicts fakery or does not bog dilatation or both is false. sent3: if the refinement does bog Mason and/or does not perpetuate haptoglobin it is geological. sent4: if the refinement is geological it does perpetuate haptoglobin. sent5: there exists something such that if it is geological that it bogs Mason or it does perpetuate haptoglobin or both is wrong. sent6: that the refinement bogs Mason or it does not perpetuate haptoglobin or both is true if it is geological. sent7: everything is a baguet. sent8: that the refinement perpetuates haptoglobin is right. sent9: there is something such that if it is administrative the fact that it perpetuates Desmodium and/or does not shaft renter is wrong. sent10: the refinement is a photojournalist. sent11: the workroom is not a monocot. sent12: the saddlebill is not arenicolous if it is directing or does not bog Mason or both. sent13: the refinement is a Swazi. sent14: the refinement is not geological if it does not perpetuate haptoglobin. sent15: there exists something such that if it is not non-geological then it does not bog Mason. sent16: if something is Aleutian or not a mascarpone or both then that it does not perpetuate escapist is true. sent17: there is something such that if that it is not geological is false then it does perpetuate haptoglobin. sent18: the refinement bogs Mason and/or it does perpetuate haptoglobin. sent19: the fact that there is something such that if the fact that it is geological is right it does bog Mason or it does not perpetuate haptoglobin or both is not false.
void -> assump1: Let's assume that the refinement either bogs Mason or does not perpetuate haptoglobin or both.; sent1 & assump1 -> int1: the refinement is not geological.; void -> assump2: Let's assume that the refinement is geological.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the refinement does bog Mason or does not perpetuate haptoglobin or both is incorrect.; [assump2] & int3 -> int4: if the refinement is geological that it does bog Mason and/or it does not perpetuate haptoglobin is not true.; int4 -> hypothesis;
if the sandbank is Aleutian or it is not a mascarpone or both it does not perpetuate escapist.
sent16 -> hypothesis;
$hypothesis$ = there exists something such that if it is geological that it bogs Mason or does not perpetuate haptoglobin or both is not true. ; $context$ = sent1: if either the refinement bogs Mason or it does not perpetuate haptoglobin or both then it is not geological. sent2: there is something such that if it does evict liege then the fact that it either evicts fakery or does not bog dilatation or both is false. sent3: if the refinement does bog Mason and/or does not perpetuate haptoglobin it is geological. sent4: if the refinement is geological it does perpetuate haptoglobin. sent5: there exists something such that if it is geological that it bogs Mason or it does perpetuate haptoglobin or both is wrong. sent6: that the refinement bogs Mason or it does not perpetuate haptoglobin or both is true if it is geological. sent7: everything is a baguet. sent8: that the refinement perpetuates haptoglobin is right. sent9: there is something such that if it is administrative the fact that it perpetuates Desmodium and/or does not shaft renter is wrong. sent10: the refinement is a photojournalist. sent11: the workroom is not a monocot. sent12: the saddlebill is not arenicolous if it is directing or does not bog Mason or both. sent13: the refinement is a Swazi. sent14: the refinement is not geological if it does not perpetuate haptoglobin. sent15: there exists something such that if it is not non-geological then it does not bog Mason. sent16: if something is Aleutian or not a mascarpone or both then that it does not perpetuate escapist is true. sent17: there is something such that if that it is not geological is false then it does perpetuate haptoglobin. sent18: the refinement bogs Mason and/or it does perpetuate haptoglobin. sent19: the fact that there is something such that if the fact that it is geological is right it does bog Mason or it does not perpetuate haptoglobin or both is not false. ; $proof$ = 
void -> assump1: Let's assume that the refinement either bogs Mason or does not perpetuate haptoglobin or both.; sent1 & assump1 -> int1: the refinement is not geological.; void -> assump2: Let's assume that the refinement is geological.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the refinement does bog Mason or does not perpetuate haptoglobin or both is incorrect.; [assump2] & int3 -> int4: if the refinement is geological that it does bog Mason and/or it does not perpetuate haptoglobin is not true.; int4 -> hypothesis; __PROVED__