the ethylene is not a rifampin.
sent1: if the fact that the vaporizer is binoculars is not false that the Oxbridge is not binoculars but it is inferior does not hold. sent2: if the instructions is not a clean and it is not a hymeneal then the handline is a clean. sent3: the fact that the instructions is a yesterday is not wrong. sent4: the fact that something is a midterm but it is not an inferior is not true if that it is a clean is right. sent5: if the ethylene is not botanic then that it is not autoplastic and it is forgetful is wrong. sent6: if that the instructions is a kind of a midterm that is not inferior is not true then the handline is not binoculars. sent7: the Hampshire is viral. sent8: the Oxbridge is not botanic and is not isothermic if there exists something such that it is not binoculars. sent9: if the fact that something is unclean thing that is a kind of a midterm is wrong that it is a rifampin does not hold. sent10: the Hampshire is not augitic. sent11: if the handline is a kind of a clean the fact that it is both non-inferior and a midterm does not hold. sent12: if something is a airstream it does not clean and it is a bonbon. sent13: the instructions is not a kind of a hymeneal but it is arteriolar if it is a kind of a yesterday. sent14: if the ethylene is a clean it is not a kind of a rifampin. sent15: the vaporizer is isothermic if that that that the ethylene is not autoplastic and not non-forgetful is not incorrect is not true is not incorrect. sent16: the Oxbridge is not binoculars but it is inferior if it is not non-hymeneal. sent17: the Oxbridge is a bonbon that is hymeneal. sent18: if there exists something such that that it is a kind of non-inferior thing that is a kind of a midterm is not correct the Oxbridge is not binoculars. sent19: that something is a kind of non-clean thing that is a kind of a midterm does not hold if it is botanic. sent20: the instructions is a kind of a airstream if the Hampshire is both not augitic and not non-viral. sent21: if something is isothermic then that it is binoculars is right.
void -> assump1: Let's assume that the ethylene is not botanic.; sent5 & assump1 -> int1: the fact that the ethylene is not autoplastic but it is forgetful does not hold.; int1 & sent15 -> int2: the vaporizer is isothermic.; sent21 -> int3: if the vaporizer is isothermic then it is binoculars.; int2 & int3 -> int4: the vaporizer is binoculars.; int4 & sent1 -> int5: the fact that the Oxbridge is both not binoculars and not non-inferior does not hold.; sent17 -> int6: the Oxbridge is a kind of a hymeneal.; sent16 & int6 -> int7: the Oxbridge is non-binoculars but it is an inferior.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ethylene is botanic.; sent19 -> int10: the fact that the ethylene is not clean but it is a kind of a midterm is not right if it is botanic.; int9 & int10 -> int11: the fact that the ethylene is not a clean but a midterm does not hold.; sent9 -> int12: the fact that the ethylene is not a kind of a rifampin is true if that it does not clean and it is a midterm is not right.; int11 & int12 -> hypothesis;
the ethylene is a kind of a rifampin.
sent12 -> int13: the instructions is not a clean but it is a bonbon if it is a kind of a airstream.; sent10 & sent7 -> int14: the Hampshire is non-augitic thing that is viral.; sent20 & int14 -> int15: the fact that the instructions is a airstream is not wrong.; int13 & int15 -> int16: the instructions is not clean but it is a bonbon.; int16 -> int17: that the instructions is not clean is true.; sent13 & sent3 -> int18: the instructions is a kind of non-hymeneal thing that is arteriolar.; int18 -> int19: the instructions is not a kind of a hymeneal.; int17 & int19 -> int20: the instructions is not a clean and it is not hymeneal.; sent2 & int20 -> int21: the handline is not unclean.; sent11 & int21 -> int22: that the handline is not an inferior but it is a midterm is not correct.; int22 -> int23: there is something such that the fact that it is both not inferior and a midterm is not right.; int23 & sent18 -> int24: that the Oxbridge is not binoculars hold.; int24 -> int25: there is something such that it is not binoculars.;
$hypothesis$ = the ethylene is not a rifampin. ; $context$ = sent1: if the fact that the vaporizer is binoculars is not false that the Oxbridge is not binoculars but it is inferior does not hold. sent2: if the instructions is not a clean and it is not a hymeneal then the handline is a clean. sent3: the fact that the instructions is a yesterday is not wrong. sent4: the fact that something is a midterm but it is not an inferior is not true if that it is a clean is right. sent5: if the ethylene is not botanic then that it is not autoplastic and it is forgetful is wrong. sent6: if that the instructions is a kind of a midterm that is not inferior is not true then the handline is not binoculars. sent7: the Hampshire is viral. sent8: the Oxbridge is not botanic and is not isothermic if there exists something such that it is not binoculars. sent9: if the fact that something is unclean thing that is a kind of a midterm is wrong that it is a rifampin does not hold. sent10: the Hampshire is not augitic. sent11: if the handline is a kind of a clean the fact that it is both non-inferior and a midterm does not hold. sent12: if something is a airstream it does not clean and it is a bonbon. sent13: the instructions is not a kind of a hymeneal but it is arteriolar if it is a kind of a yesterday. sent14: if the ethylene is a clean it is not a kind of a rifampin. sent15: the vaporizer is isothermic if that that that the ethylene is not autoplastic and not non-forgetful is not incorrect is not true is not incorrect. sent16: the Oxbridge is not binoculars but it is inferior if it is not non-hymeneal. sent17: the Oxbridge is a bonbon that is hymeneal. sent18: if there exists something such that that it is a kind of non-inferior thing that is a kind of a midterm is not correct the Oxbridge is not binoculars. sent19: that something is a kind of non-clean thing that is a kind of a midterm does not hold if it is botanic. sent20: the instructions is a kind of a airstream if the Hampshire is both not augitic and not non-viral. sent21: if something is isothermic then that it is binoculars is right. ; $proof$ = 
void -> assump1: Let's assume that the ethylene is not botanic.; sent5 & assump1 -> int1: the fact that the ethylene is not autoplastic but it is forgetful does not hold.; int1 & sent15 -> int2: the vaporizer is isothermic.; sent21 -> int3: if the vaporizer is isothermic then it is binoculars.; int2 & int3 -> int4: the vaporizer is binoculars.; int4 & sent1 -> int5: the fact that the Oxbridge is both not binoculars and not non-inferior does not hold.; sent17 -> int6: the Oxbridge is a kind of a hymeneal.; sent16 & int6 -> int7: the Oxbridge is non-binoculars but it is an inferior.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ethylene is botanic.; sent19 -> int10: the fact that the ethylene is not clean but it is a kind of a midterm is not right if it is botanic.; int9 & int10 -> int11: the fact that the ethylene is not a clean but a midterm does not hold.; sent9 -> int12: the fact that the ethylene is not a kind of a rifampin is true if that it does not clean and it is a midterm is not right.; int11 & int12 -> hypothesis; __PROVED__