the trainbearer is not a hawala.
sent1: if the firestone is a polypectomy then it is a Hypsiprymnodon. sent2: if something is thermodynamics then it is a Hypsiprymnodon. sent3: if the firestone is a hawala the trainbearer is a hawala. sent4: the firestone is a kind of a hitchrack if the trainbearer is a hawala. sent5: if the firestone is a polypectomy the beta-carotene does wake. sent6: there exists nothing such that it is not a Hypsiprymnodon and it is angelic. sent7: if the trainbearer is a kind of a Hypsiprymnodon the understudy is a hawala. sent8: the kin is a Hypsiprymnodon. sent9: the understudy is thermodynamics if the beta-carotene is a waking. sent10: if something is a hitchrack it is a polypectomy. sent11: the understudy is not a Hypsiprymnodon if that the argon is not a Hypsiprymnodon and is angelic is false. sent12: the trainbearer is not non-thermodynamics.
void -> assump1: Let's assume that the trainbearer is a hawala.; sent4 & assump1 -> int1: the firestone is a kind of a hitchrack.; sent10 -> int2: if the fact that the firestone is not a hitchrack does not hold then it is a kind of a polypectomy.; int1 & int2 -> int3: the firestone is a polypectomy.; int3 & sent5 -> int4: the beta-carotene wakes.; int4 & sent9 -> int5: the fact that the understudy is thermodynamics is not incorrect.; sent2 -> int6: the fact that the understudy is a Hypsiprymnodon is not false if it is thermodynamics.; int5 & int6 -> int7: the understudy is a Hypsiprymnodon.; sent6 -> int8: that the argon is not a Hypsiprymnodon but it is angelic is not right.; sent11 & int8 -> int9: the understudy is not a Hypsiprymnodon.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the trainbearer is a hawala.
$hypothesis$ = the trainbearer is not a hawala. ; $context$ = sent1: if the firestone is a polypectomy then it is a Hypsiprymnodon. sent2: if something is thermodynamics then it is a Hypsiprymnodon. sent3: if the firestone is a hawala the trainbearer is a hawala. sent4: the firestone is a kind of a hitchrack if the trainbearer is a hawala. sent5: if the firestone is a polypectomy the beta-carotene does wake. sent6: there exists nothing such that it is not a Hypsiprymnodon and it is angelic. sent7: if the trainbearer is a kind of a Hypsiprymnodon the understudy is a hawala. sent8: the kin is a Hypsiprymnodon. sent9: the understudy is thermodynamics if the beta-carotene is a waking. sent10: if something is a hitchrack it is a polypectomy. sent11: the understudy is not a Hypsiprymnodon if that the argon is not a Hypsiprymnodon and is angelic is false. sent12: the trainbearer is not non-thermodynamics. ; $proof$ = 
void -> assump1: Let's assume that the trainbearer is a hawala.; sent4 & assump1 -> int1: the firestone is a kind of a hitchrack.; sent10 -> int2: if the fact that the firestone is not a hitchrack does not hold then it is a kind of a polypectomy.; int1 & int2 -> int3: the firestone is a polypectomy.; int3 & sent5 -> int4: the beta-carotene wakes.; int4 & sent9 -> int5: the fact that the understudy is thermodynamics is not incorrect.; sent2 -> int6: the fact that the understudy is a Hypsiprymnodon is not false if it is thermodynamics.; int5 & int6 -> int7: the understudy is a Hypsiprymnodon.; sent6 -> int8: that the argon is not a Hypsiprymnodon but it is angelic is not right.; sent11 & int8 -> int9: the understudy is not a Hypsiprymnodon.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__