the churchgoer does not detonate and it does not promise discourse.
sent1: that the churchgoer does not detonate and it is not a tread-softly is incorrect. sent2: if that the churchgoer does not detonate and does not promise discourse is incorrect it is not a ordinand. sent3: the churchgoer is a ordinand. sent4: that something is not joyful and is not a ordinand is incorrect if it is a kind of a inactiveness. sent5: the churchgoer is not biographic.
void -> assump1: Let's assume that the fact that the churchgoer does not detonate and does not promise discourse is incorrect.; sent2 & assump1 -> int1: the churchgoer is not a ordinand.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the fact that the birder is not joyful and is not a ordinand is not true.
sent4 -> int3: if the birder is a inactiveness that the fact that it is not joyful and it is not a ordinand is true is incorrect.;
$hypothesis$ = the churchgoer does not detonate and it does not promise discourse. ; $context$ = sent1: that the churchgoer does not detonate and it is not a tread-softly is incorrect. sent2: if that the churchgoer does not detonate and does not promise discourse is incorrect it is not a ordinand. sent3: the churchgoer is a ordinand. sent4: that something is not joyful and is not a ordinand is incorrect if it is a kind of a inactiveness. sent5: the churchgoer is not biographic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the churchgoer does not detonate and does not promise discourse is incorrect.; sent2 & assump1 -> int1: the churchgoer is not a ordinand.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__