the mandator is incurable.
sent1: that the quartering is not a concatenation but it is a kind of a anorchism is not right if that the kangaroo does nail isthmus hold. sent2: the fact that the quartering is both a anorchism and cross-sentential is not right. sent3: a concatenation is curable. sent4: the merganser is cross-sentential. sent5: the kangaroo is not a concatenation if it tools merganser. sent6: the merganser is summery if the argil is a peopled. sent7: the fact that the quartering does nail isthmus and it does tool merganser is incorrect. sent8: that the quartering is a anorchism and it is cross-sentential is not right if the kangaroo is a kind of a concatenation. sent9: the kangaroo is not a peopled if the quartering is not a peopled and is not a quillwort. sent10: the argil nails isthmus if that it does not nails isthmus and is not summery is incorrect. sent11: if the mandator is a quillwort then it is not mealy. sent12: the quartering tools bamboo if it is a anorchism. sent13: the mandator is a quillwort if the merganser is summery. sent14: if something tools bamboo then that it does nail isthmus and it tools merganser is not correct. sent15: if something tools bamboo the fact that it does not nail isthmus and it tools merganser is wrong. sent16: that the kangaroo is a concatenation is right. sent17: if the kangaroo does nail isthmus the mandator does nail isthmus. sent18: the wallop does people if the kangaroo does not tool bamboo and is not a kind of a people. sent19: something is a concatenation if it does tool bamboo. sent20: the quartering does not people and it is not a kind of a quillwort if the argil is summery. sent21: if the mandator is a quillwort it is both not curable and not mealy. sent22: if that the quartering does tool bamboo is not false that it nails isthmus and it tools merganser is not true. sent23: that the quartering is not a anorchism but it is cross-sentential does not hold if the kangaroo is a concatenation. sent24: if that the quartering does not nail isthmus and does tool merganser does not hold the argil is a peopled. sent25: if something does nail isthmus then it tools bamboo. sent26: the mandator is a kind of a quillwort if that that it is not a peopled and is mealy is not incorrect does not hold. sent27: the quartering tools bamboo if the fact that it is not a anorchism and it is cross-sentential is not correct.
sent23 & sent16 -> int1: the fact that the quartering is not a anorchism but it is cross-sentential is false.; int1 & sent27 -> int2: the quartering does tool bamboo.; sent15 -> int3: if the quartering tools bamboo that it does not nail isthmus and it does tool merganser does not hold.; int2 & int3 -> int4: that the quartering does not nail isthmus and tools merganser is wrong.; int4 & sent24 -> int5: that the argil does people is correct.; int5 & sent6 -> int6: that the merganser is summery is not incorrect.; int6 & sent13 -> int7: the mandator is a quillwort.; int7 & sent21 -> int8: the mandator is both not curable and not mealy.; int8 -> hypothesis;
the wallop is a peopled.
$hypothesis$ = the mandator is incurable. ; $context$ = sent1: that the quartering is not a concatenation but it is a kind of a anorchism is not right if that the kangaroo does nail isthmus hold. sent2: the fact that the quartering is both a anorchism and cross-sentential is not right. sent3: a concatenation is curable. sent4: the merganser is cross-sentential. sent5: the kangaroo is not a concatenation if it tools merganser. sent6: the merganser is summery if the argil is a peopled. sent7: the fact that the quartering does nail isthmus and it does tool merganser is incorrect. sent8: that the quartering is a anorchism and it is cross-sentential is not right if the kangaroo is a kind of a concatenation. sent9: the kangaroo is not a peopled if the quartering is not a peopled and is not a quillwort. sent10: the argil nails isthmus if that it does not nails isthmus and is not summery is incorrect. sent11: if the mandator is a quillwort then it is not mealy. sent12: the quartering tools bamboo if it is a anorchism. sent13: the mandator is a quillwort if the merganser is summery. sent14: if something tools bamboo then that it does nail isthmus and it tools merganser is not correct. sent15: if something tools bamboo the fact that it does not nail isthmus and it tools merganser is wrong. sent16: that the kangaroo is a concatenation is right. sent17: if the kangaroo does nail isthmus the mandator does nail isthmus. sent18: the wallop does people if the kangaroo does not tool bamboo and is not a kind of a people. sent19: something is a concatenation if it does tool bamboo. sent20: the quartering does not people and it is not a kind of a quillwort if the argil is summery. sent21: if the mandator is a quillwort it is both not curable and not mealy. sent22: if that the quartering does tool bamboo is not false that it nails isthmus and it tools merganser is not true. sent23: that the quartering is not a anorchism but it is cross-sentential does not hold if the kangaroo is a concatenation. sent24: if that the quartering does not nail isthmus and does tool merganser does not hold the argil is a peopled. sent25: if something does nail isthmus then it tools bamboo. sent26: the mandator is a kind of a quillwort if that that it is not a peopled and is mealy is not incorrect does not hold. sent27: the quartering tools bamboo if the fact that it is not a anorchism and it is cross-sentential is not correct. ; $proof$ = 
sent23 & sent16 -> int1: the fact that the quartering is not a anorchism but it is cross-sentential is false.; int1 & sent27 -> int2: the quartering does tool bamboo.; sent15 -> int3: if the quartering tools bamboo that it does not nail isthmus and it does tool merganser does not hold.; int2 & int3 -> int4: that the quartering does not nail isthmus and tools merganser is wrong.; int4 & sent24 -> int5: that the argil does people is correct.; int5 & sent6 -> int6: that the merganser is summery is not incorrect.; int6 & sent13 -> int7: the mandator is a quillwort.; int7 & sent21 -> int8: the mandator is both not curable and not mealy.; int8 -> hypothesis; __PROVED__