the li is not nonarbitrable.
sent1: the li librates. sent2: the right librates. sent3: the buttercup is a kind of a tartar. sent4: the li is Argentine and overbears right. sent5: the slice is a Olympian if the fact that the strawboard does not resent oneness but it is passionless does not hold. sent6: if the fact that something librates and does not mutate Kisumu is wrong then it is not nonarbitrable. sent7: if the fact that the great-uncle is not an impacted is true the fact that the li does librate and does not mutate Kisumu does not hold. sent8: the li does librate and it is nonarbitrable if something does mutate Kisumu. sent9: there is something such that it mutates Kisumu. sent10: if there is something such that it does mutate Kisumu then the li librates. sent11: if that the strawboard is not a kind of a ECCM is right that it does not resent oneness and is passionless does not hold.
sent9 & sent8 -> int1: the li does librate and it is nonarbitrable.; int1 -> hypothesis;
the li is not nonarbitrable.
sent6 -> int2: the li is not nonarbitrable if that it does librate and does not mutate Kisumu is not right.;
$hypothesis$ = the li is not nonarbitrable. ; $context$ = sent1: the li librates. sent2: the right librates. sent3: the buttercup is a kind of a tartar. sent4: the li is Argentine and overbears right. sent5: the slice is a Olympian if the fact that the strawboard does not resent oneness but it is passionless does not hold. sent6: if the fact that something librates and does not mutate Kisumu is wrong then it is not nonarbitrable. sent7: if the fact that the great-uncle is not an impacted is true the fact that the li does librate and does not mutate Kisumu does not hold. sent8: the li does librate and it is nonarbitrable if something does mutate Kisumu. sent9: there is something such that it mutates Kisumu. sent10: if there is something such that it does mutate Kisumu then the li librates. sent11: if that the strawboard is not a kind of a ECCM is right that it does not resent oneness and is passionless does not hold. ; $proof$ = 
sent9 & sent8 -> int1: the li does librate and it is nonarbitrable.; int1 -> hypothesis; __DISPROVED__