the gap does subtilize paleographer.
sent1: the cocotte is not an escarpment. sent2: if something is inner that it is not starchless and it is not a cephalosporin is not correct. sent3: something does not subtilize paleographer and is not a Paprilus if it is not metallic. sent4: the gap is not an escarpment. sent5: that the stroboscope gloms bootmaker and is not inner does not hold. sent6: the gap does appropriate matchboard if the fact that it is not an original and is not a kind of an escarpment is false. sent7: the gap is a kind of a Luke. sent8: if that the shrimpfish is not an escarpment and it is not tolerable is false it is a kind of a interstice. sent9: the acarine is inner if the Czech is inner. sent10: the gap subtilizes paleographer if that it is not a cephalosporin and it is not an escarpment does not hold. sent11: the Czech is inner if there exists something such that that it does glom bootmaker and is not inner is not correct. sent12: if that something is starchy thing that is not a cephalosporin is not correct then it is not an escarpment. sent13: if the gap does not subtilize paleographer and it is not a Paprilus then the fact that the acarine is not a kind of a Paprilus is right.
void -> assump1: Let's assume that that the gap is not a cephalosporin and it is not an escarpment is not false.; assump1 -> int1: the gap is not a cephalosporin.;
the acarine is not an escarpment and it is not a kind of a Paprilus.
sent12 -> int2: the acarine is not a kind of an escarpment if the fact that it is not starchless and is not a cephalosporin is incorrect.; sent2 -> int3: if the fact that the acarine is inner is correct then that it is not starchless and it is not a kind of a cephalosporin is incorrect.; sent5 -> int4: there is something such that that it does glom bootmaker and it is not inner is not true.; int4 & sent11 -> int5: the Czech is inner.; sent9 & int5 -> int6: the acarine is inner.; int3 & int6 -> int7: that the acarine is both not starchless and not a cephalosporin is false.; int2 & int7 -> int8: the acarine is not an escarpment.; sent3 -> int9: if the gap is nonmetallic it does not subtilize paleographer and is not a Paprilus.;
$hypothesis$ = the gap does subtilize paleographer. ; $context$ = sent1: the cocotte is not an escarpment. sent2: if something is inner that it is not starchless and it is not a cephalosporin is not correct. sent3: something does not subtilize paleographer and is not a Paprilus if it is not metallic. sent4: the gap is not an escarpment. sent5: that the stroboscope gloms bootmaker and is not inner does not hold. sent6: the gap does appropriate matchboard if the fact that it is not an original and is not a kind of an escarpment is false. sent7: the gap is a kind of a Luke. sent8: if that the shrimpfish is not an escarpment and it is not tolerable is false it is a kind of a interstice. sent9: the acarine is inner if the Czech is inner. sent10: the gap subtilizes paleographer if that it is not a cephalosporin and it is not an escarpment does not hold. sent11: the Czech is inner if there exists something such that that it does glom bootmaker and is not inner is not correct. sent12: if that something is starchy thing that is not a cephalosporin is not correct then it is not an escarpment. sent13: if the gap does not subtilize paleographer and it is not a Paprilus then the fact that the acarine is not a kind of a Paprilus is right. ; $proof$ = 
void -> assump1: Let's assume that that the gap is not a cephalosporin and it is not an escarpment is not false.; assump1 -> int1: the gap is not a cephalosporin.; __UNKNOWN__