the fact that that the arming happens causes that not the navigating but the nightwork occurs does not hold.
sent1: the nightwork occurs. sent2: the arming occurs if the trolling Trachelospermum occurs and the navigating happens. sent3: the arming does not occur if the trolling Trachelospermum happens and the navigating happens. sent4: the trolling Trachelospermum happens. sent5: that the navigating happens and the orthopedicsness does not occur does not hold if the trolling Trachelospermum does not occur. sent6: if the fact that that the navigating but not the orthopedicsness happens is true is not true the orthopedicsness occurs.
void -> assump2: Let's assume that the navigating happens.; sent4 & assump2 -> int1: the trolling Trachelospermum and the navigating occurs.; int1 & sent3 -> int2: the arming does not occur.; void -> assump1: Let's assume that the arm occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the navigating does not occur.; int4 & sent1 -> int5: the navigating does not occur but the nightwork happens.; [assump1] & int5 -> hypothesis;
the orthopedicsness happens and the loticness happens.
$hypothesis$ = the fact that that the arming happens causes that not the navigating but the nightwork occurs does not hold. ; $context$ = sent1: the nightwork occurs. sent2: the arming occurs if the trolling Trachelospermum occurs and the navigating happens. sent3: the arming does not occur if the trolling Trachelospermum happens and the navigating happens. sent4: the trolling Trachelospermum happens. sent5: that the navigating happens and the orthopedicsness does not occur does not hold if the trolling Trachelospermum does not occur. sent6: if the fact that that the navigating but not the orthopedicsness happens is true is not true the orthopedicsness occurs. ; $proof$ = 
void -> assump2: Let's assume that the navigating happens.; sent4 & assump2 -> int1: the trolling Trachelospermum and the navigating occurs.; int1 & sent3 -> int2: the arming does not occur.; void -> assump1: Let's assume that the arm occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the navigating does not occur.; int4 & sent1 -> int5: the navigating does not occur but the nightwork happens.; [assump1] & int5 -> hypothesis; __DISPROVED__