the President is not alphabetic.
sent1: The fact that the absinthe does abuse wittol is right. sent2: if the Kentuckian is hircine then the fetishism is a Liberian. sent3: the Kentuckian is not a kind of a Titus. sent4: the Kentuckian is hircine and it is a kind of a reallocation. sent5: the President is not alphabetic if that the whittler is a foxtail that does not abuse climax does not hold. sent6: the fact that the wittol does abuse absinthe is right. sent7: that the whittler is a foxtail and does not abuse climax is wrong if the wittol is not a tribute. sent8: if something is Liberian and it abuses climax it does not abuse absinthe. sent9: the Kentuckian is not a tribute. sent10: there is something such that the fact that it is an archer hold. sent11: the fetishism is not a Liberian if there exists something such that it is a tribute and does abuse absinthe.
void -> assump1: Let's assume that the wittol is a tribute.; assump1 & sent6 -> int1: the wittol is a tribute and it does abuse absinthe.; int1 -> int2: something is a tribute that does abuse absinthe.; int2 & sent11 -> int3: the fetishism is not a Liberian.; sent4 -> int4: that the Kentuckian is hircine hold.; sent2 & int4 -> int5: the fetishism is a Liberian.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wittol is not a tribute.; int7 & sent7 -> int8: the fact that the whittler is a kind of a foxtail and does not abuse climax does not hold.; int8 & sent5 -> hypothesis;
the President is alphabetic.
sent8 -> int9: the wittol does not abuse absinthe if it is a Liberian and it does abuse climax.;
$hypothesis$ = the President is not alphabetic. ; $context$ = sent1: The fact that the absinthe does abuse wittol is right. sent2: if the Kentuckian is hircine then the fetishism is a Liberian. sent3: the Kentuckian is not a kind of a Titus. sent4: the Kentuckian is hircine and it is a kind of a reallocation. sent5: the President is not alphabetic if that the whittler is a foxtail that does not abuse climax does not hold. sent6: the fact that the wittol does abuse absinthe is right. sent7: that the whittler is a foxtail and does not abuse climax is wrong if the wittol is not a tribute. sent8: if something is Liberian and it abuses climax it does not abuse absinthe. sent9: the Kentuckian is not a tribute. sent10: there is something such that the fact that it is an archer hold. sent11: the fetishism is not a Liberian if there exists something such that it is a tribute and does abuse absinthe. ; $proof$ = 
void -> assump1: Let's assume that the wittol is a tribute.; assump1 & sent6 -> int1: the wittol is a tribute and it does abuse absinthe.; int1 -> int2: something is a tribute that does abuse absinthe.; int2 & sent11 -> int3: the fetishism is not a Liberian.; sent4 -> int4: that the Kentuckian is hircine hold.; sent2 & int4 -> int5: the fetishism is a Liberian.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wittol is not a tribute.; int7 & sent7 -> int8: the fact that the whittler is a kind of a foxtail and does not abuse climax does not hold.; int8 & sent5 -> hypothesis; __PROVED__