the continuance occurs if the evening boatmanship occurs.
sent1: the non-radiolucentness leads to that both the unbridgeableness and the evening boatmanship happens. sent2: if the radiolucentness occurs then the taxableness does not occur. sent3: if the fact that the taxableness occurs hold then the radiolucentness does not occur. sent4: the continuance occurs if the fact that the taxableness does not occur is not wrong. sent5: the taxableness does not occur if the fact that the evening boatmanship does not occur and the radiolucentness does not occur is not true.
void -> assump1: Let's assume that the evening boatmanship does not occur and the radiolucentness does not occur.; assump1 -> int1: the evening boatmanship does not occur.; void -> assump2: Let's assume that that the evening boatmanship happens is true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the evening boatmanship does not occur and the radiolucentness does not occur is incorrect.; int3 & sent5 -> int4: the taxableness does not occur.; int4 & sent4 -> int5: the continuance occurs.; [assump2] & int5 -> hypothesis;
the unbridgeableness occurs.
$hypothesis$ = the continuance occurs if the evening boatmanship occurs. ; $context$ = sent1: the non-radiolucentness leads to that both the unbridgeableness and the evening boatmanship happens. sent2: if the radiolucentness occurs then the taxableness does not occur. sent3: if the fact that the taxableness occurs hold then the radiolucentness does not occur. sent4: the continuance occurs if the fact that the taxableness does not occur is not wrong. sent5: the taxableness does not occur if the fact that the evening boatmanship does not occur and the radiolucentness does not occur is not true. ; $proof$ = 
void -> assump1: Let's assume that the evening boatmanship does not occur and the radiolucentness does not occur.; assump1 -> int1: the evening boatmanship does not occur.; void -> assump2: Let's assume that that the evening boatmanship happens is true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the evening boatmanship does not occur and the radiolucentness does not occur is incorrect.; int3 & sent5 -> int4: the taxableness does not occur.; int4 & sent4 -> int5: the continuance occurs.; [assump2] & int5 -> hypothesis; __PROVED__