that the lingerie does denationalize lingerie and it is a waterskin is incorrect.
sent1: if the fact that something does not pass and does not splutter is false then it is not offstage. sent2: if there is something such that it splutters that the obsidian is not a pass and it does not splutters is false. sent3: the fact that the obsidian does not pass but it does splutter is incorrect. sent4: there is something such that the fact that it does splutter is right.
sent1 -> int1: if the fact that the obsidian is not a pass and it does not splutter is not true it is not offstage.; sent4 & sent2 -> int2: that the obsidian does not pass and does not splutter is not right.; int1 & int2 -> int3: the obsidian is not offstage.;
$hypothesis$ = that the lingerie does denationalize lingerie and it is a waterskin is incorrect. ; $context$ = sent1: if the fact that something does not pass and does not splutter is false then it is not offstage. sent2: if there is something such that it splutters that the obsidian is not a pass and it does not splutters is false. sent3: the fact that the obsidian does not pass but it does splutter is incorrect. sent4: there is something such that the fact that it does splutter is right. ; $proof$ = 
sent1 -> int1: if the fact that the obsidian is not a pass and it does not splutter is not true it is not offstage.; sent4 & sent2 -> int2: that the obsidian does not pass and does not splutter is not right.; int1 & int2 -> int3: the obsidian is not offstage.; __UNKNOWN__