the fact that the grad crows Gomorrah and does deduce is not true.
sent1: if the eptatretus is not a kind of a bronze the fact that the transudate is not a kind of a shooter and it is not neurotic is not right. sent2: there is something such that it is a rococo that is not Zairean. sent3: if the fact that something is not a kind of a triplet and it is not a rich is not true it is not a bronze. sent4: if that the methocarbamol does not crow Gomorrah is not false then the grad does crow Gomorrah and it does deduce. sent5: the methocarbamol is a kind of a bronze if the eptatretus does not crow Gomorrah. sent6: if the eptatretus is not a shooter then the transudate is a shooter and urinates. sent7: the eptatretus is a prediction if it does not urinate and does not mummify Ailurus. sent8: the fact that the terrain is not a rich and does damp counterclaim is not correct if it is cerebrovascular. sent9: something does not mummify Ailurus if that that it does not deduce and it does not crow Gomorrah is true is false. sent10: if the fact that the transudate is both not a shooter and not a neurotic is not true then the methocarbamol does not crow Gomorrah. sent11: that something is neurotic but it does not crow Gomorrah does not hold if it is a prediction. sent12: if something is not a kind of a mackintosh it does not urinate and it does not mummify Ailurus. sent13: the fact that something is not a triplet and not rich does not hold if it is a kind of a prediction. sent14: if something does not mummify verbolatry it is not biocatalytic. sent15: the transudate does not bronze. sent16: something is Zairean if it is not a kind of a physostigmine and does not crow vermifuge. sent17: the eptatretus is not a mackintosh if there exists something such that it is a kind of a rococo and it is non-Zairean.
sent2 & sent17 -> int1: the eptatretus is not a kind of a mackintosh.; sent12 -> int2: if the eptatretus is not a kind of a mackintosh then it does not urinate and does not mummify Ailurus.; int1 & int2 -> int3: the eptatretus does not urinate and it does not mummify Ailurus.; int3 & sent7 -> int4: the eptatretus is a kind of a prediction.; sent13 -> int5: if the eptatretus is a prediction then the fact that it is both not a triplet and not a rich does not hold.; int4 & int5 -> int6: that the eptatretus is not a triplet and it is not a kind of a rich is not right.; sent3 -> int7: if that the eptatretus is both not a triplet and not a rich does not hold then it is not a kind of a bronze.; int6 & int7 -> int8: the eptatretus is not a bronze.; int8 & sent1 -> int9: the fact that that the transudate is not a kind of a shooter and is not neurotic hold is incorrect.; int9 & sent10 -> int10: the methocarbamol does not crow Gomorrah.; int10 & sent4 -> hypothesis;
if the pimp is not a kind of a physostigmine and does not crow vermifuge it is Zairean.
sent16 -> hypothesis;
$hypothesis$ = the fact that the grad crows Gomorrah and does deduce is not true. ; $context$ = sent1: if the eptatretus is not a kind of a bronze the fact that the transudate is not a kind of a shooter and it is not neurotic is not right. sent2: there is something such that it is a rococo that is not Zairean. sent3: if the fact that something is not a kind of a triplet and it is not a rich is not true it is not a bronze. sent4: if that the methocarbamol does not crow Gomorrah is not false then the grad does crow Gomorrah and it does deduce. sent5: the methocarbamol is a kind of a bronze if the eptatretus does not crow Gomorrah. sent6: if the eptatretus is not a shooter then the transudate is a shooter and urinates. sent7: the eptatretus is a prediction if it does not urinate and does not mummify Ailurus. sent8: the fact that the terrain is not a rich and does damp counterclaim is not correct if it is cerebrovascular. sent9: something does not mummify Ailurus if that that it does not deduce and it does not crow Gomorrah is true is false. sent10: if the fact that the transudate is both not a shooter and not a neurotic is not true then the methocarbamol does not crow Gomorrah. sent11: that something is neurotic but it does not crow Gomorrah does not hold if it is a prediction. sent12: if something is not a kind of a mackintosh it does not urinate and it does not mummify Ailurus. sent13: the fact that something is not a triplet and not rich does not hold if it is a kind of a prediction. sent14: if something does not mummify verbolatry it is not biocatalytic. sent15: the transudate does not bronze. sent16: something is Zairean if it is not a kind of a physostigmine and does not crow vermifuge. sent17: the eptatretus is not a mackintosh if there exists something such that it is a kind of a rococo and it is non-Zairean. ; $proof$ = 
sent2 & sent17 -> int1: the eptatretus is not a kind of a mackintosh.; sent12 -> int2: if the eptatretus is not a kind of a mackintosh then it does not urinate and does not mummify Ailurus.; int1 & int2 -> int3: the eptatretus does not urinate and it does not mummify Ailurus.; int3 & sent7 -> int4: the eptatretus is a kind of a prediction.; sent13 -> int5: if the eptatretus is a prediction then the fact that it is both not a triplet and not a rich does not hold.; int4 & int5 -> int6: that the eptatretus is not a triplet and it is not a kind of a rich is not right.; sent3 -> int7: if that the eptatretus is both not a triplet and not a rich does not hold then it is not a kind of a bronze.; int6 & int7 -> int8: the eptatretus is not a bronze.; int8 & sent1 -> int9: the fact that that the transudate is not a kind of a shooter and is not neurotic hold is incorrect.; int9 & sent10 -> int10: the methocarbamol does not crow Gomorrah.; int10 & sent4 -> hypothesis; __DISPROVED__