the receptacle is promotional and/or is a kind of a Djiboutian.
sent1: something does not scoff lithophyte if that it is nontaxable and does scoff lithophyte does not hold. sent2: the scrag is a penology if that the prescription does not exalt broomstick but it is short-order is wrong. sent3: the prescription is not symphonic if that it does scoff drunk-and-disorderly and is symphonic is wrong. sent4: if a troopship is a penology the Lister is not fertile. sent5: the receptacle is nontaxable. sent6: the scrag is a troopship. sent7: the fact that something is not nontaxable but articulate does not hold if it is not fertile. sent8: something scoffs lithophyte if that either it is not a concerto or it dines or both does not hold. sent9: if the microscopist is not a concerto or does dine or both then the receptacle is promotional. sent10: if something is not symphonic then that it does not exalt broomstick and it is short-order is incorrect. sent11: the scum is promotional. sent12: something is a kind of a riel if that either it is not promotional or it is a ullage or both is wrong. sent13: if there exists something such that the fact that it is not nontaxable and it is articulate is not right then the mutagen does not scoff lithophyte. sent14: the lithophyte is not non-promotional. sent15: that the prescription does scoff drunk-and-disorderly and is symphonic does not hold. sent16: if the receptacle does not scoff lithophyte that the microscopist is promotional is correct. sent17: the microscopist is not Djiboutian or it thromboses or both.
sent8 -> int1: the microscopist scoffs lithophyte if the fact that the fact that it is not a kind of a concerto or it does dine or both is not false is false.; void -> assump1: Let's assume that the fact that the microscopist is not a concerto and/or does dine is wrong.; int1 & assump1 -> int2: the microscopist does scoff lithophyte.; sent1 -> int3: if that the microscopist is nontaxable thing that does scoff lithophyte does not hold then it does not scoff lithophyte.;
that the receptacle is promotional and/or it is a Djiboutian is not true.
sent7 -> int4: if the Lister is non-fertile that it is not nontaxable and is articulate is not right.; sent10 -> int5: that that the prescription does not exalt broomstick and is short-order is not true hold if it is not symphonic.; sent3 & sent15 -> int6: the prescription is not symphonic.; int5 & int6 -> int7: that the prescription does not exalt broomstick but it is short-order is not true.; sent2 & int7 -> int8: the scrag is a kind of a penology.; sent6 & int8 -> int9: the scrag is a troopship and a penology.; int9 -> int10: something is a troopship and it is a penology.; int10 & sent4 -> int11: the Lister is not fertile.; int4 & int11 -> int12: the fact that the Lister is both not nontaxable and not inarticulate is not true.; int12 -> int13: the fact that there is something such that the fact that it is not nontaxable and articulates is not true hold.; int13 & sent13 -> int14: the mutagen does not scoff lithophyte.; int14 -> int15: there is something such that that it does not scoff lithophyte is true.;
$hypothesis$ = the receptacle is promotional and/or is a kind of a Djiboutian. ; $context$ = sent1: something does not scoff lithophyte if that it is nontaxable and does scoff lithophyte does not hold. sent2: the scrag is a penology if that the prescription does not exalt broomstick but it is short-order is wrong. sent3: the prescription is not symphonic if that it does scoff drunk-and-disorderly and is symphonic is wrong. sent4: if a troopship is a penology the Lister is not fertile. sent5: the receptacle is nontaxable. sent6: the scrag is a troopship. sent7: the fact that something is not nontaxable but articulate does not hold if it is not fertile. sent8: something scoffs lithophyte if that either it is not a concerto or it dines or both does not hold. sent9: if the microscopist is not a concerto or does dine or both then the receptacle is promotional. sent10: if something is not symphonic then that it does not exalt broomstick and it is short-order is incorrect. sent11: the scum is promotional. sent12: something is a kind of a riel if that either it is not promotional or it is a ullage or both is wrong. sent13: if there exists something such that the fact that it is not nontaxable and it is articulate is not right then the mutagen does not scoff lithophyte. sent14: the lithophyte is not non-promotional. sent15: that the prescription does scoff drunk-and-disorderly and is symphonic does not hold. sent16: if the receptacle does not scoff lithophyte that the microscopist is promotional is correct. sent17: the microscopist is not Djiboutian or it thromboses or both. ; $proof$ = 
sent8 -> int1: the microscopist scoffs lithophyte if the fact that the fact that it is not a kind of a concerto or it does dine or both is not false is false.; void -> assump1: Let's assume that the fact that the microscopist is not a concerto and/or does dine is wrong.; int1 & assump1 -> int2: the microscopist does scoff lithophyte.; sent1 -> int3: if that the microscopist is nontaxable thing that does scoff lithophyte does not hold then it does not scoff lithophyte.; __UNKNOWN__