the jackscrew supples.
sent1: the spirograph is Malaysian. sent2: the barong sediments Astrophyton and is a kind of a Malaysian. sent3: the fact that the watcher is a vermicide hold. sent4: something is a vermicide if that the fact that it is not a kind of a bologram and it is hiplength hold is not true. sent5: if the spurge is hiplength that it is not a bologram and it is a kind of a vermicide is wrong. sent6: if the barong is a vermicide then that the jackscrew supples is true. sent7: the fact that the ferry is a vermicide is correct. sent8: if the fact that the spurge is a kind of a Malaysian but it is not a kind of a vermicide is incorrect then the barong is a Malaysian. sent9: if the barong sediments Astrophyton it is a vermicide. sent10: the fact that the spurge is not a bologram but it is hiplength does not hold if the no-show does not snivel. sent11: that if that the alewife is not a kind of the vermicide and/or it does sediment Astrophyton is incorrect the alewife is a kind of a Malaysian is right. sent12: if something is a kind of a snivel then it is hiplength and it is not a bologram. sent13: something that does sediment barong is a kind of a cockateel. sent14: if that something is not a bologram but it is a vermicide does not hold then it is a Malaysian. sent15: the spurge sediments Astrophyton if it is a kind of a vermicide. sent16: the barong is a Malaysian. sent17: if something does not supple then that it is not a kind of a vermicide and/or does sediment Astrophyton is false.
sent2 -> int1: the barong sediments Astrophyton.; int1 & sent9 -> int2: the barong is a kind of a vermicide.; int2 & sent6 -> hypothesis;
the warder is a cockateel if it does sediment barong.
sent13 -> hypothesis;
$hypothesis$ = the jackscrew supples. ; $context$ = sent1: the spirograph is Malaysian. sent2: the barong sediments Astrophyton and is a kind of a Malaysian. sent3: the fact that the watcher is a vermicide hold. sent4: something is a vermicide if that the fact that it is not a kind of a bologram and it is hiplength hold is not true. sent5: if the spurge is hiplength that it is not a bologram and it is a kind of a vermicide is wrong. sent6: if the barong is a vermicide then that the jackscrew supples is true. sent7: the fact that the ferry is a vermicide is correct. sent8: if the fact that the spurge is a kind of a Malaysian but it is not a kind of a vermicide is incorrect then the barong is a Malaysian. sent9: if the barong sediments Astrophyton it is a vermicide. sent10: the fact that the spurge is not a bologram but it is hiplength does not hold if the no-show does not snivel. sent11: that if that the alewife is not a kind of the vermicide and/or it does sediment Astrophyton is incorrect the alewife is a kind of a Malaysian is right. sent12: if something is a kind of a snivel then it is hiplength and it is not a bologram. sent13: something that does sediment barong is a kind of a cockateel. sent14: if that something is not a bologram but it is a vermicide does not hold then it is a Malaysian. sent15: the spurge sediments Astrophyton if it is a kind of a vermicide. sent16: the barong is a Malaysian. sent17: if something does not supple then that it is not a kind of a vermicide and/or does sediment Astrophyton is false. ; $proof$ = 
sent2 -> int1: the barong sediments Astrophyton.; int1 & sent9 -> int2: the barong is a kind of a vermicide.; int2 & sent6 -> hypothesis; __PROVED__