the fact that the mid-off does not occur if the medium happens is not true.
sent1: the non-fineness is prevented by that the lens but not the Circus happens. sent2: that the ecarte but not the medium happens prevents that the fineness occurs. sent3: if both the mid-off and the fine occurs the medium does not occur. sent4: the lens does not occur and the Circus does not occur. sent5: the lens does not occur. sent6: the medium is caused by that the mid-off and the fineness happens. sent7: the gastricness occurs. sent8: the medium prevents that the mid-off does not occur. sent9: the leisure does not occur if that the leisure but not the mid-off happens is false. sent10: the fact that the leisure but not the mid-off occurs is not true if the fine does not occur. sent11: that the lens does not occur and the Circus does not occur prevents the non-fineness.
void -> assump2: Let's assume that the medium occurs.; void -> assump1: Let's assume that the mid-off occurs.; sent11 & sent4 -> int1: the fineness occurs.; assump1 & int1 -> int2: the mid-off and the fineness occurs.; sent3 & int2 -> int3: the medium does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mid-off does not occur.; [assump2] & int5 -> hypothesis;
that the leisure does not occur is not wrong.
$hypothesis$ = the fact that the mid-off does not occur if the medium happens is not true. ; $context$ = sent1: the non-fineness is prevented by that the lens but not the Circus happens. sent2: that the ecarte but not the medium happens prevents that the fineness occurs. sent3: if both the mid-off and the fine occurs the medium does not occur. sent4: the lens does not occur and the Circus does not occur. sent5: the lens does not occur. sent6: the medium is caused by that the mid-off and the fineness happens. sent7: the gastricness occurs. sent8: the medium prevents that the mid-off does not occur. sent9: the leisure does not occur if that the leisure but not the mid-off happens is false. sent10: the fact that the leisure but not the mid-off occurs is not true if the fine does not occur. sent11: that the lens does not occur and the Circus does not occur prevents the non-fineness. ; $proof$ = 
void -> assump2: Let's assume that the medium occurs.; void -> assump1: Let's assume that the mid-off occurs.; sent11 & sent4 -> int1: the fineness occurs.; assump1 & int1 -> int2: the mid-off and the fineness occurs.; sent3 & int2 -> int3: the medium does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mid-off does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__