the fact that the techie does not jar mare is not false.
sent1: the techie does urticate banging. sent2: if the tempera does not kibitz then the fact that it is subclinical and does not urticate banging hold. sent3: if something does not jar Kyushu and/or it is a kind of a tachograph it is an umbilical. sent4: if something is not non-umbilical and it urticates banging it does not jar mare. sent5: the techie does not jar Kyushu and/or it is a tachograph if the carafe is not a tachograph. sent6: the carafe is a superorder. sent7: if something that is a kind of a superorder jars oviraptorid it is not a tachograph. sent8: that the tempera does not kibitz is true. sent9: if the tempera is subclinical and does not urticate banging then the legate does not urticate banging. sent10: something is a tachograph if that it is not a kind of a tachograph and does jar Kyushu does not hold. sent11: if the carafe is not a kind of a tachograph the techie jars Kyushu and/or is a tachograph. sent12: if the Phoebe does not jar oviraptorid the fact that the carafe is a powered that is not a superorder does not hold. sent13: The banging does urticate techie. sent14: that the Phoebe does not jar oviraptorid is not incorrect if something is a tachograph. sent15: if there is something such that the fact that it is not a kind of a powered hold then that the carafe is a kind of a superorder and it does jar oviraptorid is not wrong. sent16: if there is something such that it is not a powered the carafe is a superorder. sent17: if something is not an umbilical and/or it is a kind of a Scot it is not a kind of an umbilical. sent18: something is excusable if it is a indolence and it does search. sent19: if the legate is not a kind of an umbilical then the fact that the chaise is not a tachograph but it jars Kyushu is not correct.
sent7 -> int1: the carafe is not a kind of a tachograph if it is a superorder and it does jar oviraptorid.; sent3 -> int2: if the techie does not jar Kyushu and/or it is a tachograph it is an umbilical.; sent4 -> int3: if the techie is umbilical and urticates banging then it does not jar mare.;
the techie jars mare.
sent10 -> int4: if that the chaise is not a kind of a tachograph but it does jar Kyushu is not correct then the fact that it is a tachograph is not incorrect.; sent17 -> int5: the legate is not an umbilical if that it is not an umbilical and/or it is a kind of a Scot is not wrong.; sent2 & sent8 -> int6: the tempera is subclinical but it does not urticate banging.; sent9 & int6 -> int7: the legate does not urticate banging.;
$hypothesis$ = the fact that the techie does not jar mare is not false. ; $context$ = sent1: the techie does urticate banging. sent2: if the tempera does not kibitz then the fact that it is subclinical and does not urticate banging hold. sent3: if something does not jar Kyushu and/or it is a kind of a tachograph it is an umbilical. sent4: if something is not non-umbilical and it urticates banging it does not jar mare. sent5: the techie does not jar Kyushu and/or it is a tachograph if the carafe is not a tachograph. sent6: the carafe is a superorder. sent7: if something that is a kind of a superorder jars oviraptorid it is not a tachograph. sent8: that the tempera does not kibitz is true. sent9: if the tempera is subclinical and does not urticate banging then the legate does not urticate banging. sent10: something is a tachograph if that it is not a kind of a tachograph and does jar Kyushu does not hold. sent11: if the carafe is not a kind of a tachograph the techie jars Kyushu and/or is a tachograph. sent12: if the Phoebe does not jar oviraptorid the fact that the carafe is a powered that is not a superorder does not hold. sent13: The banging does urticate techie. sent14: that the Phoebe does not jar oviraptorid is not incorrect if something is a tachograph. sent15: if there is something such that the fact that it is not a kind of a powered hold then that the carafe is a kind of a superorder and it does jar oviraptorid is not wrong. sent16: if there is something such that it is not a powered the carafe is a superorder. sent17: if something is not an umbilical and/or it is a kind of a Scot it is not a kind of an umbilical. sent18: something is excusable if it is a indolence and it does search. sent19: if the legate is not a kind of an umbilical then the fact that the chaise is not a tachograph but it jars Kyushu is not correct. ; $proof$ = 
sent7 -> int1: the carafe is not a kind of a tachograph if it is a superorder and it does jar oviraptorid.; sent3 -> int2: if the techie does not jar Kyushu and/or it is a tachograph it is an umbilical.; sent4 -> int3: if the techie is umbilical and urticates banging then it does not jar mare.; __UNKNOWN__