the exteriorness and/or the non-negligentness occurs.
sent1: the superficialness happens. sent2: that the sensorimotorness does not occur is caused by the exteriorness and/or the non-negligentness. sent3: the exteriorness does not occur. sent4: if the superficialness occurs the sensorimotorness occurs. sent5: that the shoot-down happens and/or that the zygomaticness does not occur triggers that the inhospitableness does not occur. sent6: that the exteriorness occurs leads to the non-sensorimotorness. sent7: the non-negligentness is brought about by that the superficialness does not occur and the sensorimotorness does not occur.
void -> assump1: Let's assume that either the exteriorness or the non-negligentness or both happens.; sent2 & assump1 -> int1: the sensorimotorness does not occur.; sent4 & sent1 -> int2: the sensorimotorness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the exteriorness happens and/or the negligentness does not occur.
$hypothesis$ = the exteriorness and/or the non-negligentness occurs. ; $context$ = sent1: the superficialness happens. sent2: that the sensorimotorness does not occur is caused by the exteriorness and/or the non-negligentness. sent3: the exteriorness does not occur. sent4: if the superficialness occurs the sensorimotorness occurs. sent5: that the shoot-down happens and/or that the zygomaticness does not occur triggers that the inhospitableness does not occur. sent6: that the exteriorness occurs leads to the non-sensorimotorness. sent7: the non-negligentness is brought about by that the superficialness does not occur and the sensorimotorness does not occur. ; $proof$ = 
void -> assump1: Let's assume that either the exteriorness or the non-negligentness or both happens.; sent2 & assump1 -> int1: the sensorimotorness does not occur.; sent4 & sent1 -> int2: the sensorimotorness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__