the bearing is a Conrad and is unimportant.
sent1: if the crossbencher is not adient the fact that the morion is a kind of adient thing that is a missal is incorrect. sent2: if the polyanthus is not unimportant the bearing is a Conrad and it is unimportant. sent3: the diploid is repeatable if the fact that the morion does not blacklist masochism is not incorrect. sent4: the fact that the fact that the diploid is both a autoimmunity and not a litigant does not hold hold. sent5: The breadstick staves polyanthus. sent6: the polyanthus staves breadstick. sent7: something does not blacklist masochism if that it is adient and is a missal is not right. sent8: if that that something is both a autoimmunity and not a litigant is correct is false it is not repeatable. sent9: the diploid does not blacklist masochism. sent10: that the crossbencher is not adient hold if that the polyanthus does stave breadstick and is unimportant hold.
void -> assump1: Let's assume that the polyanthus is unimportant.; sent6 & assump1 -> int1: the polyanthus does stave breadstick and is unimportant.; int1 & sent10 -> int2: the crossbencher is not adient.; int2 & sent1 -> int3: that the morion is a kind of adient a missal is not right.; sent7 -> int4: if the fact that the morion is both adient and a missal does not hold it does not blacklist masochism.; int3 & int4 -> int5: the morion does not blacklist masochism.; int5 & sent3 -> int6: the diploid is repeatable.; sent8 -> int7: if that the diploid is a autoimmunity but it is not a litigant is not correct it is not repeatable.; int7 & sent4 -> int8: the diploid is not repeatable.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the polyanthus is not unimportant is not incorrect.; int10 & sent2 -> hypothesis;
$hypothesis$ = the bearing is a Conrad and is unimportant. ; $context$ = sent1: if the crossbencher is not adient the fact that the morion is a kind of adient thing that is a missal is incorrect. sent2: if the polyanthus is not unimportant the bearing is a Conrad and it is unimportant. sent3: the diploid is repeatable if the fact that the morion does not blacklist masochism is not incorrect. sent4: the fact that the fact that the diploid is both a autoimmunity and not a litigant does not hold hold. sent5: The breadstick staves polyanthus. sent6: the polyanthus staves breadstick. sent7: something does not blacklist masochism if that it is adient and is a missal is not right. sent8: if that that something is both a autoimmunity and not a litigant is correct is false it is not repeatable. sent9: the diploid does not blacklist masochism. sent10: that the crossbencher is not adient hold if that the polyanthus does stave breadstick and is unimportant hold. ; $proof$ = 
void -> assump1: Let's assume that the polyanthus is unimportant.; sent6 & assump1 -> int1: the polyanthus does stave breadstick and is unimportant.; int1 & sent10 -> int2: the crossbencher is not adient.; int2 & sent1 -> int3: that the morion is a kind of adient a missal is not right.; sent7 -> int4: if the fact that the morion is both adient and a missal does not hold it does not blacklist masochism.; int3 & int4 -> int5: the morion does not blacklist masochism.; int5 & sent3 -> int6: the diploid is repeatable.; sent8 -> int7: if that the diploid is a autoimmunity but it is not a litigant is not correct it is not repeatable.; int7 & sent4 -> int8: the diploid is not repeatable.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the polyanthus is not unimportant is not incorrect.; int10 & sent2 -> hypothesis; __PROVED__