the die is run-on and a somersault.
sent1: something is a kind of parametric thing that luxuriates cocksfoot. sent2: the die is a kind of a Timorese. sent3: there exists something such that it is not a kind of a speeder. sent4: something that is a Jesuit is run-on. sent5: the fact that the molehill is a Vandyke but it is not a plunge does not hold if something is not a Jesuit. sent6: the fact that the die is a kind of a aliquot but it is not incoherent is not right if that there exists something such that it is not a kind of a personage is true. sent7: if the die does bathe plowshare then it is a kind of a Jesuit. sent8: the fact that the die is parametric is not false. sent9: if something is not joyous then that the periwig luxuriates subaltern but it is not a la is incorrect. sent10: there exists something such that it is not a personage. sent11: the fact that if the fact that something is a aliquot but it is not incoherent is not correct that it is a kind of a somersault is not false is right. sent12: there is something such that the fact that it commercializes pause is not false. sent13: there is something such that that it is a personage is not false.
sent10 & sent6 -> int1: that that the die is a aliquot and is coherent is incorrect is not false.; sent11 -> int2: if that the die is a aliquot but it is not incoherent is wrong then it is a somersault.; int1 & int2 -> int3: the die somersaults.; sent4 -> int4: if the die is a kind of a Jesuit it is run-on.;
$hypothesis$ = the die is run-on and a somersault. ; $context$ = sent1: something is a kind of parametric thing that luxuriates cocksfoot. sent2: the die is a kind of a Timorese. sent3: there exists something such that it is not a kind of a speeder. sent4: something that is a Jesuit is run-on. sent5: the fact that the molehill is a Vandyke but it is not a plunge does not hold if something is not a Jesuit. sent6: the fact that the die is a kind of a aliquot but it is not incoherent is not right if that there exists something such that it is not a kind of a personage is true. sent7: if the die does bathe plowshare then it is a kind of a Jesuit. sent8: the fact that the die is parametric is not false. sent9: if something is not joyous then that the periwig luxuriates subaltern but it is not a la is incorrect. sent10: there exists something such that it is not a personage. sent11: the fact that if the fact that something is a aliquot but it is not incoherent is not correct that it is a kind of a somersault is not false is right. sent12: there is something such that the fact that it commercializes pause is not false. sent13: there is something such that that it is a personage is not false. ; $proof$ = 
sent10 & sent6 -> int1: that that the die is a aliquot and is coherent is incorrect is not false.; sent11 -> int2: if that the die is a aliquot but it is not incoherent is wrong then it is a somersault.; int1 & int2 -> int3: the die somersaults.; sent4 -> int4: if the die is a kind of a Jesuit it is run-on.; __UNKNOWN__