if the retardant is not knee-length then the fact that the dura tacks and it does quarantine pachycephalosaur is incorrect.
sent1: the fact that the Mycenaen is not life-support is not wrong. sent2: the Mycenaen is pacific if the retardant is not knee-length. sent3: there is something such that it does not litigate. sent4: something is not a kind of a bookishness. sent5: the fact that the dura does tack and does quarantine pachycephalosaur is not right if that the retardant is knee-length is true. sent6: that the dura is knee-length and it quarantines pachycephalosaur is not correct if the Mycenaen is not pacific. sent7: the dura is a generalization. sent8: if there exists something such that it is not a kind of a bookishness then the fact that the scourge does litigate is not incorrect. sent9: the Mycenaen is pacific if the retardant is knee-length. sent10: the culotte does not quarantine search if the retardant does not quarantine search and is not knee-length. sent11: the scourge does not litigate if the Mycenaen is pacific and it does quarantine search. sent12: if the scourge is not pacific the Mycenaen litigates. sent13: there exists something such that it is a tack. sent14: the dura is pacific. sent15: the Mycenaen does not numb. sent16: that the scourge is a kind of a tack and it is knee-length is not true if the retardant does litigate. sent17: if the retardant is not a tack then the dura is knee-length. sent18: the dura is pacific if something does not quarantine pachycephalosaur. sent19: there is something such that it does not quarantine luminary. sent20: if the retardant does quarantine search then that the Mycenaen is knee-length and it is pacific is not true.
void -> assump2: Let's assume that the retardant is non-knee-length.; sent2 & assump2 -> int1: the Mycenaen is pacific.; void -> assump1: Let's assume that the Mycenaen does quarantine search.; int1 & assump1 -> int2: the Mycenaen is pacific and it quarantines search.; int2 & sent11 -> int3: the scourge does not litigate.; sent4 & sent8 -> int4: the scourge does litigate.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mycenaen does not quarantine search.;
the culotte does not quarantine search.
$hypothesis$ = if the retardant is not knee-length then the fact that the dura tacks and it does quarantine pachycephalosaur is incorrect. ; $context$ = sent1: the fact that the Mycenaen is not life-support is not wrong. sent2: the Mycenaen is pacific if the retardant is not knee-length. sent3: there is something such that it does not litigate. sent4: something is not a kind of a bookishness. sent5: the fact that the dura does tack and does quarantine pachycephalosaur is not right if that the retardant is knee-length is true. sent6: that the dura is knee-length and it quarantines pachycephalosaur is not correct if the Mycenaen is not pacific. sent7: the dura is a generalization. sent8: if there exists something such that it is not a kind of a bookishness then the fact that the scourge does litigate is not incorrect. sent9: the Mycenaen is pacific if the retardant is knee-length. sent10: the culotte does not quarantine search if the retardant does not quarantine search and is not knee-length. sent11: the scourge does not litigate if the Mycenaen is pacific and it does quarantine search. sent12: if the scourge is not pacific the Mycenaen litigates. sent13: there exists something such that it is a tack. sent14: the dura is pacific. sent15: the Mycenaen does not numb. sent16: that the scourge is a kind of a tack and it is knee-length is not true if the retardant does litigate. sent17: if the retardant is not a tack then the dura is knee-length. sent18: the dura is pacific if something does not quarantine pachycephalosaur. sent19: there is something such that it does not quarantine luminary. sent20: if the retardant does quarantine search then that the Mycenaen is knee-length and it is pacific is not true. ; $proof$ = 
void -> assump2: Let's assume that the retardant is non-knee-length.; sent2 & assump2 -> int1: the Mycenaen is pacific.; void -> assump1: Let's assume that the Mycenaen does quarantine search.; int1 & assump1 -> int2: the Mycenaen is pacific and it quarantines search.; int2 & sent11 -> int3: the scourge does not litigate.; sent4 & sent8 -> int4: the scourge does litigate.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mycenaen does not quarantine search.; __UNKNOWN__