there is something such that if the fact that it is a kind of a Myrmecobius and it is a kind of a proprietorship does not hold then it is not a lopsidedness.
sent1: the keep orbs cassiterite if that it is a Myrmecobius and it is unorthodox is incorrect. sent2: something is not a lopsidedness if that it is a Myrmecobius and it is a proprietorship is not right. sent3: if something is not a proprietorship it is not a lopsidedness. sent4: if the keep is a Myrmecobius and a proprietorship then it is not a kind of a lopsidedness.
sent2 -> int1: if the fact that the keep is a Myrmecobius and it is a kind of a proprietorship is false then it is not a kind of a lopsidedness.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a kind of a Myrmecobius and it is a kind of a proprietorship does not hold then it is not a lopsidedness. ; $context$ = sent1: the keep orbs cassiterite if that it is a Myrmecobius and it is unorthodox is incorrect. sent2: something is not a lopsidedness if that it is a Myrmecobius and it is a proprietorship is not right. sent3: if something is not a proprietorship it is not a lopsidedness. sent4: if the keep is a Myrmecobius and a proprietorship then it is not a kind of a lopsidedness. ; $proof$ = 
sent2 -> int1: if the fact that the keep is a Myrmecobius and it is a kind of a proprietorship is false then it is not a kind of a lopsidedness.; int1 -> hypothesis; __PROVED__