the fact that the fact that both the non-piscineness and the larvalness happens does not hold if the performance happens is not right.
sent1: the metaphysicalness occurs and/or the inshoreness happens. sent2: the rechauffe does not occur. sent3: if the destalinizing exposed does not occur then the fact that that both the non-piscineness and the larvalness occurs is not correct is not wrong. sent4: that the trundling fancy occurs or that the destalinizing exposed happens or both prevents that the performance happens. sent5: the bolide happens if the trundling fancy happens. sent6: the protesting gasoline triggers that the protesting don't-know does not occur.
void -> assump2: Let's assume that the performance happens.; void -> assump1: Let's assume that the destalinizing exposed happens.; assump1 -> int1: the trundling fancy occurs and/or the destalinizing exposed occurs.; sent4 & int1 -> int2: the performance does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the destalinizing exposed does not occur is correct.; sent3 & int4 -> int5: the fact that the non-piscineness and the larvalness happens does not hold.; [assump2] & int5 -> hypothesis;
the bolide occurs.
$hypothesis$ = the fact that the fact that both the non-piscineness and the larvalness happens does not hold if the performance happens is not right. ; $context$ = sent1: the metaphysicalness occurs and/or the inshoreness happens. sent2: the rechauffe does not occur. sent3: if the destalinizing exposed does not occur then the fact that that both the non-piscineness and the larvalness occurs is not correct is not wrong. sent4: that the trundling fancy occurs or that the destalinizing exposed happens or both prevents that the performance happens. sent5: the bolide happens if the trundling fancy happens. sent6: the protesting gasoline triggers that the protesting don't-know does not occur. ; $proof$ = 
void -> assump2: Let's assume that the performance happens.; void -> assump1: Let's assume that the destalinizing exposed happens.; assump1 -> int1: the trundling fancy occurs and/or the destalinizing exposed occurs.; sent4 & int1 -> int2: the performance does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the destalinizing exposed does not occur is correct.; sent3 & int4 -> int5: the fact that the non-piscineness and the larvalness happens does not hold.; [assump2] & int5 -> hypothesis; __DISPROVED__