the lauhala is non-electrocardiographic.
sent1: the afterdamp does not page busboy and is not mercantile if the Restoration does slenderize. sent2: the Restoration does overrefine Post if the stub is hemodynamic. sent3: the anus is not varicelliform but it is a Mancunian if the Hercules'-club is not microeconomics. sent4: the grizzle does use and is varicelliform if the lauhala is not a kind of a Mancunian. sent5: if the stub overrefines Post the Restoration overrefines Post. sent6: if something is a synonym then it is not electrocardiographic. sent7: the fact that something is a synonym is not false if that it is not a use and it is harmful does not hold. sent8: something slenderizes if it overrefines Post. sent9: if the decentralization is a synonym the lauhala is a synonym. sent10: the triolein does not page decentralization. sent11: the lauhala is electrocardiographic. sent12: the fact that the decentralization is not a use and is harmful is not correct if the fact that the iodine is not varicelliform hold. sent13: the stub overrefines Post and/or it is hemodynamic if the triolein does not page decentralization. sent14: that something does congratulate afterdamp and is non-abasic is not right if it does not page busboy. sent15: if the anus is not varicelliform and not non-Mancunian then the iodine is not varicelliform. sent16: something is electrocardiographic but it is not a synonym if the fact that it is harmful is not wrong. sent17: if something is a use then it is harmful.
sent11 -> hypothesis;
the grizzle is electrocardiographic.
sent16 -> int1: if the grizzle is not non-harmful then it is electrocardiographic and it is not a kind of a synonym.; sent17 -> int2: that the grizzle is not harmful is wrong if it uses.;
$hypothesis$ = the lauhala is non-electrocardiographic. ; $context$ = sent1: the afterdamp does not page busboy and is not mercantile if the Restoration does slenderize. sent2: the Restoration does overrefine Post if the stub is hemodynamic. sent3: the anus is not varicelliform but it is a Mancunian if the Hercules'-club is not microeconomics. sent4: the grizzle does use and is varicelliform if the lauhala is not a kind of a Mancunian. sent5: if the stub overrefines Post the Restoration overrefines Post. sent6: if something is a synonym then it is not electrocardiographic. sent7: the fact that something is a synonym is not false if that it is not a use and it is harmful does not hold. sent8: something slenderizes if it overrefines Post. sent9: if the decentralization is a synonym the lauhala is a synonym. sent10: the triolein does not page decentralization. sent11: the lauhala is electrocardiographic. sent12: the fact that the decentralization is not a use and is harmful is not correct if the fact that the iodine is not varicelliform hold. sent13: the stub overrefines Post and/or it is hemodynamic if the triolein does not page decentralization. sent14: that something does congratulate afterdamp and is non-abasic is not right if it does not page busboy. sent15: if the anus is not varicelliform and not non-Mancunian then the iodine is not varicelliform. sent16: something is electrocardiographic but it is not a synonym if the fact that it is harmful is not wrong. sent17: if something is a use then it is harmful. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__