the generic does not punish precedent.
sent1: if there is something such that that it is not Hungarian and does punish scabbard is not right then the haymow is a morphophoneme. sent2: the shard is a murre. sent3: that the grit is not Hungarian and punishes scabbard does not hold. sent4: the haymow is a morphophoneme if something does not punish scabbard. sent5: there exists something such that it is not a kind of a Hungarian and does punish scabbard. sent6: the fact that the grit punishes precedent and is a Hungarian is not right. sent7: something does not punish precedent if the fact that it punishes Campephilus is not wrong. sent8: the shard punishes scabbard. sent9: the shard is a pepper-and-salt if the haymow is a kind of a morphophoneme. sent10: if the shard is a Embothrium then the haymow does not punish Campephilus and is a Bible. sent11: there exists something such that that it is not a kind of a Hungarian and it is a pepper-and-salt is false. sent12: something is not a kind of a pepper-and-salt but it does punish precedent. sent13: if the haymow does not punish Campephilus and it is not a morphophoneme the shard does not punish Campephilus. sent14: the thermometer harlequins agaric. sent15: if something does not punish Campephilus and is a Bible it is a kind of a pepper-and-salt. sent16: the haymow does not punish Campephilus. sent17: the shard is tetanic. sent18: the thermometer does not harlequin yardarm.
sent3 -> int1: there is something such that the fact that it is non-Hungarian thing that does punish scabbard is not true.; int1 & sent1 -> int2: the haymow is a morphophoneme.; int2 & sent9 -> int3: the shard is a pepper-and-salt.; sent7 -> int4: if the generic does punish Campephilus it does not punish precedent.;
the generic punishes precedent.
sent15 -> int5: the haymow is a pepper-and-salt if it does not punish Campephilus and is a kind of a Bible.; sent18 & sent14 -> int6: the thermometer does not harlequin yardarm but it harlequins agaric.; int6 -> int7: there exists something such that that it does not harlequin yardarm and does harlequin agaric is true.;
$hypothesis$ = the generic does not punish precedent. ; $context$ = sent1: if there is something such that that it is not Hungarian and does punish scabbard is not right then the haymow is a morphophoneme. sent2: the shard is a murre. sent3: that the grit is not Hungarian and punishes scabbard does not hold. sent4: the haymow is a morphophoneme if something does not punish scabbard. sent5: there exists something such that it is not a kind of a Hungarian and does punish scabbard. sent6: the fact that the grit punishes precedent and is a Hungarian is not right. sent7: something does not punish precedent if the fact that it punishes Campephilus is not wrong. sent8: the shard punishes scabbard. sent9: the shard is a pepper-and-salt if the haymow is a kind of a morphophoneme. sent10: if the shard is a Embothrium then the haymow does not punish Campephilus and is a Bible. sent11: there exists something such that that it is not a kind of a Hungarian and it is a pepper-and-salt is false. sent12: something is not a kind of a pepper-and-salt but it does punish precedent. sent13: if the haymow does not punish Campephilus and it is not a morphophoneme the shard does not punish Campephilus. sent14: the thermometer harlequins agaric. sent15: if something does not punish Campephilus and is a Bible it is a kind of a pepper-and-salt. sent16: the haymow does not punish Campephilus. sent17: the shard is tetanic. sent18: the thermometer does not harlequin yardarm. ; $proof$ = 
sent3 -> int1: there is something such that the fact that it is non-Hungarian thing that does punish scabbard is not true.; int1 & sent1 -> int2: the haymow is a morphophoneme.; int2 & sent9 -> int3: the shard is a pepper-and-salt.; sent7 -> int4: if the generic does punish Campephilus it does not punish precedent.; __UNKNOWN__