the alprazolam is a exbibit.
sent1: if the fact that the alprazolam is irresistible and non-humanitarian is incorrect then the at is not eugenic. sent2: either something is not psycholinguistics or it does not plop or both. sent3: if the fact that the alprazolam is a kind of a plop but it is not a exbibit is not right the at is a exbibit. sent4: if there is something such that it is not psycholinguistics or it is not a kind of a plop or both the at is eugenic. sent5: the alprazolam is not humanitarian. sent6: the alprazolam is eugenic if there is something such that it is either non-humanitarian or not a exbibit or both. sent7: the fact that the alprazolam is irresistible and it is humanitarian is incorrect. sent8: the at is not irresistible if the fact that the alprazolam is eugenic and is not a exbibit is not true. sent9: there is something such that it is either irresistible or not eugenic or both. sent10: something is a exbibit if that it is irresistible thing that is not humanitarian is right. sent11: either something is psycholinguistics or it is not a plop or both. sent12: if the at is not a exbibit and is eugenic then the alprazolam is not a exbibit. sent13: the at is eugenic if something is not psycholinguistics. sent14: something is not a exbibit or it is not eugenic or both. sent15: something is not a plop and is psycholinguistics if it is not a containership. sent16: the component is not a containership and it does not serve if it is not paleontological.
void -> assump1: Let's assume that the fact that the alprazolam is both not non-irresistible and non-humanitarian is not correct.; sent1 & assump1 -> int1: the fact that the at is not eugenic is correct.; sent2 & sent4 -> int2: the at is eugenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the alprazolam is irresistible but it is not humanitarian.; sent10 -> int5: if the alprazolam is irresistible but it is not a humanitarian it is a exbibit.; int4 & int5 -> hypothesis;
the at is a exbibit.
$hypothesis$ = the alprazolam is a exbibit. ; $context$ = sent1: if the fact that the alprazolam is irresistible and non-humanitarian is incorrect then the at is not eugenic. sent2: either something is not psycholinguistics or it does not plop or both. sent3: if the fact that the alprazolam is a kind of a plop but it is not a exbibit is not right the at is a exbibit. sent4: if there is something such that it is not psycholinguistics or it is not a kind of a plop or both the at is eugenic. sent5: the alprazolam is not humanitarian. sent6: the alprazolam is eugenic if there is something such that it is either non-humanitarian or not a exbibit or both. sent7: the fact that the alprazolam is irresistible and it is humanitarian is incorrect. sent8: the at is not irresistible if the fact that the alprazolam is eugenic and is not a exbibit is not true. sent9: there is something such that it is either irresistible or not eugenic or both. sent10: something is a exbibit if that it is irresistible thing that is not humanitarian is right. sent11: either something is psycholinguistics or it is not a plop or both. sent12: if the at is not a exbibit and is eugenic then the alprazolam is not a exbibit. sent13: the at is eugenic if something is not psycholinguistics. sent14: something is not a exbibit or it is not eugenic or both. sent15: something is not a plop and is psycholinguistics if it is not a containership. sent16: the component is not a containership and it does not serve if it is not paleontological. ; $proof$ = 
void -> assump1: Let's assume that the fact that the alprazolam is both not non-irresistible and non-humanitarian is not correct.; sent1 & assump1 -> int1: the fact that the at is not eugenic is correct.; sent2 & sent4 -> int2: the at is eugenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the alprazolam is irresistible but it is not humanitarian.; sent10 -> int5: if the alprazolam is irresistible but it is not a humanitarian it is a exbibit.; int4 & int5 -> hypothesis; __PROVED__