the horsebox is not an advice.
sent1: there exists something such that it is not a smoker. sent2: the horsebox is an advice if the overpass is a slippage. sent3: there exists something such that it is not bacchantic. sent4: the turquoise devoices digit if something is not a smoker. sent5: something is not a kind of a brachiopod if it does devoice digit. sent6: the episode is not an advice. sent7: if the turquoise devoices digit then it is not a kind of a brachiopod. sent8: something is a smoker. sent9: something is not a brachiopod and devoices tangor if it is a kind of a slippage. sent10: the overpass is an advice. sent11: the turquoise is non-brachiopod. sent12: the overpass does devoice tangor. sent13: the overpass is a slippage if the turquoise is a kind of a brachiopod that devoices tangor. sent14: if the turquoise is not a brachiopod but it devoices tangor then the overpass is a slippage. sent15: if something devoices digit then it is a kind of non-brachiopod thing that does devoice tangor. sent16: the turquoise is non-brachiopod thing that is an advice. sent17: there exists something such that it is a Esaki. sent18: that the turquoise is an advice is true. sent19: if there exists something such that it is not a kind of a slippage the overpass is a brachiopod. sent20: if the overpass devoices tangor and is a kind of a slippage then the turquoise does devoice digit.
sent15 -> int1: if the turquoise devoices digit then it is not a brachiopod and devoices tangor.; sent1 & sent4 -> int2: the turquoise does devoice digit.; int1 & int2 -> int3: the turquoise is non-brachiopod thing that devoices tangor.; int3 & sent14 -> int4: the overpass is a slippage.; int4 & sent2 -> hypothesis;
$hypothesis$ = the horsebox is not an advice. ; $context$ = sent1: there exists something such that it is not a smoker. sent2: the horsebox is an advice if the overpass is a slippage. sent3: there exists something such that it is not bacchantic. sent4: the turquoise devoices digit if something is not a smoker. sent5: something is not a kind of a brachiopod if it does devoice digit. sent6: the episode is not an advice. sent7: if the turquoise devoices digit then it is not a kind of a brachiopod. sent8: something is a smoker. sent9: something is not a brachiopod and devoices tangor if it is a kind of a slippage. sent10: the overpass is an advice. sent11: the turquoise is non-brachiopod. sent12: the overpass does devoice tangor. sent13: the overpass is a slippage if the turquoise is a kind of a brachiopod that devoices tangor. sent14: if the turquoise is not a brachiopod but it devoices tangor then the overpass is a slippage. sent15: if something devoices digit then it is a kind of non-brachiopod thing that does devoice tangor. sent16: the turquoise is non-brachiopod thing that is an advice. sent17: there exists something such that it is a Esaki. sent18: that the turquoise is an advice is true. sent19: if there exists something such that it is not a kind of a slippage the overpass is a brachiopod. sent20: if the overpass devoices tangor and is a kind of a slippage then the turquoise does devoice digit. ; $proof$ = 
sent15 -> int1: if the turquoise devoices digit then it is not a brachiopod and devoices tangor.; sent1 & sent4 -> int2: the turquoise does devoice digit.; int1 & int2 -> int3: the turquoise is non-brachiopod thing that devoices tangor.; int3 & sent14 -> int4: the overpass is a slippage.; int4 & sent2 -> hypothesis; __DISPROVED__