if the maintaining Chagall does not occur that the maintaining stop and/or the non-Portugueseness happens is wrong.
sent1: the fact that the receptiveness happens if either the maintaining stop happens or the Portugueseness does not occur or both hold. sent2: the maintaining Chagall is brought about by the receptiveness.
void -> assump2: Let's assume that the maintaining stop and/or the non-Portugueseness occurs.; sent1 & assump2 -> int1: the receptiveness happens.; sent2 & int1 -> int2: the maintaining Chagall occurs.; void -> assump1: Let's assume that the maintaining Chagall does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that either the maintaining stop occurs or the Portugueseness does not occur or both is not right.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the maintaining Chagall does not occur that the maintaining stop and/or the non-Portugueseness happens is wrong. ; $context$ = sent1: the fact that the receptiveness happens if either the maintaining stop happens or the Portugueseness does not occur or both hold. sent2: the maintaining Chagall is brought about by the receptiveness. ; $proof$ = 
void -> assump2: Let's assume that the maintaining stop and/or the non-Portugueseness occurs.; sent1 & assump2 -> int1: the receptiveness happens.; sent2 & int1 -> int2: the maintaining Chagall occurs.; void -> assump1: Let's assume that the maintaining Chagall does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that either the maintaining stop occurs or the Portugueseness does not occur or both is not right.; [assump1] & int4 -> hypothesis; __PROVED__