the epee is not profane and/or it is not a purchase.
sent1: if the fact that something is hematopoietic and is profane is not correct it is not profane. sent2: that the fact that the strontium is both hematopoietic and profane hold is wrong if there exists something such that it is a Gula. sent3: the screwball is not a purchase or it is zygomorphic or both. sent4: there is something such that that it is not a kind of a Gula is right. sent5: if the screwball is a purchase then the epee is not zygomorphic. sent6: the screwball is hematopoietic but it is not exodontic if somethings are not a Gula. sent7: the epee is not a purchase if the screwball does restrain or it is zygomorphic or both. sent8: the screwball is not zygomorphic if it is not a purchase or it is not zygomorphic or both. sent9: if a hematopoietic thing is not exodontic it is zygomorphic. sent10: either the epee is exodontic or it is a purchase or both. sent11: the epee does not retrograde. sent12: the fact that something does not trouble contestee is not false. sent13: the epee is profane but it is not zygomorphic.
sent4 & sent6 -> int1: the screwball is hematopoietic and is non-exodontic.; sent9 -> int2: if the screwball is hematopoietic but it is not exodontic then it is zygomorphic.; int1 & int2 -> int3: the screwball is zygomorphic.; int3 -> int4: the screwball restrains and/or it is zygomorphic.; int4 & sent7 -> int5: the epee is not a kind of a purchase.; int5 -> hypothesis;
the strontium is not profane.
sent1 -> int6: if that the strontium is both not non-hematopoietic and not non-profane is not right then it is not non-profane.;
$hypothesis$ = the epee is not profane and/or it is not a purchase. ; $context$ = sent1: if the fact that something is hematopoietic and is profane is not correct it is not profane. sent2: that the fact that the strontium is both hematopoietic and profane hold is wrong if there exists something such that it is a Gula. sent3: the screwball is not a purchase or it is zygomorphic or both. sent4: there is something such that that it is not a kind of a Gula is right. sent5: if the screwball is a purchase then the epee is not zygomorphic. sent6: the screwball is hematopoietic but it is not exodontic if somethings are not a Gula. sent7: the epee is not a purchase if the screwball does restrain or it is zygomorphic or both. sent8: the screwball is not zygomorphic if it is not a purchase or it is not zygomorphic or both. sent9: if a hematopoietic thing is not exodontic it is zygomorphic. sent10: either the epee is exodontic or it is a purchase or both. sent11: the epee does not retrograde. sent12: the fact that something does not trouble contestee is not false. sent13: the epee is profane but it is not zygomorphic. ; $proof$ = 
sent4 & sent6 -> int1: the screwball is hematopoietic and is non-exodontic.; sent9 -> int2: if the screwball is hematopoietic but it is not exodontic then it is zygomorphic.; int1 & int2 -> int3: the screwball is zygomorphic.; int3 -> int4: the screwball restrains and/or it is zygomorphic.; int4 & sent7 -> int5: the epee is not a kind of a purchase.; int5 -> hypothesis; __PROVED__