that the vomer is a kind of a bedstraw is true if the sesamoid is attitudinal.
sent1: the sesamoid eventuates. sent2: the trundle is a estivation if the pronghorn is a kind of a fitted. sent3: if the pronghorn is a estivation the vomer is a bedstraw. sent4: that the trundle is a permutation is not wrong. sent5: if something is attitudinal it is a estivation. sent6: if the trundle is a bedstraw and it is a estivation then the pronghorn is not fitted. sent7: if the pronghorn is not a kind of a estivation then the trundle is a fitted and/or is a estivation. sent8: if the vomer is not a Sotho that it is a bedstraw and it is not a fa is false. sent9: the vomer is not fitted if that it is a kind of a bedstraw and it is not a fa is wrong. sent10: if the sesamoid is attitudinal and eventuates the trundle is not a kind of a fitted. sent11: if the trundle does not fit then the pronghorn is a kind of a estivation or it is fit or both. sent12: if the pronghorn does fit then that the vomer is a bedstraw is not false. sent13: the sesamoid is a kind of a bedstraw.
void -> assump1: Let's assume that the sesamoid is attitudinal.; assump1 & sent1 -> int1: the sesamoid is attitudinal and does eventuate.; sent10 & int1 -> int2: the trundle is not a fitted.; sent11 & int2 -> int3: the pronghorn is a estivation and/or fitted.; int3 & sent3 & sent12 -> int4: the vomer is a bedstraw.; [assump1] & int4 -> hypothesis;
the vomer is a estivation.
sent5 -> int5: if the vomer is attitudinal it is a estivation.;
$hypothesis$ = that the vomer is a kind of a bedstraw is true if the sesamoid is attitudinal. ; $context$ = sent1: the sesamoid eventuates. sent2: the trundle is a estivation if the pronghorn is a kind of a fitted. sent3: if the pronghorn is a estivation the vomer is a bedstraw. sent4: that the trundle is a permutation is not wrong. sent5: if something is attitudinal it is a estivation. sent6: if the trundle is a bedstraw and it is a estivation then the pronghorn is not fitted. sent7: if the pronghorn is not a kind of a estivation then the trundle is a fitted and/or is a estivation. sent8: if the vomer is not a Sotho that it is a bedstraw and it is not a fa is false. sent9: the vomer is not fitted if that it is a kind of a bedstraw and it is not a fa is wrong. sent10: if the sesamoid is attitudinal and eventuates the trundle is not a kind of a fitted. sent11: if the trundle does not fit then the pronghorn is a kind of a estivation or it is fit or both. sent12: if the pronghorn does fit then that the vomer is a bedstraw is not false. sent13: the sesamoid is a kind of a bedstraw. ; $proof$ = 
void -> assump1: Let's assume that the sesamoid is attitudinal.; assump1 & sent1 -> int1: the sesamoid is attitudinal and does eventuate.; sent10 & int1 -> int2: the trundle is not a fitted.; sent11 & int2 -> int3: the pronghorn is a estivation and/or fitted.; int3 & sent3 & sent12 -> int4: the vomer is a bedstraw.; [assump1] & int4 -> hypothesis; __PROVED__