that something does not numerate Bayrut and is not a ejector does not hold.
sent1: if the fact that the inhalation is unnatural but it is not a Guinean is wrong then the wedge dickers. sent2: there exists something such that it is not a ejector. sent3: the ultrasound does not numerate Bayrut. sent4: the fact that something numerates Bayrut but it is not a ejector is right. sent5: the stateroom accretes and is nebular. sent6: if the stateroom is not unnatural then the fact that it accretes and does dicker is wrong. sent7: there is something such that it is a fistula. sent8: there is something such that it accretes. sent9: the stateroom accretes. sent10: if the inhalation bars metalwork the ultrasound does not numerate Bayrut and it is not a ejector. sent11: the ultrasound does not numerate Bayrut if the inhalation does bar metalwork. sent12: that that the inhalation is both unnatural and a Guinean does not hold is right. sent13: the fact that something is both unnatural and not a Guinean does not hold if it does not bar metalwork. sent14: something numerates Myanmar and it bars subtreasury. sent15: something does not numerate Bayrut but it is a ejector. sent16: if the inhalation is Guinean the wedge dickers. sent17: the fact that the wedge does not dicker hold if there exists something such that it does accrete and is nebular.
sent13 -> int1: if the inhalation does not bar metalwork then that it is unnatural and it is not Guinean is wrong.; void -> assump1: Let's assume that the inhalation does not bar metalwork.; int1 & assump1 -> int2: that the inhalation is unnatural but not a Guinean is not correct.; int2 & sent1 -> int3: the fact that the wedge does dicker hold.; sent5 -> int4: the fact that something accretes and is nebular is correct.; int4 & sent17 -> int5: that the wedge does not dicker is not wrong.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the inhalation bars metalwork.; int7 & sent10 -> int8: the ultrasound does not numerate Bayrut and is not a ejector.; int8 -> hypothesis;
$hypothesis$ = that something does not numerate Bayrut and is not a ejector does not hold. ; $context$ = sent1: if the fact that the inhalation is unnatural but it is not a Guinean is wrong then the wedge dickers. sent2: there exists something such that it is not a ejector. sent3: the ultrasound does not numerate Bayrut. sent4: the fact that something numerates Bayrut but it is not a ejector is right. sent5: the stateroom accretes and is nebular. sent6: if the stateroom is not unnatural then the fact that it accretes and does dicker is wrong. sent7: there is something such that it is a fistula. sent8: there is something such that it accretes. sent9: the stateroom accretes. sent10: if the inhalation bars metalwork the ultrasound does not numerate Bayrut and it is not a ejector. sent11: the ultrasound does not numerate Bayrut if the inhalation does bar metalwork. sent12: that that the inhalation is both unnatural and a Guinean does not hold is right. sent13: the fact that something is both unnatural and not a Guinean does not hold if it does not bar metalwork. sent14: something numerates Myanmar and it bars subtreasury. sent15: something does not numerate Bayrut but it is a ejector. sent16: if the inhalation is Guinean the wedge dickers. sent17: the fact that the wedge does not dicker hold if there exists something such that it does accrete and is nebular. ; $proof$ = 
sent13 -> int1: if the inhalation does not bar metalwork then that it is unnatural and it is not Guinean is wrong.; void -> assump1: Let's assume that the inhalation does not bar metalwork.; int1 & assump1 -> int2: that the inhalation is unnatural but not a Guinean is not correct.; int2 & sent1 -> int3: the fact that the wedge does dicker hold.; sent5 -> int4: the fact that something accretes and is nebular is correct.; int4 & sent17 -> int5: that the wedge does not dicker is not wrong.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the inhalation bars metalwork.; int7 & sent10 -> int8: the ultrasound does not numerate Bayrut and is not a ejector.; int8 -> hypothesis; __DISPROVED__