the fact that both the jamming repletion and the selfness happens is not correct.
sent1: the jamming birdnesting occurs if the headlessness does not occur. sent2: if the Amharicness happens the jamming birdnesting happens. sent3: the fact that the Amharicness and/or the non-headlessness happens is right. sent4: if the jamming repletion does not occur the Botswananness does not occur. sent5: that the deficientness and the self occurs is brought about by that the embrowning Chechen does not occur. sent6: the embrowning Chechen does not occur. sent7: if both the unsavoriness and the non-Botswananness happens the jamming birdnesting does not occur. sent8: that the jamming repletion does not occur results in that both the unsavoriness and the non-Botswananness happens.
void -> assump1: Let's assume that the fact that the jamming repletion does not occur is not wrong.; sent8 & assump1 -> int1: the unsavoriness happens but the Botswananness does not occur.; int1 & sent7 -> int2: the jamming birdnesting does not occur.; sent3 & sent2 & sent1 -> int3: the jamming birdnesting happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jamming repletion occurs.; sent5 & sent6 -> int6: the deficientness occurs and the selfness occurs.; int6 -> int7: the self happens.; int5 & int7 -> hypothesis;
$hypothesis$ = the fact that both the jamming repletion and the selfness happens is not correct. ; $context$ = sent1: the jamming birdnesting occurs if the headlessness does not occur. sent2: if the Amharicness happens the jamming birdnesting happens. sent3: the fact that the Amharicness and/or the non-headlessness happens is right. sent4: if the jamming repletion does not occur the Botswananness does not occur. sent5: that the deficientness and the self occurs is brought about by that the embrowning Chechen does not occur. sent6: the embrowning Chechen does not occur. sent7: if both the unsavoriness and the non-Botswananness happens the jamming birdnesting does not occur. sent8: that the jamming repletion does not occur results in that both the unsavoriness and the non-Botswananness happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the jamming repletion does not occur is not wrong.; sent8 & assump1 -> int1: the unsavoriness happens but the Botswananness does not occur.; int1 & sent7 -> int2: the jamming birdnesting does not occur.; sent3 & sent2 & sent1 -> int3: the jamming birdnesting happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jamming repletion occurs.; sent5 & sent6 -> int6: the deficientness occurs and the selfness occurs.; int6 -> int7: the self happens.; int5 & int7 -> hypothesis; __DISPROVED__