the fact that if the fibbing happens both the non-microeconomicness and the non-Gauguinesqueness occurs is not true.
sent1: the Ramadan does not occur and the upholding does not occur. sent2: that both the Gauguinesqueness and the hating Pisonia happens is wrong if the Ramadan does not occur. sent3: if the fact that the Gauguinesqueness occurs and the hating Pisonia happens is wrong that the Gauguinesqueness does not occur hold. sent4: if the microeconomicness occurs the fibbing does not occur.
void -> assump2: Let's assume that that the microeconomicness occurs is right.; sent4 & assump2 -> int1: the fibbing does not occur.; void -> assump1: Let's assume that the fibbing occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the microeconomicness does not occur.; sent1 -> int4: the Ramadan does not occur.; sent2 & int4 -> int5: that the Gauguinesqueness and the hating Pisonia occurs does not hold.; sent3 & int5 -> int6: the Gauguinesqueness does not occur.; int3 & int6 -> int7: both the non-microeconomicness and the non-Gauguinesqueness happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that if the fibbing happens both the non-microeconomicness and the non-Gauguinesqueness occurs is not true. ; $context$ = sent1: the Ramadan does not occur and the upholding does not occur. sent2: that both the Gauguinesqueness and the hating Pisonia happens is wrong if the Ramadan does not occur. sent3: if the fact that the Gauguinesqueness occurs and the hating Pisonia happens is wrong that the Gauguinesqueness does not occur hold. sent4: if the microeconomicness occurs the fibbing does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the microeconomicness occurs is right.; sent4 & assump2 -> int1: the fibbing does not occur.; void -> assump1: Let's assume that the fibbing occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the microeconomicness does not occur.; sent1 -> int4: the Ramadan does not occur.; sent2 & int4 -> int5: that the Gauguinesqueness and the hating Pisonia occurs does not hold.; sent3 & int5 -> int6: the Gauguinesqueness does not occur.; int3 & int6 -> int7: both the non-microeconomicness and the non-Gauguinesqueness happens.; [assump1] & int7 -> hypothesis; __DISPROVED__