the tuberose is an exponential.
sent1: the tuberose is a Glaswegian if the graphics is a kind of an exponential. sent2: the tuberose is not an exponential if there is something such that the fact that it is inquisitorial and pockets is not correct. sent3: if something is an approval it is an exponential. sent4: the dory does not salve dory. sent5: if the fact that the graphics is a Glaswegian is correct it is luteal. sent6: if the flamboyant is a Glaswegian then the graphics is an approval. sent7: the flamboyant is not luteal if there exists something such that the fact that it is inquisitorial thing that is a kind of an approval is not correct. sent8: if the graphics is not inquisitorial that the croupier is Glaswegian thing that is luteal is not right. sent9: the flamboyant is Glaswegian. sent10: the fact that the croupier is inquisitorial and a pocket is not right if the flamboyant is not a kind of an approval. sent11: something is inquisitorial and a pocket. sent12: if the flamboyant is an approval the graphics is a Glaswegian. sent13: the graphics is not luteal. sent14: the tuberose is not an exponential if there is something such that it is not a pocket.
void -> assump1: Let's assume that the flamboyant is an approval.; sent12 & assump1 -> int1: the graphics is a Glaswegian.; int1 & sent5 -> int2: the graphics is luteal.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flamboyant is not an approval.; int4 & sent10 -> int5: the fact that the croupier is inquisitorial thing that is a pocket is incorrect.; int5 -> int6: there is something such that the fact that it is both inquisitorial and a pocket is not right.; int6 & sent2 -> hypothesis;
the tuberose is an exponential.
sent3 -> int7: the tuberose is exponential if that it is a kind of an approval hold.;
$hypothesis$ = the tuberose is an exponential. ; $context$ = sent1: the tuberose is a Glaswegian if the graphics is a kind of an exponential. sent2: the tuberose is not an exponential if there is something such that the fact that it is inquisitorial and pockets is not correct. sent3: if something is an approval it is an exponential. sent4: the dory does not salve dory. sent5: if the fact that the graphics is a Glaswegian is correct it is luteal. sent6: if the flamboyant is a Glaswegian then the graphics is an approval. sent7: the flamboyant is not luteal if there exists something such that the fact that it is inquisitorial thing that is a kind of an approval is not correct. sent8: if the graphics is not inquisitorial that the croupier is Glaswegian thing that is luteal is not right. sent9: the flamboyant is Glaswegian. sent10: the fact that the croupier is inquisitorial and a pocket is not right if the flamboyant is not a kind of an approval. sent11: something is inquisitorial and a pocket. sent12: if the flamboyant is an approval the graphics is a Glaswegian. sent13: the graphics is not luteal. sent14: the tuberose is not an exponential if there is something such that it is not a pocket. ; $proof$ = 
void -> assump1: Let's assume that the flamboyant is an approval.; sent12 & assump1 -> int1: the graphics is a Glaswegian.; int1 & sent5 -> int2: the graphics is luteal.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flamboyant is not an approval.; int4 & sent10 -> int5: the fact that the croupier is inquisitorial thing that is a pocket is incorrect.; int5 -> int6: there is something such that the fact that it is both inquisitorial and a pocket is not right.; int6 & sent2 -> hypothesis; __DISPROVED__