the Tantrist is either a quickstep or a wold or both if the crenel does not embower Decius.
sent1: the crenel is a osteology. sent2: if the crenel is a quickstep the Tantrist is a headed. sent3: the crenel is a harem if the fact that either it heads or it is a osteology or both is not right. sent4: either the Tantrist is a quickstep or it is a wold or both if the crenel does embower Decius. sent5: the fact that if the crenel is not a harem then the Tantrist is either a osteology or a quickstep or both hold. sent6: the Tantrist shafts if the crenel is a kind of a harem. sent7: the pollack is a kind of a wold. sent8: the winner is not a kind of a osteology. sent9: the halberd is a wold. sent10: the Tantrist is a kind of a headed. sent11: if that the crenel does shaft or it is not a osteology or both does not hold then it does quickstep. sent12: if the fact that the Tantrist is not a harem and it does not embower Decius is wrong that the crenel does embower Decius hold. sent13: that the crenel is a headed and/or is not a osteology is not true if it does not embower Decius. sent14: the fact that the vestal is a headed hold. sent15: the Tantrist is a osteology if that the crenel does quickstep hold. sent16: the goldstone is a wold if the crenel embowers Decius. sent17: if the crenel is not a quickstep the Tantrist is a harem or it embowers Decius or both. sent18: the crenel is a osteology if it does not embower Decius. sent19: the jello is a kind of a harem. sent20: if the fact that the crenel embowers Decius is correct that that it heads and/or it is not a kind of a osteology hold is not correct. sent21: the crenel is a kind of a harem if that it heads and/or it is not a osteology is not correct. sent22: if the Tantrist shafts then it is a kind of a quickstep.
void -> assump1: Let's assume that the crenel does not embower Decius.; sent13 & assump1 -> int1: that the crenel does head or is not a osteology or both does not hold.; int1 & sent21 -> int2: the crenel is a harem.; int2 & sent6 -> int3: the Tantrist is a kind of a shaft.; int3 & sent22 -> int4: the Tantrist quicksteps.; int4 -> int5: the Tantrist is either a quickstep or a wold or both.; [assump1] & int5 -> hypothesis;
the goldstone is a wold.
$hypothesis$ = the Tantrist is either a quickstep or a wold or both if the crenel does not embower Decius. ; $context$ = sent1: the crenel is a osteology. sent2: if the crenel is a quickstep the Tantrist is a headed. sent3: the crenel is a harem if the fact that either it heads or it is a osteology or both is not right. sent4: either the Tantrist is a quickstep or it is a wold or both if the crenel does embower Decius. sent5: the fact that if the crenel is not a harem then the Tantrist is either a osteology or a quickstep or both hold. sent6: the Tantrist shafts if the crenel is a kind of a harem. sent7: the pollack is a kind of a wold. sent8: the winner is not a kind of a osteology. sent9: the halberd is a wold. sent10: the Tantrist is a kind of a headed. sent11: if that the crenel does shaft or it is not a osteology or both does not hold then it does quickstep. sent12: if the fact that the Tantrist is not a harem and it does not embower Decius is wrong that the crenel does embower Decius hold. sent13: that the crenel is a headed and/or is not a osteology is not true if it does not embower Decius. sent14: the fact that the vestal is a headed hold. sent15: the Tantrist is a osteology if that the crenel does quickstep hold. sent16: the goldstone is a wold if the crenel embowers Decius. sent17: if the crenel is not a quickstep the Tantrist is a harem or it embowers Decius or both. sent18: the crenel is a osteology if it does not embower Decius. sent19: the jello is a kind of a harem. sent20: if the fact that the crenel embowers Decius is correct that that it heads and/or it is not a kind of a osteology hold is not correct. sent21: the crenel is a kind of a harem if that it heads and/or it is not a osteology is not correct. sent22: if the Tantrist shafts then it is a kind of a quickstep. ; $proof$ = 
void -> assump1: Let's assume that the crenel does not embower Decius.; sent13 & assump1 -> int1: that the crenel does head or is not a osteology or both does not hold.; int1 & sent21 -> int2: the crenel is a harem.; int2 & sent6 -> int3: the Tantrist is a kind of a shaft.; int3 & sent22 -> int4: the Tantrist quicksteps.; int4 -> int5: the Tantrist is either a quickstep or a wold or both.; [assump1] & int5 -> hypothesis; __PROVED__