if the soup-strainer is a dredger then the death does protect.
sent1: if there exists something such that it is a guama and it protects then the soup-strainer is a dredger. sent2: something is a dredger. sent3: the tumefaction is a dredger. sent4: the death is a dredger. sent5: the fact that the soup-strainer is a guama hold. sent6: the death is a kind of a guama if there exists something such that it does protect and is a dredger. sent7: the typist is a kind of a guama. sent8: the death is immanent. sent9: there is something such that it is a guama. sent10: the fact that the death protects is not false if something that is a kind of a dredger is a guama.
void -> assump1: Let's assume that the soup-strainer is a kind of a dredger.; assump1 & sent5 -> int1: the soup-strainer is a dredger and it is a guama.; int1 -> int2: there exists something such that it is a kind of a dredger and it is a guama.; int2 & sent10 -> int3: the death does protect.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the soup-strainer is a dredger then the death does protect. ; $context$ = sent1: if there exists something such that it is a guama and it protects then the soup-strainer is a dredger. sent2: something is a dredger. sent3: the tumefaction is a dredger. sent4: the death is a dredger. sent5: the fact that the soup-strainer is a guama hold. sent6: the death is a kind of a guama if there exists something such that it does protect and is a dredger. sent7: the typist is a kind of a guama. sent8: the death is immanent. sent9: there is something such that it is a guama. sent10: the fact that the death protects is not false if something that is a kind of a dredger is a guama. ; $proof$ = 
void -> assump1: Let's assume that the soup-strainer is a kind of a dredger.; assump1 & sent5 -> int1: the soup-strainer is a dredger and it is a guama.; int1 -> int2: there exists something such that it is a kind of a dredger and it is a guama.; int2 & sent10 -> int3: the death does protect.; [assump1] & int3 -> hypothesis; __PROVED__