the affluent does click but it is not a benefaction.
sent1: if the fact that the affluent is a click and is not a kind of a benefaction is false it is not agraphic. sent2: that the affluent is agraphic hold. sent3: the fact that something is a geostrategy that does not glamorize plasterboard is not true if it is not megaloblastic. sent4: if the affluent is a benefaction then it is not agraphic. sent5: the amyloid is not a benefaction. sent6: if the fact that something is megaloblastic hold that it clicks and is not a benefaction is incorrect. sent7: everything strikes grantee. sent8: the fact that the affluent is a click and it is a benefaction is incorrect. sent9: the fact that the crankshaft is both not megaloblastic and reciprocal is incorrect if something is not agraphic. sent10: the archduke strikes grantee.
void -> assump1: Let's assume that the fact that that the affluent is a kind of a click that is not a benefaction is not false is not correct.; sent1 & assump1 -> int1: the affluent is non-agraphic.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the fact that the affluent is a click but it is not a kind of a benefaction is not correct.
sent6 -> int3: that the affluent is both a click and not a benefaction is not true if it is megaloblastic.;
$hypothesis$ = the affluent does click but it is not a benefaction. ; $context$ = sent1: if the fact that the affluent is a click and is not a kind of a benefaction is false it is not agraphic. sent2: that the affluent is agraphic hold. sent3: the fact that something is a geostrategy that does not glamorize plasterboard is not true if it is not megaloblastic. sent4: if the affluent is a benefaction then it is not agraphic. sent5: the amyloid is not a benefaction. sent6: if the fact that something is megaloblastic hold that it clicks and is not a benefaction is incorrect. sent7: everything strikes grantee. sent8: the fact that the affluent is a click and it is a benefaction is incorrect. sent9: the fact that the crankshaft is both not megaloblastic and reciprocal is incorrect if something is not agraphic. sent10: the archduke strikes grantee. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the affluent is a kind of a click that is not a benefaction is not false is not correct.; sent1 & assump1 -> int1: the affluent is non-agraphic.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__