the parapsychologist is not stannic if the soman does clobber.
sent1: the parapsychologist is a nameko. sent2: if that the cobalamin is not stannic and does not resound does not hold then the parapsychologist is a kind of a hessian. sent3: the parapsychologist does resound if it is a circular. sent4: the parapsychologist is circular. sent5: something is a Turkmenistan and/or it is a pigtail. sent6: if the parapsychologist resounds but it is not a hessian then it does not clobber. sent7: if there exists something such that it either is a kind of a Turkmenistan or is a kind of a pigtail or both then the parapsychologist is not a hessian. sent8: the fact that the parapsychologist is not a kind of a hessian if there is something such that it is a pigtail is not false. sent9: that the parapsychologist does Simonize redeployment is not wrong if it is forceless. sent10: if the parapsychologist is not a kind of a yataghan and is stannic then the soman does clobber. sent11: if the soman is not a yataghan and is not non-stannic the parapsychologist does not clobber. sent12: the fact that the parapsychologist is not non-stannic hold if the soman clobbers. sent13: there exists something such that it is a kind of a circular and/or it does resound. sent14: the soman is invertible. sent15: if there is something such that it is loamless the continent does not resound. sent16: if something resounds but it is not a hessian then it is not a yataghan. sent17: if the parapsychologist is not a yataghan and is stannic that the soman does not clobber is not incorrect. sent18: the parapsychologist clobbers if it is a hessian. sent19: the Siamese does not clobber if something is hydrophilic and/or it is forceless.
sent5 & sent7 -> int1: the parapsychologist is not a hessian.; sent3 & sent4 -> int2: the parapsychologist resounds.; int1 & int2 -> int3: that the parapsychologist resounds but it is not a hessian is true.; sent16 -> int4: the parapsychologist is not a yataghan if it resounds and it is not a hessian.; int3 & int4 -> int5: the parapsychologist is not a yataghan.; void -> assump2: Let's assume that the parapsychologist is stannic.; int5 & assump2 -> int6: the parapsychologist is not a yataghan but it is stannic.; int6 & sent17 -> int7: the soman does not clobber.; void -> assump1: Let's assume that the soman clobbers.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the parapsychologist is not stannic.; [assump1] & int9 -> hypothesis;
the soman is not a yataghan.
$hypothesis$ = the parapsychologist is not stannic if the soman does clobber. ; $context$ = sent1: the parapsychologist is a nameko. sent2: if that the cobalamin is not stannic and does not resound does not hold then the parapsychologist is a kind of a hessian. sent3: the parapsychologist does resound if it is a circular. sent4: the parapsychologist is circular. sent5: something is a Turkmenistan and/or it is a pigtail. sent6: if the parapsychologist resounds but it is not a hessian then it does not clobber. sent7: if there exists something such that it either is a kind of a Turkmenistan or is a kind of a pigtail or both then the parapsychologist is not a hessian. sent8: the fact that the parapsychologist is not a kind of a hessian if there is something such that it is a pigtail is not false. sent9: that the parapsychologist does Simonize redeployment is not wrong if it is forceless. sent10: if the parapsychologist is not a kind of a yataghan and is stannic then the soman does clobber. sent11: if the soman is not a yataghan and is not non-stannic the parapsychologist does not clobber. sent12: the fact that the parapsychologist is not non-stannic hold if the soman clobbers. sent13: there exists something such that it is a kind of a circular and/or it does resound. sent14: the soman is invertible. sent15: if there is something such that it is loamless the continent does not resound. sent16: if something resounds but it is not a hessian then it is not a yataghan. sent17: if the parapsychologist is not a yataghan and is stannic that the soman does not clobber is not incorrect. sent18: the parapsychologist clobbers if it is a hessian. sent19: the Siamese does not clobber if something is hydrophilic and/or it is forceless. ; $proof$ = 
sent5 & sent7 -> int1: the parapsychologist is not a hessian.; sent3 & sent4 -> int2: the parapsychologist resounds.; int1 & int2 -> int3: that the parapsychologist resounds but it is not a hessian is true.; sent16 -> int4: the parapsychologist is not a yataghan if it resounds and it is not a hessian.; int3 & int4 -> int5: the parapsychologist is not a yataghan.; void -> assump2: Let's assume that the parapsychologist is stannic.; int5 & assump2 -> int6: the parapsychologist is not a yataghan but it is stannic.; int6 & sent17 -> int7: the soman does not clobber.; void -> assump1: Let's assume that the soman clobbers.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the parapsychologist is not stannic.; [assump1] & int9 -> hypothesis; __PROVED__