the phosphorescence nurses verse.
sent1: the bristle does not nurse verse. sent2: if something is not a kind of a erectness it is a kind of a germ and/or does not become lens. sent3: if the phosphorescence is not a kind of a AFL-CIO then that it is non-athletic thing that does overprint quarterdeck is incorrect. sent4: the phosphorescence is not a AFL-CIO. sent5: if something is not a kind of a AFL-CIO then that it does not overprint quarterdeck and is not Luxembourgian is not right. sent6: something does not become lens if it is a germ or does not become lens or both. sent7: something that does overprint quarterdeck nurses verse. sent8: if that something is not athletic and it does not overprint quarterdeck does not hold it does nurse verse. sent9: that the caput is a kind of a Anglican that is not a AFL-CIO is not correct if something does not become lens. sent10: if the phosphorescence does overprint quarterdeck the fact that it nurses verse hold. sent11: the butt becomes lens and it is a Anglican. sent12: if the phosphorescence is not a kind of a AFL-CIO then the fact that it is not athletic and it does not overprint quarterdeck is false. sent13: the artist is both not a erectness and not an emirate. sent14: something is not a AFL-CIO if it is a Anglican and it does nurse verse. sent15: something is a Julian if that the fact that it is a kind of non-unguiculate thing that does not nurse Satanist is not incorrect is not correct. sent16: that the phosphorescence is not athletic but it does overprint quarterdeck does not hold. sent17: the phosphorescence is a clout.
sent8 -> int1: that the phosphorescence nurses verse is correct if that it is not athletic and does not overprint quarterdeck does not hold.; sent12 & sent4 -> int2: the fact that the phosphorescence is not athletic and it does not overprint quarterdeck does not hold.; int1 & int2 -> hypothesis;
that the butt does not overprint quarterdeck and is not Luxembourgian is not right.
sent5 -> int3: if the butt is not a AFL-CIO then the fact that it does not overprint quarterdeck and it is not Luxembourgian does not hold.; sent14 -> int4: the butt is not a AFL-CIO if it is a Anglican and it does nurse verse.; sent11 -> int5: that the butt is a kind of a Anglican hold.;
$hypothesis$ = the phosphorescence nurses verse. ; $context$ = sent1: the bristle does not nurse verse. sent2: if something is not a kind of a erectness it is a kind of a germ and/or does not become lens. sent3: if the phosphorescence is not a kind of a AFL-CIO then that it is non-athletic thing that does overprint quarterdeck is incorrect. sent4: the phosphorescence is not a AFL-CIO. sent5: if something is not a kind of a AFL-CIO then that it does not overprint quarterdeck and is not Luxembourgian is not right. sent6: something does not become lens if it is a germ or does not become lens or both. sent7: something that does overprint quarterdeck nurses verse. sent8: if that something is not athletic and it does not overprint quarterdeck does not hold it does nurse verse. sent9: that the caput is a kind of a Anglican that is not a AFL-CIO is not correct if something does not become lens. sent10: if the phosphorescence does overprint quarterdeck the fact that it nurses verse hold. sent11: the butt becomes lens and it is a Anglican. sent12: if the phosphorescence is not a kind of a AFL-CIO then the fact that it is not athletic and it does not overprint quarterdeck is false. sent13: the artist is both not a erectness and not an emirate. sent14: something is not a AFL-CIO if it is a Anglican and it does nurse verse. sent15: something is a Julian if that the fact that it is a kind of non-unguiculate thing that does not nurse Satanist is not incorrect is not correct. sent16: that the phosphorescence is not athletic but it does overprint quarterdeck does not hold. sent17: the phosphorescence is a clout. ; $proof$ = 
sent8 -> int1: that the phosphorescence nurses verse is correct if that it is not athletic and does not overprint quarterdeck does not hold.; sent12 & sent4 -> int2: the fact that the phosphorescence is not athletic and it does not overprint quarterdeck does not hold.; int1 & int2 -> hypothesis; __PROVED__