the frumenty is not quotable.
sent1: something is a antinode. sent2: if the numdah is not non-underhand the cradle is a knife. sent3: if the Jonathan is not a kind of a west then that the Luger is not a kind of a antinode but it is quotable is not right. sent4: if the Jonathan is a knife it does not derail bioflavinoid and is not a kind of a hamburger. sent5: the fact that something is not eventful and is sacramental does not hold if it is not a kind of a thirst. sent6: if the fact that the Jonathan is not sacramental is true it is a knife and is underhand. sent7: the fact that the pinite does not excise gaudy and is not an alfalfa is not right if it is not international. sent8: if something that does not derail bioflavinoid is not a hamburger the Luger is not a antinode. sent9: something is a west. sent10: the frumenty is not a antinode if the fact that the Luger is not a antinode and is quotable is false. sent11: the Luger is a antinode. sent12: the fact that something is a west that is not quotable is not right if it is not a antinode. sent13: if the Jonathan is eventful then it is not sacramental. sent14: the Jonathan is not a kind of a west and it does not derail bioflavinoid if the cradle is a hamburger. sent15: the Luger is west. sent16: something is a hamburger if it is a knife. sent17: something does perplex Zambia but it is not Mercurial if it excises gaudy. sent18: if that something is a kind of a west and it is a antinode is not wrong that the frumenty is not quotable hold. sent19: the guitar excises gaudy if the fact that the pinite does not excises gaudy and is not an alfalfa does not hold. sent20: something is not a thirst if it does perplex Zambia and it is not Mercurial. sent21: if that the guitar is non-eventful thing that is not non-sacramental does not hold the numdah is underhand.
sent15 & sent11 -> int1: the Luger is west a antinode.; int1 -> int2: something is a kind of a west and is a antinode.; int2 & sent18 -> hypothesis;
the frumenty is quotable.
sent12 -> int3: the fact that the Luger is a west and is not quotable is not right if it is not a antinode.;
$hypothesis$ = the frumenty is not quotable. ; $context$ = sent1: something is a antinode. sent2: if the numdah is not non-underhand the cradle is a knife. sent3: if the Jonathan is not a kind of a west then that the Luger is not a kind of a antinode but it is quotable is not right. sent4: if the Jonathan is a knife it does not derail bioflavinoid and is not a kind of a hamburger. sent5: the fact that something is not eventful and is sacramental does not hold if it is not a kind of a thirst. sent6: if the fact that the Jonathan is not sacramental is true it is a knife and is underhand. sent7: the fact that the pinite does not excise gaudy and is not an alfalfa is not right if it is not international. sent8: if something that does not derail bioflavinoid is not a hamburger the Luger is not a antinode. sent9: something is a west. sent10: the frumenty is not a antinode if the fact that the Luger is not a antinode and is quotable is false. sent11: the Luger is a antinode. sent12: the fact that something is a west that is not quotable is not right if it is not a antinode. sent13: if the Jonathan is eventful then it is not sacramental. sent14: the Jonathan is not a kind of a west and it does not derail bioflavinoid if the cradle is a hamburger. sent15: the Luger is west. sent16: something is a hamburger if it is a knife. sent17: something does perplex Zambia but it is not Mercurial if it excises gaudy. sent18: if that something is a kind of a west and it is a antinode is not wrong that the frumenty is not quotable hold. sent19: the guitar excises gaudy if the fact that the pinite does not excises gaudy and is not an alfalfa does not hold. sent20: something is not a thirst if it does perplex Zambia and it is not Mercurial. sent21: if that the guitar is non-eventful thing that is not non-sacramental does not hold the numdah is underhand. ; $proof$ = 
sent15 & sent11 -> int1: the Luger is west a antinode.; int1 -> int2: something is a kind of a west and is a antinode.; int2 & sent18 -> hypothesis; __PROVED__