the trillium does not bob loss but it is a relative.
sent1: if something is a priesthood then the fact that it does not bob loss hold. sent2: the fact that the puree does not bob loss is right. sent3: the trillium does not bob loss but it is not non-relative if that the mangle does not bob loss hold. sent4: if something is a W that it is not a kind of a priesthood and is hotbed is not true. sent5: the somewhere is not a Willamette. sent6: the mangle is not a kind of a priesthood and is a relative if the fact that the trillium is not a priesthood is not false. sent7: something is not a kind of a Alleghenies if the fact that it is a Alleghenies and it does not torment puree is false. sent8: if that something is not a kind of a priesthood and it is not hotbed does not hold it does not bob loss. sent9: the muleteer is not a kind of a relative if either the mangle is relative or it is a priesthood or both. sent10: if the fact that the mangle is not a priesthood and is not non-hotbed does not hold then the trillium is not a priesthood. sent11: the trillium does not bob loss if the loss bob loss and it is a kind of a Alleghenies. sent12: if there exists something such that it is not a Alleghenies then the loss is not a kind of a W. sent13: if the somewhere is not a Willamette then that it is a Alleghenies and it does not torment puree does not hold. sent14: the fact that the mangle is a priesthood but it is not hotbed is not right. sent15: the mangle is not a priesthood. sent16: if the mangle is a priesthood it does not bob loss. sent17: the mangle is hotbed. sent18: the trillium is not a Pacific and it is not a priesthood. sent19: if that something is both a W and hotbed is incorrect then that it is not a priesthood hold. sent20: the trillium does not bob loss. sent21: if the mangle does not bob loss then the trillium does not bob loss. sent22: the trillium does not bob loss and does not bob gratitude.
void -> assump1: Let's assume that the mangle is not a priesthood and is not hotbed.; assump1 -> int1: the mangle is not hotbed.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the mangle is not a priesthood and is not hotbed is not correct.; sent8 -> int4: if that that the mangle is not a kind of a priesthood and it is not hotbed does not hold is not false it does not bob loss.; int3 & int4 -> int5: the mangle does not bob loss.; int5 & sent3 -> hypothesis;
the fact that the trillium does not bob loss but it is a relative is not right.
sent4 -> int6: the fact that the mangle is not a priesthood and is hotbed is not correct if it is a kind of a W.;
$hypothesis$ = the trillium does not bob loss but it is a relative. ; $context$ = sent1: if something is a priesthood then the fact that it does not bob loss hold. sent2: the fact that the puree does not bob loss is right. sent3: the trillium does not bob loss but it is not non-relative if that the mangle does not bob loss hold. sent4: if something is a W that it is not a kind of a priesthood and is hotbed is not true. sent5: the somewhere is not a Willamette. sent6: the mangle is not a kind of a priesthood and is a relative if the fact that the trillium is not a priesthood is not false. sent7: something is not a kind of a Alleghenies if the fact that it is a Alleghenies and it does not torment puree is false. sent8: if that something is not a kind of a priesthood and it is not hotbed does not hold it does not bob loss. sent9: the muleteer is not a kind of a relative if either the mangle is relative or it is a priesthood or both. sent10: if the fact that the mangle is not a priesthood and is not non-hotbed does not hold then the trillium is not a priesthood. sent11: the trillium does not bob loss if the loss bob loss and it is a kind of a Alleghenies. sent12: if there exists something such that it is not a Alleghenies then the loss is not a kind of a W. sent13: if the somewhere is not a Willamette then that it is a Alleghenies and it does not torment puree does not hold. sent14: the fact that the mangle is a priesthood but it is not hotbed is not right. sent15: the mangle is not a priesthood. sent16: if the mangle is a priesthood it does not bob loss. sent17: the mangle is hotbed. sent18: the trillium is not a Pacific and it is not a priesthood. sent19: if that something is both a W and hotbed is incorrect then that it is not a priesthood hold. sent20: the trillium does not bob loss. sent21: if the mangle does not bob loss then the trillium does not bob loss. sent22: the trillium does not bob loss and does not bob gratitude. ; $proof$ = 
void -> assump1: Let's assume that the mangle is not a priesthood and is not hotbed.; assump1 -> int1: the mangle is not hotbed.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the mangle is not a priesthood and is not hotbed is not correct.; sent8 -> int4: if that that the mangle is not a kind of a priesthood and it is not hotbed does not hold is not false it does not bob loss.; int3 & int4 -> int5: the mangle does not bob loss.; int5 & sent3 -> hypothesis; __PROVED__