the shambles is uneventful.
sent1: the fact that that the lion-hunter does finish lion-hunter and is non-phonogramic is not wrong does not hold if the Declomycin is not a marathon. sent2: if the fact that the sketchbook is non-ovarian but not facultative is not true then the legislator is a sense. sent3: if the fact that the shambles is phonogramic but it is not uneventful is wrong then the lion-hunter does finish lion-hunter. sent4: if the lion-hunter is a nombril that is not a button-quail the Declomycin is a button-quail. sent5: the shambles is not eventful if the lion-hunter does not finish lion-hunter. sent6: the shambles is a marathon. sent7: the lion-hunter is a kind of a demand. sent8: if something is a button-quail then it is not a Hilo and not a marathon. sent9: if the fact that the lion-hunter is uneventful thing that does not finish lion-hunter does not hold then the shambles is phonogramic. sent10: if that the lion-hunter finishes lion-hunter and is not phonogramic does not hold then the shambles is uneventful. sent11: the lion-hunter is a kind of a nombril but it is not a button-quail if it is not a blini. sent12: if the fact that the Declomycin is a marathon but it is not phonogramic is wrong then that the lion-hunter is uneventful is not false. sent13: the Declomycin is not uneventful.
the shambles is not uneventful.
sent8 -> int1: if the Declomycin is a button-quail then it is not a Hilo and is not a kind of a marathon.;
$hypothesis$ = the shambles is uneventful. ; $context$ = sent1: the fact that that the lion-hunter does finish lion-hunter and is non-phonogramic is not wrong does not hold if the Declomycin is not a marathon. sent2: if the fact that the sketchbook is non-ovarian but not facultative is not true then the legislator is a sense. sent3: if the fact that the shambles is phonogramic but it is not uneventful is wrong then the lion-hunter does finish lion-hunter. sent4: if the lion-hunter is a nombril that is not a button-quail the Declomycin is a button-quail. sent5: the shambles is not eventful if the lion-hunter does not finish lion-hunter. sent6: the shambles is a marathon. sent7: the lion-hunter is a kind of a demand. sent8: if something is a button-quail then it is not a Hilo and not a marathon. sent9: if the fact that the lion-hunter is uneventful thing that does not finish lion-hunter does not hold then the shambles is phonogramic. sent10: if that the lion-hunter finishes lion-hunter and is not phonogramic does not hold then the shambles is uneventful. sent11: the lion-hunter is a kind of a nombril but it is not a button-quail if it is not a blini. sent12: if the fact that the Declomycin is a marathon but it is not phonogramic is wrong then that the lion-hunter is uneventful is not false. sent13: the Declomycin is not uneventful. ; $proof$ = 
__UNKNOWN__