the brasserie does narrate Grahame and/or is not a DLE.
sent1: there is something such that the fact that it narrates Grahame and is a DLE is not incorrect. sent2: the clinch does not uncork Gwyn if something that does not bind pyrometer binds confirmation. sent3: if something does not uncork Gwyn but it is a DLE then the clinch does not narrate Grahame. sent4: there is something such that it does not uncork Gwyn. sent5: there is something such that it does not narrate Grahame and it is a kind of a DLE. sent6: the brasserie is non-transeunt. sent7: the clinch does not narrate Grahame if something that is not a kind of a DLE uncorks Gwyn. sent8: the brasserie does uncork Gwyn. sent9: the clinch binds pyrometer. sent10: if that the clinch does narrate Grahame or it is not a DLE or both is not true then the brasserie uncorks Gwyn. sent11: the clinch does narrate Grahame or it does not uncork Gwyn or both. sent12: the brasserie does bind pyrometer. sent13: if there is something such that it is not a DLE and narrates Grahame the clinch does not uncork Gwyn. sent14: something does not bind pyrometer and does bind confirmation. sent15: that something does not bind Benzoin and binds mainland is not false.
void -> assump1: Let's assume that that the brasserie does narrate Grahame or it is not a DLE or both is incorrect.; sent14 & sent2 -> int1: the clinch does not uncork Gwyn.;
$hypothesis$ = the brasserie does narrate Grahame and/or is not a DLE. ; $context$ = sent1: there is something such that the fact that it narrates Grahame and is a DLE is not incorrect. sent2: the clinch does not uncork Gwyn if something that does not bind pyrometer binds confirmation. sent3: if something does not uncork Gwyn but it is a DLE then the clinch does not narrate Grahame. sent4: there is something such that it does not uncork Gwyn. sent5: there is something such that it does not narrate Grahame and it is a kind of a DLE. sent6: the brasserie is non-transeunt. sent7: the clinch does not narrate Grahame if something that is not a kind of a DLE uncorks Gwyn. sent8: the brasserie does uncork Gwyn. sent9: the clinch binds pyrometer. sent10: if that the clinch does narrate Grahame or it is not a DLE or both is not true then the brasserie uncorks Gwyn. sent11: the clinch does narrate Grahame or it does not uncork Gwyn or both. sent12: the brasserie does bind pyrometer. sent13: if there is something such that it is not a DLE and narrates Grahame the clinch does not uncork Gwyn. sent14: something does not bind pyrometer and does bind confirmation. sent15: that something does not bind Benzoin and binds mainland is not false. ; $proof$ = 
void -> assump1: Let's assume that that the brasserie does narrate Grahame or it is not a DLE or both is incorrect.; sent14 & sent2 -> int1: the clinch does not uncork Gwyn.; __UNKNOWN__