the mausoleum is not a kind of a regimented.
sent1: something is non-Shuha if it is a screech. sent2: the mausoleum is non-exocentric if the fact that it does embower Crawford and is not coeliac is not correct. sent3: the mausoleum is not a kind of a screech. sent4: if the eukaryote is not a screech then the fact that the speakeasy is a screech and is not a ideation is not right. sent5: if something does not usher dinghy the speakeasy is exocentric. sent6: that if that something is a kind of Shuha thing that is not coeliac does not hold then it does not regiment is correct. sent7: either the eukaryote is not a kind of a poke or it is a ideation or both if the ombudsman is not a ideation. sent8: if something is Shuha that it is both not a poke and a ideation is not correct. sent9: if there exists something such that the fact that it is not exocentric is not false then the mausoleum does soldier. sent10: if the eukaryote is not Shuha then that the mausoleum is a kind of Shuha thing that is not coeliac is incorrect. sent11: if something is not a poke and/or it is a ideation then it is not Shuha. sent12: the mausoleum is exocentric and does usher dinghy if the speakeasy does not embower Crawford. sent13: there is something such that it does not usher dinghy. sent14: if the eukaryote is not Shuha that the mausoleum is Shuha and it is coeliac is false. sent15: the speakeasy does embower Crawford and is a kind of a screech. sent16: the eukaryote is a kind of a guardrail if something that is not a wish is not a comprehension. sent17: the ombudsman is not a ideation if that the speakeasy is a kind of exocentric thing that does embower Crawford is not wrong. sent18: if the fact that the fact that something is exocentric but it is not a screech hold is wrong that it does not poke is not wrong. sent19: the dinghy is not a wish and it is not a comprehension. sent20: the eukaryote is not a ideation if it does not poke and/or it is a kind of a screech. sent21: the fact that something is not a screech but it is coeliac does not hold if it is a guardrail. sent22: the eukaryote is a poke or a ideation or both if the ombudsman is not a ideation.
sent13 & sent5 -> int1: the speakeasy is exocentric.; sent15 -> int2: the speakeasy does embower Crawford.; int1 & int2 -> int3: the speakeasy is exocentric and does embower Crawford.; int3 & sent17 -> int4: the ombudsman is not a kind of a ideation.; int4 & sent7 -> int5: the eukaryote is not a poke or it is a kind of a ideation or both.; sent11 -> int6: the eukaryote is not Shuha if it is not a poke and/or is a ideation.; int5 & int6 -> int7: the eukaryote is not Shuha.; int7 & sent10 -> int8: that the mausoleum is Shuha but it is not coeliac is not true.; sent6 -> int9: the mausoleum is not a regimented if the fact that it is both Shuha and not coeliac is false.; int8 & int9 -> hypothesis;
the mausoleum regiments.
sent8 -> int10: that the ombudsman is not a kind of a poke but it is a kind of a ideation is wrong if it is Shuha.; sent21 -> int11: if the eukaryote is a guardrail then that it is not a screech and it is coeliac does not hold.; sent19 -> int12: something is not a wish and not a comprehension.; int12 & sent16 -> int13: the eukaryote is a guardrail.; int11 & int13 -> int14: the fact that the eukaryote is not a screech but it is coeliac is incorrect.; int14 -> int15: there is something such that the fact that it is not a screech and it is coeliac is not correct.;
$hypothesis$ = the mausoleum is not a kind of a regimented. ; $context$ = sent1: something is non-Shuha if it is a screech. sent2: the mausoleum is non-exocentric if the fact that it does embower Crawford and is not coeliac is not correct. sent3: the mausoleum is not a kind of a screech. sent4: if the eukaryote is not a screech then the fact that the speakeasy is a screech and is not a ideation is not right. sent5: if something does not usher dinghy the speakeasy is exocentric. sent6: that if that something is a kind of Shuha thing that is not coeliac does not hold then it does not regiment is correct. sent7: either the eukaryote is not a kind of a poke or it is a ideation or both if the ombudsman is not a ideation. sent8: if something is Shuha that it is both not a poke and a ideation is not correct. sent9: if there exists something such that the fact that it is not exocentric is not false then the mausoleum does soldier. sent10: if the eukaryote is not Shuha then that the mausoleum is a kind of Shuha thing that is not coeliac is incorrect. sent11: if something is not a poke and/or it is a ideation then it is not Shuha. sent12: the mausoleum is exocentric and does usher dinghy if the speakeasy does not embower Crawford. sent13: there is something such that it does not usher dinghy. sent14: if the eukaryote is not Shuha that the mausoleum is Shuha and it is coeliac is false. sent15: the speakeasy does embower Crawford and is a kind of a screech. sent16: the eukaryote is a kind of a guardrail if something that is not a wish is not a comprehension. sent17: the ombudsman is not a ideation if that the speakeasy is a kind of exocentric thing that does embower Crawford is not wrong. sent18: if the fact that the fact that something is exocentric but it is not a screech hold is wrong that it does not poke is not wrong. sent19: the dinghy is not a wish and it is not a comprehension. sent20: the eukaryote is not a ideation if it does not poke and/or it is a kind of a screech. sent21: the fact that something is not a screech but it is coeliac does not hold if it is a guardrail. sent22: the eukaryote is a poke or a ideation or both if the ombudsman is not a ideation. ; $proof$ = 
sent13 & sent5 -> int1: the speakeasy is exocentric.; sent15 -> int2: the speakeasy does embower Crawford.; int1 & int2 -> int3: the speakeasy is exocentric and does embower Crawford.; int3 & sent17 -> int4: the ombudsman is not a kind of a ideation.; int4 & sent7 -> int5: the eukaryote is not a poke or it is a kind of a ideation or both.; sent11 -> int6: the eukaryote is not Shuha if it is not a poke and/or is a ideation.; int5 & int6 -> int7: the eukaryote is not Shuha.; int7 & sent10 -> int8: that the mausoleum is Shuha but it is not coeliac is not true.; sent6 -> int9: the mausoleum is not a regimented if the fact that it is both Shuha and not coeliac is false.; int8 & int9 -> hypothesis; __PROVED__