the fact that there exists something such that it is exchangeable and is a kind of a Western does not hold.
sent1: the tester is a Western. sent2: the habitat is inactive. sent3: if that the viverrine is nonsurgical is not wrong that the vireo is non-apneic a battering hold. sent4: if the liver is unchangeable then the fact that the viverrine is parotid hold. sent5: if there is something such that it is a Ottoman then the tester is carboniferous and it drones closure. sent6: there is something such that it is exchangeable. sent7: the tester is a mass. sent8: the comfort is not rimless if the vireo is non-apneic a battering. sent9: if that something is not rimless is true that it is both a Western and not exchangeable is not correct. sent10: the tester is exchangeable. sent11: if there exists something such that the fact that it is a Western that is not exchangeable is not correct then the tester does extinguish Docetism. sent12: something is a kind of a Western. sent13: the hackee is a Ottoman. sent14: the liver is unchangeable if the habitat is inactive. sent15: that the overseer is exchangeable is not false. sent16: if something is carboniferous it does contribute habitat. sent17: if something is parotid that it is nonsurgical is correct.
sent10 & sent1 -> int1: the tester is exchangeable and it is a kind of a Western.; int1 -> hypothesis;
something does extinguish Docetism and does contribute habitat.
sent9 -> int2: if the comfort is not rimless then the fact that it is a Western and it is not exchangeable is not true.; sent17 -> int3: if the viverrine is parotid then it is nonsurgical.; sent14 & sent2 -> int4: that the liver is unchangeable is not false.; sent4 & int4 -> int5: the viverrine is parotid.; int3 & int5 -> int6: the viverrine is nonsurgical.; sent3 & int6 -> int7: the vireo is not apneic but it is a battering.; sent8 & int7 -> int8: the comfort is not rimless.; int2 & int8 -> int9: the fact that the comfort is a Western but it is not exchangeable is false.; int9 -> int10: there is something such that the fact that it is a kind of a Western and it is unexchangeable is false.; int10 & sent11 -> int11: the tester extinguishes Docetism.; sent16 -> int12: the tester does contribute habitat if it is carboniferous.; sent13 -> int13: there exists something such that it is a kind of a Ottoman.; int13 & sent5 -> int14: the tester is carboniferous and does drone closure.; int14 -> int15: the tester is carboniferous.; int12 & int15 -> int16: the tester does contribute habitat.; int11 & int16 -> int17: the tester extinguishes Docetism and it contributes habitat.; int17 -> hypothesis;
$hypothesis$ = the fact that there exists something such that it is exchangeable and is a kind of a Western does not hold. ; $context$ = sent1: the tester is a Western. sent2: the habitat is inactive. sent3: if that the viverrine is nonsurgical is not wrong that the vireo is non-apneic a battering hold. sent4: if the liver is unchangeable then the fact that the viverrine is parotid hold. sent5: if there is something such that it is a Ottoman then the tester is carboniferous and it drones closure. sent6: there is something such that it is exchangeable. sent7: the tester is a mass. sent8: the comfort is not rimless if the vireo is non-apneic a battering. sent9: if that something is not rimless is true that it is both a Western and not exchangeable is not correct. sent10: the tester is exchangeable. sent11: if there exists something such that the fact that it is a Western that is not exchangeable is not correct then the tester does extinguish Docetism. sent12: something is a kind of a Western. sent13: the hackee is a Ottoman. sent14: the liver is unchangeable if the habitat is inactive. sent15: that the overseer is exchangeable is not false. sent16: if something is carboniferous it does contribute habitat. sent17: if something is parotid that it is nonsurgical is correct. ; $proof$ = 
sent10 & sent1 -> int1: the tester is exchangeable and it is a kind of a Western.; int1 -> hypothesis; __DISPROVED__