if the amber is a Mammutidae then that the middling is postganglionic thing that is not a kind of a canonist is incorrect.
sent1: that the fact that the WMD is not seminiferous and is unicameral is incorrect is right. sent2: if the subject is not a canonist the fact that the middling is postganglionic and is canonist is not true. sent3: if the subject is axiomatic then the fact that it is not a canonist hold. sent4: if the WMD is seminiferous and not unicameral the tadalafil is a Psilotum. sent5: the middling is not canonist and not unicameral. sent6: the archdeaconry is a canonist. sent7: the fact that the middling is postganglionic and is a kind of a canonist is incorrect. sent8: the fact that the WMD is not a canonist does not hold. sent9: the amber is not a Psilotum if that it is a Mammutidae is not false. sent10: the fact that the middling is postganglionic and canonist does not hold if the subject is canonist. sent11: the fact that the subject is axiomatic is right if the tadalafil is a Psilotum. sent12: the middling is both postganglionic and not a canonist. sent13: if the amber is a kind of a Mammutidae then that the middling is not non-postganglionic and not non-canonist does not hold. sent14: the fact that the WMD is seminiferous and is not unicameral is incorrect. sent15: the fact that the tadalafil is a kind of a Psilotum is right if the WMD is not seminiferous and it is not unicameral. sent16: the subject is not a Psilotum. sent17: if the fact that the WMD is a kind of non-seminiferous thing that is not unicameral is not right then the amber is not a Mammutidae. sent18: that the tadalafil is seminiferous but it is not a Mammutidae if the amber is a Psilotum is not wrong. sent19: if the amber is not a Mammutidae the fact that the tadalafil is a Psilotum and is not a kind of a Mammutidae is wrong.
void -> assump2: Let's assume that that that the WMD is not seminiferous and it is not unicameral does not hold hold.; sent17 & assump2 -> int1: the amber is not a Mammutidae.; void -> assump1: Let's assume that the amber is a Mammutidae.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the WMD is not seminiferous but non-unicameral.; int3 & sent15 -> int4: the tadalafil is a Psilotum.; int4 & sent11 -> int5: the subject is axiomatic.; int5 & sent3 -> int6: the subject is not a canonist.; int6 & sent2 -> int7: that the middling is a kind of postganglionic thing that is not a kind of a canonist is false.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the amber is a Mammutidae then that the middling is postganglionic thing that is not a kind of a canonist is incorrect. ; $context$ = sent1: that the fact that the WMD is not seminiferous and is unicameral is incorrect is right. sent2: if the subject is not a canonist the fact that the middling is postganglionic and is canonist is not true. sent3: if the subject is axiomatic then the fact that it is not a canonist hold. sent4: if the WMD is seminiferous and not unicameral the tadalafil is a Psilotum. sent5: the middling is not canonist and not unicameral. sent6: the archdeaconry is a canonist. sent7: the fact that the middling is postganglionic and is a kind of a canonist is incorrect. sent8: the fact that the WMD is not a canonist does not hold. sent9: the amber is not a Psilotum if that it is a Mammutidae is not false. sent10: the fact that the middling is postganglionic and canonist does not hold if the subject is canonist. sent11: the fact that the subject is axiomatic is right if the tadalafil is a Psilotum. sent12: the middling is both postganglionic and not a canonist. sent13: if the amber is a kind of a Mammutidae then that the middling is not non-postganglionic and not non-canonist does not hold. sent14: the fact that the WMD is seminiferous and is not unicameral is incorrect. sent15: the fact that the tadalafil is a kind of a Psilotum is right if the WMD is not seminiferous and it is not unicameral. sent16: the subject is not a Psilotum. sent17: if the fact that the WMD is a kind of non-seminiferous thing that is not unicameral is not right then the amber is not a Mammutidae. sent18: that the tadalafil is seminiferous but it is not a Mammutidae if the amber is a Psilotum is not wrong. sent19: if the amber is not a Mammutidae the fact that the tadalafil is a Psilotum and is not a kind of a Mammutidae is wrong. ; $proof$ = 
void -> assump2: Let's assume that that that the WMD is not seminiferous and it is not unicameral does not hold hold.; sent17 & assump2 -> int1: the amber is not a Mammutidae.; void -> assump1: Let's assume that the amber is a Mammutidae.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the WMD is not seminiferous but non-unicameral.; int3 & sent15 -> int4: the tadalafil is a Psilotum.; int4 & sent11 -> int5: the subject is axiomatic.; int5 & sent3 -> int6: the subject is not a canonist.; int6 & sent2 -> int7: that the middling is a kind of postganglionic thing that is not a kind of a canonist is false.; [assump1] & int7 -> hypothesis; __PROVED__