the LCD is a balance.
sent1: something that does lysogenize rockcress is effortless. sent2: if something is effortless then the fact that it does subrogate Oliver and it is not cross-cultural does not hold. sent3: the rink is cross-cultural. sent4: there exists something such that it is a kind of a dialectic that is phonetics. sent5: if the rink subrogates Oliver the rockcress balances. sent6: the LCD subrogates Oliver if that the rink is a balance is correct. sent7: something that does not besot night-stop does lysogenize rockcress and is a comb-out. sent8: the rink does subrogate Oliver if the LCD does not subrogate Oliver and/or is effortless. sent9: the rockcress is cross-cultural if the rink does not subrogate Oliver. sent10: if the LCD does subrogate Oliver then the rink balances. sent11: that the rink does not subrogate Oliver is right. sent12: That the Oliver does not subrogate rink is right. sent13: the rockcress does subrogate Oliver if the rink is not cross-cultural. sent14: if there exists something such that it is dialectic thing that is phonetics then the fact that the rink does not besot night-stop is not incorrect. sent15: the rockcress does not subrogate Oliver.
sent9 & sent11 -> int1: the rockcress is cross-cultural.;
the LCD does not balance.
sent2 -> int2: the fact that the rink subrogates Oliver and is not cross-cultural is not correct if it is effortless.; sent1 -> int3: if the rink does lysogenize rockcress then it is effortless.; sent7 -> int4: the rink does lysogenize rockcress and is a comb-out if it does not besot night-stop.; sent4 & sent14 -> int5: the rink does not besot night-stop.; int4 & int5 -> int6: the rink lysogenizes rockcress and is a kind of a comb-out.; int6 -> int7: the rink does lysogenize rockcress.; int3 & int7 -> int8: the rink is effortless.; int2 & int8 -> int9: the fact that the rink does subrogate Oliver but it is not cross-cultural is incorrect.; int9 -> int10: there is something such that that it does subrogate Oliver and it is not cross-cultural does not hold.;
$hypothesis$ = the LCD is a balance. ; $context$ = sent1: something that does lysogenize rockcress is effortless. sent2: if something is effortless then the fact that it does subrogate Oliver and it is not cross-cultural does not hold. sent3: the rink is cross-cultural. sent4: there exists something such that it is a kind of a dialectic that is phonetics. sent5: if the rink subrogates Oliver the rockcress balances. sent6: the LCD subrogates Oliver if that the rink is a balance is correct. sent7: something that does not besot night-stop does lysogenize rockcress and is a comb-out. sent8: the rink does subrogate Oliver if the LCD does not subrogate Oliver and/or is effortless. sent9: the rockcress is cross-cultural if the rink does not subrogate Oliver. sent10: if the LCD does subrogate Oliver then the rink balances. sent11: that the rink does not subrogate Oliver is right. sent12: That the Oliver does not subrogate rink is right. sent13: the rockcress does subrogate Oliver if the rink is not cross-cultural. sent14: if there exists something such that it is dialectic thing that is phonetics then the fact that the rink does not besot night-stop is not incorrect. sent15: the rockcress does not subrogate Oliver. ; $proof$ = 
sent9 & sent11 -> int1: the rockcress is cross-cultural.; __UNKNOWN__