that the placement does not occur if the greens happens does not hold.
sent1: the concurrence does not occur. sent2: if the placement happens and the greens happens then the collecting captivation does not occur. sent3: the elementalness happens. sent4: that the fistulousness does not occur is not wrong if the launching Szell happens. sent5: the strangulating Aesop occurs. sent6: the collecting captivation occurs if the elementalness occurs. sent7: the abolitionariness occurs. sent8: both the Neapolitanness and the placement happens if the elementalness does not occur. sent9: if the greensness happens the placement happens.
void -> assump2: Let's assume that the placement happens.; void -> assump1: Let's assume that the greens happens.; assump2 & assump1 -> int1: the placement and the greening happens.; int1 & sent2 -> int2: the collecting captivation does not occur.; sent6 & sent3 -> int3: the collecting captivation occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the placement does not occur.; [assump1] & int5 -> hypothesis;
the Neapolitanness and the hackwork occurs.
$hypothesis$ = that the placement does not occur if the greens happens does not hold. ; $context$ = sent1: the concurrence does not occur. sent2: if the placement happens and the greens happens then the collecting captivation does not occur. sent3: the elementalness happens. sent4: that the fistulousness does not occur is not wrong if the launching Szell happens. sent5: the strangulating Aesop occurs. sent6: the collecting captivation occurs if the elementalness occurs. sent7: the abolitionariness occurs. sent8: both the Neapolitanness and the placement happens if the elementalness does not occur. sent9: if the greensness happens the placement happens. ; $proof$ = 
void -> assump2: Let's assume that the placement happens.; void -> assump1: Let's assume that the greens happens.; assump2 & assump1 -> int1: the placement and the greening happens.; int1 & sent2 -> int2: the collecting captivation does not occur.; sent6 & sent3 -> int3: the collecting captivation occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the placement does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__