that the clockwork destains sodom if the polychrome is a concessionaire is not correct.
sent1: if the sodom is a Yamamoto then the clockwork is a weightlifter. sent2: if something is a weightlifter then the fact that it destains sodom is not wrong. sent3: the clockwork is a Yamamoto. sent4: there exists something such that it is not a kind of a Palestinian. sent5: there exists something such that it is a concessionaire. sent6: if there exists something such that that it is not a concessionaire but a Palestinian does not hold then the sodom is a Yamamoto. sent7: something welds imperial if that it does quench is not wrong.
void -> assump1: Let's assume that the polychrome is not a concessionaire but it is a kind of a Palestinian.; assump1 -> int1: the polychrome is not a concessionaire.; void -> assump2: Let's assume that the polychrome is a kind of a concessionaire.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the polychrome is not a concessionaire but Palestinian does not hold.; int3 -> int4: there exists something such that that it is not a concessionaire and it is Palestinian is incorrect.; int4 & sent6 -> int5: the fact that the sodom is a Yamamoto is not false.; int5 & sent1 -> int6: the clockwork is a weightlifter.; sent2 -> int7: if the clockwork is a weightlifter it does destain sodom.; int6 & int7 -> int8: the clockwork destains sodom.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that the clockwork destains sodom if the polychrome is a concessionaire is not correct. ; $context$ = sent1: if the sodom is a Yamamoto then the clockwork is a weightlifter. sent2: if something is a weightlifter then the fact that it destains sodom is not wrong. sent3: the clockwork is a Yamamoto. sent4: there exists something such that it is not a kind of a Palestinian. sent5: there exists something such that it is a concessionaire. sent6: if there exists something such that that it is not a concessionaire but a Palestinian does not hold then the sodom is a Yamamoto. sent7: something welds imperial if that it does quench is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the polychrome is not a concessionaire but it is a kind of a Palestinian.; assump1 -> int1: the polychrome is not a concessionaire.; void -> assump2: Let's assume that the polychrome is a kind of a concessionaire.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the polychrome is not a concessionaire but Palestinian does not hold.; int3 -> int4: there exists something such that that it is not a concessionaire and it is Palestinian is incorrect.; int4 & sent6 -> int5: the fact that the sodom is a Yamamoto is not false.; int5 & sent1 -> int6: the clockwork is a weightlifter.; sent2 -> int7: if the clockwork is a weightlifter it does destain sodom.; int6 & int7 -> int8: the clockwork destains sodom.; [assump2] & int8 -> hypothesis; __DISPROVED__