the Diesel is not a prothalamion.
sent1: the actinomycete is a greenishness and a ruga. sent2: the chamberpot is both undue and not actinometric if the di-iodotyrosine is not a demodulation. sent3: the di-iodotyrosine is not a kind of a demodulation. sent4: the Diesel is ambassadorial if the Bible does correspond Alisma. sent5: the Diesel does correspond Lycia. sent6: The Lycia does correspond Diesel. sent7: the basilica does correspond Alisma and it is actinometric if it is not undue. sent8: the fact that the basilica is not a prothalamion and it is not ambassadorial does not hold if it corresponds Alisma. sent9: the Bible is ambassadorial or it does correspond Alisma or both. sent10: the Diesel is not ambassadorial if it is a prothalamion and it corresponds Lycia. sent11: the basilica is not undue if the Diesel is undue. sent12: if the Bible is ambassadorial then the Diesel is ambassadorial. sent13: if the Bible is ambassadorial then the Diesel corresponds Alisma.
void -> assump1: Let's assume that the Diesel is a prothalamion.; assump1 & sent5 -> int1: the Diesel is a kind of a prothalamion that corresponds Lycia.; int1 & sent10 -> int2: the Diesel is not ambassadorial.; sent9 & sent12 & sent4 -> int3: the Diesel is ambassadorial.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
that the Diesel is a kind of a prothalamion is correct.
sent2 & sent3 -> int5: the chamberpot is undue but it is not actinometric.; int5 -> int6: there is something such that it is undue and it is not actinometric.;
$hypothesis$ = the Diesel is not a prothalamion. ; $context$ = sent1: the actinomycete is a greenishness and a ruga. sent2: the chamberpot is both undue and not actinometric if the di-iodotyrosine is not a demodulation. sent3: the di-iodotyrosine is not a kind of a demodulation. sent4: the Diesel is ambassadorial if the Bible does correspond Alisma. sent5: the Diesel does correspond Lycia. sent6: The Lycia does correspond Diesel. sent7: the basilica does correspond Alisma and it is actinometric if it is not undue. sent8: the fact that the basilica is not a prothalamion and it is not ambassadorial does not hold if it corresponds Alisma. sent9: the Bible is ambassadorial or it does correspond Alisma or both. sent10: the Diesel is not ambassadorial if it is a prothalamion and it corresponds Lycia. sent11: the basilica is not undue if the Diesel is undue. sent12: if the Bible is ambassadorial then the Diesel is ambassadorial. sent13: if the Bible is ambassadorial then the Diesel corresponds Alisma. ; $proof$ = 
void -> assump1: Let's assume that the Diesel is a prothalamion.; assump1 & sent5 -> int1: the Diesel is a kind of a prothalamion that corresponds Lycia.; int1 & sent10 -> int2: the Diesel is not ambassadorial.; sent9 & sent12 & sent4 -> int3: the Diesel is ambassadorial.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__