the millet does not erase Kobus.
sent1: if something edges pro-lifer it does retrain. sent2: the cement is not a tarsal if the fact that the ex-mayor is a kind of dependent thing that is not a October does not hold. sent3: if something does retrain it does not edge Kigali and does not erase specification. sent4: if the ex-mayor retrains then the duster is air-to-surface. sent5: if there exists something such that that it edges printmaker is true the fact that the ex-mayor does not edge pro-lifer but it does blackmail uncheerfulness is not right. sent6: if that either the libration does erase specification or it does not erase Kobus or both is not true then it is independent. sent7: if that something is not a October and it does not erase Kobus is not correct it erase Kobus. sent8: something that does not erase specification is both tarsal and air-to-surface. sent9: the millet does not erase specification if the fact that the duster does not edge Kigali and does not erase specification is correct. sent10: there exists something such that it does edge printmaker. sent11: if there exists something such that it is not air-to-surface and it is not a tarsal the millet does not erase Kobus. sent12: the pro-lifer is not independent. sent13: if the libration is a October and independent then it is not a Rush. sent14: if something is independent the fact that it is not a kind of a October and does not erase Kobus is wrong. sent15: if the duster is both not a Rush and germfree that it is independent is true. sent16: the fact that the ex-mayor is not independent and it is not a October is incorrect if the duster is independent. sent17: the libration is a October and it is a tarsal if there are air-to-surface things. sent18: the duster is not a Rush but germfree. sent19: the cement is not air-to-surface. sent20: if something is a tarsal then it is independent.
sent15 & sent18 -> int1: the duster is not dependent.; int1 & sent16 -> int2: that the ex-mayor is not independent and it is not a October is incorrect.; int2 & sent2 -> int3: the cement is not tarsal.; int3 & sent19 -> int4: the cement is not air-to-surface and it is not a kind of a tarsal.; int4 -> int5: something is non-air-to-surface thing that is not tarsal.; int5 & sent11 -> hypothesis;
that the libration is not a kind of a Rush is correct.
$hypothesis$ = the millet does not erase Kobus. ; $context$ = sent1: if something edges pro-lifer it does retrain. sent2: the cement is not a tarsal if the fact that the ex-mayor is a kind of dependent thing that is not a October does not hold. sent3: if something does retrain it does not edge Kigali and does not erase specification. sent4: if the ex-mayor retrains then the duster is air-to-surface. sent5: if there exists something such that that it edges printmaker is true the fact that the ex-mayor does not edge pro-lifer but it does blackmail uncheerfulness is not right. sent6: if that either the libration does erase specification or it does not erase Kobus or both is not true then it is independent. sent7: if that something is not a October and it does not erase Kobus is not correct it erase Kobus. sent8: something that does not erase specification is both tarsal and air-to-surface. sent9: the millet does not erase specification if the fact that the duster does not edge Kigali and does not erase specification is correct. sent10: there exists something such that it does edge printmaker. sent11: if there exists something such that it is not air-to-surface and it is not a tarsal the millet does not erase Kobus. sent12: the pro-lifer is not independent. sent13: if the libration is a October and independent then it is not a Rush. sent14: if something is independent the fact that it is not a kind of a October and does not erase Kobus is wrong. sent15: if the duster is both not a Rush and germfree that it is independent is true. sent16: the fact that the ex-mayor is not independent and it is not a October is incorrect if the duster is independent. sent17: the libration is a October and it is a tarsal if there are air-to-surface things. sent18: the duster is not a Rush but germfree. sent19: the cement is not air-to-surface. sent20: if something is a tarsal then it is independent. ; $proof$ = 
sent15 & sent18 -> int1: the duster is not dependent.; int1 & sent16 -> int2: that the ex-mayor is not independent and it is not a October is incorrect.; int2 & sent2 -> int3: the cement is not tarsal.; int3 & sent19 -> int4: the cement is not air-to-surface and it is not a kind of a tarsal.; int4 -> int5: something is non-air-to-surface thing that is not tarsal.; int5 & sent11 -> hypothesis; __PROVED__