the tailback is not unforgettable and not rationalistic.
sent1: if the pyrene does not investigate tachogram the tailback is not unforgettable but non-rationalistic. sent2: the fact that the bachelor does propitiate hold. sent3: the bachelor does propitiate if there is something such that it is chancroidal. sent4: if the hacksaw is a flickertail the fact that the pyrene does not investigate tachogram and/or is a kind of a pellicle does not hold. sent5: the fact that the hacksaw is not a flickertail and is non-uniformed does not hold if the congener is phallic. sent6: if that the bachelor propitiates and is chancroidal does not hold the tailback is not chancroidal. sent7: if the fact that something is not a flickertail and is not a uniformed is not right that it is a flickertail hold. sent8: if there is something such that it is chancroidal then the bachelor does propitiate and it does compact buttermilk. sent9: that something propitiates and it is chancroidal is not right if it does not compact buttermilk. sent10: the fact that something is forgettable thing that is not rationalistic does not hold if it is not chancroidal. sent11: the tailback is not rationalistic. sent12: if the congener does not extend but it is a kind of a hypermarket then it is not non-phallic. sent13: if the pyrene does not investigate tachogram then the fact that the tailback is not rationalistic is right. sent14: there exists something such that it is chancroidal. sent15: if the fact that the pyrene does not investigate tachogram or it is a pellicle or both does not hold then the fact that the bachelor does not compact buttermilk is not false. sent16: the congener does not extend but it is a hypermarket if the germination is not an interconnection. sent17: if the fact that something is an interconnection but it is not eager is false then the fact that it is not an interconnection is not false. sent18: there is something such that it propitiates. sent19: the pyrene does not investigate tachogram if the bachelor does propitiate and it does compact buttermilk.
sent14 & sent8 -> int1: the bachelor does propitiate and does compact buttermilk.; sent19 & int1 -> int2: that the pyrene does not investigate tachogram is not wrong.; sent1 & int2 -> hypothesis;
the fact that the tailback is a kind of forgettable thing that is not rationalistic is not correct.
sent10 -> int3: if the tailback is not chancroidal then the fact that it is not unforgettable and it is not rationalistic is not true.; sent9 -> int4: the fact that if the bachelor does not compact buttermilk that the bachelor propitiates and is chancroidal is wrong is true.; sent7 -> int5: the hacksaw is a kind of a flickertail if that it is not a flickertail and not uniformed is incorrect.; sent17 -> int6: the germination is not an interconnection if the fact that it is both an interconnection and uneager is wrong.;
$hypothesis$ = the tailback is not unforgettable and not rationalistic. ; $context$ = sent1: if the pyrene does not investigate tachogram the tailback is not unforgettable but non-rationalistic. sent2: the fact that the bachelor does propitiate hold. sent3: the bachelor does propitiate if there is something such that it is chancroidal. sent4: if the hacksaw is a flickertail the fact that the pyrene does not investigate tachogram and/or is a kind of a pellicle does not hold. sent5: the fact that the hacksaw is not a flickertail and is non-uniformed does not hold if the congener is phallic. sent6: if that the bachelor propitiates and is chancroidal does not hold the tailback is not chancroidal. sent7: if the fact that something is not a flickertail and is not a uniformed is not right that it is a flickertail hold. sent8: if there is something such that it is chancroidal then the bachelor does propitiate and it does compact buttermilk. sent9: that something propitiates and it is chancroidal is not right if it does not compact buttermilk. sent10: the fact that something is forgettable thing that is not rationalistic does not hold if it is not chancroidal. sent11: the tailback is not rationalistic. sent12: if the congener does not extend but it is a kind of a hypermarket then it is not non-phallic. sent13: if the pyrene does not investigate tachogram then the fact that the tailback is not rationalistic is right. sent14: there exists something such that it is chancroidal. sent15: if the fact that the pyrene does not investigate tachogram or it is a pellicle or both does not hold then the fact that the bachelor does not compact buttermilk is not false. sent16: the congener does not extend but it is a hypermarket if the germination is not an interconnection. sent17: if the fact that something is an interconnection but it is not eager is false then the fact that it is not an interconnection is not false. sent18: there is something such that it propitiates. sent19: the pyrene does not investigate tachogram if the bachelor does propitiate and it does compact buttermilk. ; $proof$ = 
sent14 & sent8 -> int1: the bachelor does propitiate and does compact buttermilk.; sent19 & int1 -> int2: that the pyrene does not investigate tachogram is not wrong.; sent1 & int2 -> hypothesis; __PROVED__