the glue is suctorial and it is a grotesqueness.
sent1: the fact that something is suctorial thing that is a kind of a grotesqueness is not correct if it is not a Aramean. sent2: the antioxidant is not suctorial if the glue is not a grotesqueness but it is suctorial. sent3: if something is not suctorial the agonist bodes and is nordic. sent4: something is not a Aramean but it bodes if it is not a one-third. sent5: the glue is suctorial if the antioxidant is nordic. sent6: the glue is not a kind of a grotesqueness and is suctorial if it is not a popgun. sent7: something is a kind of a one-third if that it is a Aramean is not false. sent8: if the antioxidant is not a popgun that it is nordic and it is a kind of a one-third is wrong. sent9: the glue is a grotesqueness and a popgun. sent10: if that something is not Aramean and it is not a kind of a one-third is incorrect then it is nordic. sent11: the glue is not a popgun if it does not bawl Alaskan. sent12: something is nordic if it is a Aramean. sent13: the assemblywoman is a nonprofit but it does not mediate. sent14: the casuist does mediate and it is a kind of a gofer. sent15: if the glue does not perambulate but it is a creamery it does not bawl Alaskan. sent16: if a nonprofit is not mediate it does not bode.
sent16 -> int1: that the assemblywoman does not bode hold if it is a kind of a nonprofit and it is not mediate.; int1 & sent13 -> int2: the assemblywoman does not bode.; int2 -> int3: there is something such that that it does not bode hold.; sent10 -> int4: if that the fact that the antioxidant is both not Aramean and not a one-third is false is right then it is nordic.; sent9 -> int5: the glue is a kind of a grotesqueness.;
that the glue is suctorial and a grotesqueness is incorrect.
sent1 -> int6: if the glue is not a Aramean then the fact that it is suctorial and it is a grotesqueness is not right.; sent4 -> int7: the glue is not a kind of a Aramean and does bode if it is not a one-third.;
$hypothesis$ = the glue is suctorial and it is a grotesqueness. ; $context$ = sent1: the fact that something is suctorial thing that is a kind of a grotesqueness is not correct if it is not a Aramean. sent2: the antioxidant is not suctorial if the glue is not a grotesqueness but it is suctorial. sent3: if something is not suctorial the agonist bodes and is nordic. sent4: something is not a Aramean but it bodes if it is not a one-third. sent5: the glue is suctorial if the antioxidant is nordic. sent6: the glue is not a kind of a grotesqueness and is suctorial if it is not a popgun. sent7: something is a kind of a one-third if that it is a Aramean is not false. sent8: if the antioxidant is not a popgun that it is nordic and it is a kind of a one-third is wrong. sent9: the glue is a grotesqueness and a popgun. sent10: if that something is not Aramean and it is not a kind of a one-third is incorrect then it is nordic. sent11: the glue is not a popgun if it does not bawl Alaskan. sent12: something is nordic if it is a Aramean. sent13: the assemblywoman is a nonprofit but it does not mediate. sent14: the casuist does mediate and it is a kind of a gofer. sent15: if the glue does not perambulate but it is a creamery it does not bawl Alaskan. sent16: if a nonprofit is not mediate it does not bode. ; $proof$ = 
sent16 -> int1: that the assemblywoman does not bode hold if it is a kind of a nonprofit and it is not mediate.; int1 & sent13 -> int2: the assemblywoman does not bode.; int2 -> int3: there is something such that that it does not bode hold.; sent10 -> int4: if that the fact that the antioxidant is both not Aramean and not a one-third is false is right then it is nordic.; sent9 -> int5: the glue is a kind of a grotesqueness.; __UNKNOWN__