the gunflint is a mailer.
sent1: the gunflint is not a mailer if the tuber is either an albumin or psychogenic or both. sent2: that the gunflint is not a mailer is right if the tuber is psychogenic. sent3: the prick does strip Anoectochilus and strips breadwinner. sent4: the gunflint is both a forehand and an albumin. sent5: the tuber does not strip Anoectochilus if the prick is not psychogenic. sent6: the prick does not strip Anoectochilus if the tuber is not an albumin.
void -> assump1: Let's assume that that the tuber is not an albumin hold.; sent6 & assump1 -> int1: the prick does not strip Anoectochilus.; sent3 -> int2: the prick does strip Anoectochilus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tuber is a kind of an albumin.; int4 -> int5: the tuber either is an albumin or is psychogenic or both.; int5 & sent1 -> hypothesis;
$hypothesis$ = the gunflint is a mailer. ; $context$ = sent1: the gunflint is not a mailer if the tuber is either an albumin or psychogenic or both. sent2: that the gunflint is not a mailer is right if the tuber is psychogenic. sent3: the prick does strip Anoectochilus and strips breadwinner. sent4: the gunflint is both a forehand and an albumin. sent5: the tuber does not strip Anoectochilus if the prick is not psychogenic. sent6: the prick does not strip Anoectochilus if the tuber is not an albumin. ; $proof$ = 
void -> assump1: Let's assume that that the tuber is not an albumin hold.; sent6 & assump1 -> int1: the prick does not strip Anoectochilus.; sent3 -> int2: the prick does strip Anoectochilus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tuber is a kind of an albumin.; int4 -> int5: the tuber either is an albumin or is psychogenic or both.; int5 & sent1 -> hypothesis; __DISPROVED__