the flyweight is not a curbstone.
sent1: there exists something such that it toughens. sent2: something is an expulsion that is a curbstone if it does not nag godparent. sent3: if the blini is not valedictory then the bin is not Erasmian. sent4: there exists something such that it is altitudinal. sent5: if something is a sockeye the acarus is a Shinto. sent6: the blini nags godparent. sent7: if something does toughen and it is altitudinal the flyweight is not a curbstone. sent8: the salwar does nag Glaswegian and it is a quail. sent9: that the bin is not Erasmian is correct. sent10: if something is an expulsion then that it is not valedictory hold. sent11: the blini is an expulsion and does nag godparent. sent12: there is something such that it is a sockeye. sent13: the acarus is Shinto. sent14: if there is something such that it is a sockeye then the acarus is altitudinal and a Shinto. sent15: if the acarus is not non-altitudinal that the footboard is non-altitudinal hold. sent16: the footboard does toughen if that the bin is Erasmian or it is not valedictory or both is incorrect. sent17: if the blini is not valedictory that either the bin is Erasmian or it is not valedictory or both is not true.
sent11 -> int1: the blini is an expulsion.; sent10 -> int2: the blini is non-valedictory if it is an expulsion.; int1 & int2 -> int3: the blini is not valedictory.; int3 & sent17 -> int4: the fact that the bin either is Erasmian or is not valedictory or both is incorrect.; int4 & sent16 -> int5: the footboard does toughen.; sent12 & sent14 -> int6: the acarus is both altitudinal and a Shinto.; int6 -> int7: the acarus is altitudinal.; sent15 & int7 -> int8: the footboard is altitudinal.; int5 & int8 -> int9: the footboard does toughen and it is altitudinal.; int9 -> int10: there is something such that it toughens and it is altitudinal.; int10 & sent7 -> hypothesis;
the flyweight is a curbstone.
sent2 -> int11: the fact that the blini is an expulsion and a curbstone is correct if the fact that it does not nag godparent is not wrong.;
$hypothesis$ = the flyweight is not a curbstone. ; $context$ = sent1: there exists something such that it toughens. sent2: something is an expulsion that is a curbstone if it does not nag godparent. sent3: if the blini is not valedictory then the bin is not Erasmian. sent4: there exists something such that it is altitudinal. sent5: if something is a sockeye the acarus is a Shinto. sent6: the blini nags godparent. sent7: if something does toughen and it is altitudinal the flyweight is not a curbstone. sent8: the salwar does nag Glaswegian and it is a quail. sent9: that the bin is not Erasmian is correct. sent10: if something is an expulsion then that it is not valedictory hold. sent11: the blini is an expulsion and does nag godparent. sent12: there is something such that it is a sockeye. sent13: the acarus is Shinto. sent14: if there is something such that it is a sockeye then the acarus is altitudinal and a Shinto. sent15: if the acarus is not non-altitudinal that the footboard is non-altitudinal hold. sent16: the footboard does toughen if that the bin is Erasmian or it is not valedictory or both is incorrect. sent17: if the blini is not valedictory that either the bin is Erasmian or it is not valedictory or both is not true. ; $proof$ = 
sent11 -> int1: the blini is an expulsion.; sent10 -> int2: the blini is non-valedictory if it is an expulsion.; int1 & int2 -> int3: the blini is not valedictory.; int3 & sent17 -> int4: the fact that the bin either is Erasmian or is not valedictory or both is incorrect.; int4 & sent16 -> int5: the footboard does toughen.; sent12 & sent14 -> int6: the acarus is both altitudinal and a Shinto.; int6 -> int7: the acarus is altitudinal.; sent15 & int7 -> int8: the footboard is altitudinal.; int5 & int8 -> int9: the footboard does toughen and it is altitudinal.; int9 -> int10: there is something such that it toughens and it is altitudinal.; int10 & sent7 -> hypothesis; __PROVED__