the solid is tuneful.
sent1: the solid rotates Glaser and does not rotate lithomancy. sent2: if the replication cambers alligatorfish then it is tuneful. sent3: the solid is not a ideogram. sent4: if something rotates Glaser then it is tuneful. sent5: if that the solid is unseaworthy is correct then it does rotate lithomancy. sent6: the solid does not rotate lithomancy. sent7: the solid is genealogic and is not a NM. sent8: the fur does rotate Glaser. sent9: the thyroprotein is not tuneful. sent10: the roper rotates Glaser. sent11: the puree does rotate Glaser. sent12: the catastrophe is tuneful but it is not gubernatorial. sent13: the gilt is tuneful. sent14: the solid is undeniable. sent15: the solid pulsates. sent16: that something does rotate lithomancy and it does rotate Glaser is wrong if it is not genealogic. sent17: that the preemptor does not rotate Glaser is not correct.
sent4 -> int1: if the solid does rotate Glaser then it is tuneful.; sent1 -> int2: that the solid rotates Glaser is right.; int1 & int2 -> hypothesis;
the solid is not tuneful.
sent16 -> int3: that the barterer does rotate lithomancy and it does rotate Glaser is wrong if it is not genealogic.;
$hypothesis$ = the solid is tuneful. ; $context$ = sent1: the solid rotates Glaser and does not rotate lithomancy. sent2: if the replication cambers alligatorfish then it is tuneful. sent3: the solid is not a ideogram. sent4: if something rotates Glaser then it is tuneful. sent5: if that the solid is unseaworthy is correct then it does rotate lithomancy. sent6: the solid does not rotate lithomancy. sent7: the solid is genealogic and is not a NM. sent8: the fur does rotate Glaser. sent9: the thyroprotein is not tuneful. sent10: the roper rotates Glaser. sent11: the puree does rotate Glaser. sent12: the catastrophe is tuneful but it is not gubernatorial. sent13: the gilt is tuneful. sent14: the solid is undeniable. sent15: the solid pulsates. sent16: that something does rotate lithomancy and it does rotate Glaser is wrong if it is not genealogic. sent17: that the preemptor does not rotate Glaser is not correct. ; $proof$ = 
sent4 -> int1: if the solid does rotate Glaser then it is tuneful.; sent1 -> int2: that the solid rotates Glaser is right.; int1 & int2 -> hypothesis; __PROVED__