the lobarness occurs.
sent1: that the viceroyship does not occur but the philandering Wollstonecraft occurs yields that the catapulting sabotage does not occur. sent2: the fact that the smoke but not the tangoing occurs is not right. sent3: if the smoking does not occur the catapulting sabotage occurs. sent4: the catapulting sabotage occurs if the fact that the smoke but not the tangoing occurs is incorrect. sent5: the scorbuticness occurs if the fact that not the viceroyship but the philandering Wollstonecraft happens is not right. sent6: the lobarness does not occur if the scorbuticness happens.
void -> assump1: Let's assume that the viceroyship does not occur and the philandering Wollstonecraft occurs.; sent1 & assump1 -> int1: the catapulting sabotage does not occur.; sent4 & sent2 -> int2: the catapulting sabotage occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that not the viceroyship but the philandering Wollstonecraft occurs is not true.; int4 & sent5 -> int5: the scorbuticness happens.; int5 & sent6 -> hypothesis;
$hypothesis$ = the lobarness occurs. ; $context$ = sent1: that the viceroyship does not occur but the philandering Wollstonecraft occurs yields that the catapulting sabotage does not occur. sent2: the fact that the smoke but not the tangoing occurs is not right. sent3: if the smoking does not occur the catapulting sabotage occurs. sent4: the catapulting sabotage occurs if the fact that the smoke but not the tangoing occurs is incorrect. sent5: the scorbuticness occurs if the fact that not the viceroyship but the philandering Wollstonecraft happens is not right. sent6: the lobarness does not occur if the scorbuticness happens. ; $proof$ = 
void -> assump1: Let's assume that the viceroyship does not occur and the philandering Wollstonecraft occurs.; sent1 & assump1 -> int1: the catapulting sabotage does not occur.; sent4 & sent2 -> int2: the catapulting sabotage occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that not the viceroyship but the philandering Wollstonecraft occurs is not true.; int4 & sent5 -> int5: the scorbuticness happens.; int5 & sent6 -> hypothesis; __DISPROVED__