that the lacquer is not a Meir if the sole is simian does not hold.
sent1: there is something such that the fact that it is a Meir and it is not Israeli is not right. sent2: if the sole is simian then the lacquer is a Meir. sent3: the headset is not Israeli if there is something such that the fact that it does rhapsodize and is not a simian is wrong. sent4: something rhapsodizes but it is not simian. sent5: the sole rhapsodizes. sent6: if the headset is not a kind of a Israeli then the lacquer is not a Meir. sent7: the headset is not a Israeli if something does not rhapsodize. sent8: if the headset is not Israeli then the lacquer is a Meir.
void -> assump1: Let's assume that the sole is a kind of a simian.; void -> assump2: Let's assume that the sole does rhapsodize but it is not a simian.; assump2 -> int1: the sole is not a simian.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the sole does rhapsodize and is not simian does not hold.; int3 -> int4: there is something such that that it rhapsodizes and it is not simian is wrong.; int4 & sent3 -> int5: the headset is not a kind of a Israeli.; sent6 & int5 -> int6: the lacquer is not a Meir.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the lacquer is not a Meir if the sole is simian does not hold. ; $context$ = sent1: there is something such that the fact that it is a Meir and it is not Israeli is not right. sent2: if the sole is simian then the lacquer is a Meir. sent3: the headset is not Israeli if there is something such that the fact that it does rhapsodize and is not a simian is wrong. sent4: something rhapsodizes but it is not simian. sent5: the sole rhapsodizes. sent6: if the headset is not a kind of a Israeli then the lacquer is not a Meir. sent7: the headset is not a Israeli if something does not rhapsodize. sent8: if the headset is not Israeli then the lacquer is a Meir. ; $proof$ = 
void -> assump1: Let's assume that the sole is a kind of a simian.; void -> assump2: Let's assume that the sole does rhapsodize but it is not a simian.; assump2 -> int1: the sole is not a simian.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the sole does rhapsodize and is not simian does not hold.; int3 -> int4: there is something such that that it rhapsodizes and it is not simian is wrong.; int4 & sent3 -> int5: the headset is not a kind of a Israeli.; sent6 & int5 -> int6: the lacquer is not a Meir.; [assump1] & int6 -> hypothesis; __DISPROVED__