that either the forgery is thermostatics or it is not a syndicate or both does not hold.
sent1: the vermifuge is not astragalar. sent2: the fact that the forgery is not a piddock hold. sent3: the doze is not a kind of a piddock if it is not closed-circuit. sent4: the doze is not a kind of a produce. sent5: that if the vermifuge is thermostatics then that the vermifuge is long is not false is true. sent6: the forgery is non-thermostatics thing that does not traffic taboret. sent7: the doze is not a kind of a piddock if there exists something such that it is not a fiftieth and is not long. sent8: the vermifuge is not Ephesians. sent9: the doze is not a kind of a DP. sent10: the vermifuge is both not a fiftieth and not long if the oospore is not closed-circuit. sent11: the oospore does traffic taboret if it is closed-circuit. sent12: that the forgery is a fiftieth is not wrong. sent13: that if the doze is not thermostatics the fact that the forgery is thermostatics and/or it is not a syndicate is not right is right. sent14: the fact that the doze is a piddock and/or it is not closed-circuit does not hold if the oospore is not a kind of a piddock. sent15: the oospore is not thermostatics. sent16: if the fact that something is not a piddock is not wrong it is not thermostatics. sent17: the Kurdistan is long. sent18: there is something such that it does not traffic taboret and it is long. sent19: the oospore does not traffic taboret and is not a produce. sent20: the fact that the doze is a syndicate is right.
void -> assump1: Let's assume that the fact that the oospore is closed-circuit is true.; sent11 & assump1 -> int1: the oospore does traffic taboret.; sent19 -> int2: the oospore does not traffic taboret.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oospore is not closed-circuit.; int4 & sent10 -> int5: the vermifuge is not a fiftieth and it is not long.; int5 -> int6: there is something such that the fact that it is both not a fiftieth and not long is true.; int6 & sent7 -> int7: the doze is not a kind of a piddock.; sent16 -> int8: if the fact that the doze is not a kind of a piddock is true then it is not thermostatics.; int7 & int8 -> int9: the doze is not thermostatics.; int9 & sent13 -> hypothesis;
$hypothesis$ = that either the forgery is thermostatics or it is not a syndicate or both does not hold. ; $context$ = sent1: the vermifuge is not astragalar. sent2: the fact that the forgery is not a piddock hold. sent3: the doze is not a kind of a piddock if it is not closed-circuit. sent4: the doze is not a kind of a produce. sent5: that if the vermifuge is thermostatics then that the vermifuge is long is not false is true. sent6: the forgery is non-thermostatics thing that does not traffic taboret. sent7: the doze is not a kind of a piddock if there exists something such that it is not a fiftieth and is not long. sent8: the vermifuge is not Ephesians. sent9: the doze is not a kind of a DP. sent10: the vermifuge is both not a fiftieth and not long if the oospore is not closed-circuit. sent11: the oospore does traffic taboret if it is closed-circuit. sent12: that the forgery is a fiftieth is not wrong. sent13: that if the doze is not thermostatics the fact that the forgery is thermostatics and/or it is not a syndicate is not right is right. sent14: the fact that the doze is a piddock and/or it is not closed-circuit does not hold if the oospore is not a kind of a piddock. sent15: the oospore is not thermostatics. sent16: if the fact that something is not a piddock is not wrong it is not thermostatics. sent17: the Kurdistan is long. sent18: there is something such that it does not traffic taboret and it is long. sent19: the oospore does not traffic taboret and is not a produce. sent20: the fact that the doze is a syndicate is right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the oospore is closed-circuit is true.; sent11 & assump1 -> int1: the oospore does traffic taboret.; sent19 -> int2: the oospore does not traffic taboret.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oospore is not closed-circuit.; int4 & sent10 -> int5: the vermifuge is not a fiftieth and it is not long.; int5 -> int6: there is something such that the fact that it is both not a fiftieth and not long is true.; int6 & sent7 -> int7: the doze is not a kind of a piddock.; sent16 -> int8: if the fact that the doze is not a kind of a piddock is true then it is not thermostatics.; int7 & int8 -> int9: the doze is not thermostatics.; int9 & sent13 -> hypothesis; __PROVED__