the soak is not nonsubmersible and it does not sparge tympanist if the tympanist is normal.
sent1: if that the protactinium does not sparge zoomastigote hold then the fact that the tympanist trisects convection and it sparge zoomastigote does not hold. sent2: something is not a pull if that it does trisect convection and sparges zoomastigote does not hold. sent3: if something does not trisect convection then it is not a pull. sent4: if the tympanist does not pull then that it is non-normal hold. sent5: if the fact that the soak is a kind of non-nonsubmersible thing that does not sparge tympanist is wrong then the protactinium does not sparge zoomastigote. sent6: the soak is not nonsubmersible if the tympanist is normal. sent7: the soak is not normal and it does not sparge tympanist if the tympanist is nonsubmersible. sent8: the soak is a kind of submersible thing that does sparge tympanist.
void -> assump2: Let's assume that that the soak is a kind of non-nonsubmersible thing that does not sparge tympanist does not hold.; sent5 & assump2 -> int1: that the protactinium does not sparge zoomastigote hold.; int1 & sent1 -> int2: the fact that the tympanist trisects convection and it does sparge zoomastigote is not correct.; sent2 -> int3: if the fact that the tympanist trisects convection and it does sparge zoomastigote is not correct then it is not a kind of a pull.; int2 & int3 -> int4: that the tympanist is not a kind of a pull is correct.; int4 & sent4 -> int5: the tympanist is not normal.; void -> assump1: Let's assume that the tympanist is normal.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the soak is non-nonsubmersible thing that does not sparge tympanist.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the soak is not nonsubmersible and it does not sparge tympanist if the tympanist is normal. ; $context$ = sent1: if that the protactinium does not sparge zoomastigote hold then the fact that the tympanist trisects convection and it sparge zoomastigote does not hold. sent2: something is not a pull if that it does trisect convection and sparges zoomastigote does not hold. sent3: if something does not trisect convection then it is not a pull. sent4: if the tympanist does not pull then that it is non-normal hold. sent5: if the fact that the soak is a kind of non-nonsubmersible thing that does not sparge tympanist is wrong then the protactinium does not sparge zoomastigote. sent6: the soak is not nonsubmersible if the tympanist is normal. sent7: the soak is not normal and it does not sparge tympanist if the tympanist is nonsubmersible. sent8: the soak is a kind of submersible thing that does sparge tympanist. ; $proof$ = 
void -> assump2: Let's assume that that the soak is a kind of non-nonsubmersible thing that does not sparge tympanist does not hold.; sent5 & assump2 -> int1: that the protactinium does not sparge zoomastigote hold.; int1 & sent1 -> int2: the fact that the tympanist trisects convection and it does sparge zoomastigote is not correct.; sent2 -> int3: if the fact that the tympanist trisects convection and it does sparge zoomastigote is not correct then it is not a kind of a pull.; int2 & int3 -> int4: that the tympanist is not a kind of a pull is correct.; int4 & sent4 -> int5: the tympanist is not normal.; void -> assump1: Let's assume that the tympanist is normal.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the soak is non-nonsubmersible thing that does not sparge tympanist.; [assump1] & int7 -> hypothesis; __PROVED__