if the affectation occurs then that the swab does not occur and/or the rousing does not occur is wrong.
sent1: that the questionableness and/or the non-sententialness happens does not hold. sent2: the spectacles and/or the non-Martianness occurs. sent3: if the corroding filament does not occur then the Roman does not occur and the affectation does not occur. sent4: if the swab does not occur the Roman happens. sent5: the affectation does not occur and the Romanness does not occur if the corroding filament does not occur. sent6: if the swab does not occur or the rousing does not occur or both then the Romanness happens. sent7: either the patrolling or the Siberian or both happens. sent8: that the swab does not occur or that the rousing does not occur or both is caused by that the affectation occurs. sent9: that the Roman occurs and/or that the prostheticness occurs triggers that the affectation happens. sent10: if the Romanness happens or the prostheticness happens or both then the affectation does not occur. sent11: the boycott happens. sent12: the investing does not occur and/or the penumbralness does not occur. sent13: if the affectation happens the swab happens. sent14: the prostheticness results in that the affectation does not occur.
void -> assump1: Let's assume that the swab does not occur or the rousing does not occur or both.; sent6 & assump1 -> int1: the Romanness happens.; int1 -> int2: either the Romanness or the prostheticness or both occurs.; int2 & sent10 -> int3: the affectation does not occur.; void -> assump2: Let's assume that the affectation happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that either the swabbing does not occur or the rousing does not occur or both is wrong.; [assump2] & int5 -> hypothesis;
the clawing terrain occurs.
$hypothesis$ = if the affectation occurs then that the swab does not occur and/or the rousing does not occur is wrong. ; $context$ = sent1: that the questionableness and/or the non-sententialness happens does not hold. sent2: the spectacles and/or the non-Martianness occurs. sent3: if the corroding filament does not occur then the Roman does not occur and the affectation does not occur. sent4: if the swab does not occur the Roman happens. sent5: the affectation does not occur and the Romanness does not occur if the corroding filament does not occur. sent6: if the swab does not occur or the rousing does not occur or both then the Romanness happens. sent7: either the patrolling or the Siberian or both happens. sent8: that the swab does not occur or that the rousing does not occur or both is caused by that the affectation occurs. sent9: that the Roman occurs and/or that the prostheticness occurs triggers that the affectation happens. sent10: if the Romanness happens or the prostheticness happens or both then the affectation does not occur. sent11: the boycott happens. sent12: the investing does not occur and/or the penumbralness does not occur. sent13: if the affectation happens the swab happens. sent14: the prostheticness results in that the affectation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the swab does not occur or the rousing does not occur or both.; sent6 & assump1 -> int1: the Romanness happens.; int1 -> int2: either the Romanness or the prostheticness or both occurs.; int2 & sent10 -> int3: the affectation does not occur.; void -> assump2: Let's assume that the affectation happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that either the swabbing does not occur or the rousing does not occur or both is wrong.; [assump2] & int5 -> hypothesis; __PROVED__