the authorship does not occur.
sent1: that the tinning humate does not occur is triggered by that the irritation does not occur. sent2: if the fact that the roofing salsify occurs is not false then either the non-sidearmness or the impedance or both happens. sent3: the roofing salsify occurs. sent4: if the sidearmness does not occur or the impedance occurs or both the lunge does not occur. sent5: the tinning slipping does not occur and the advent does not occur if the fact that the authorship occurs is false. sent6: the sidearmness and/or the impedance happens if the roofing salsify occurs. sent7: the tinning Callirhoe does not occur and the bespangling occurs if the advent does not occur. sent8: the fact that the tinning Callirhoe does not occur but the bespangling occurs is false if the lunge does not occur. sent9: the bespangling occurs.
void -> assump1: Let's assume that the authorship does not occur.; sent5 & assump1 -> int1: the tinning slipping does not occur and the advent does not occur.; int1 -> int2: the advent does not occur.; int2 & sent7 -> int3: not the tinning Callirhoe but the bespangling occurs.; sent2 & sent3 -> int4: the non-sidearmness and/or the impedance occurs.; sent4 & int4 -> int5: the lunging does not occur.; sent8 & int5 -> int6: that not the tinning Callirhoe but the bespangling occurs is not right.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the authorship does not occur. ; $context$ = sent1: that the tinning humate does not occur is triggered by that the irritation does not occur. sent2: if the fact that the roofing salsify occurs is not false then either the non-sidearmness or the impedance or both happens. sent3: the roofing salsify occurs. sent4: if the sidearmness does not occur or the impedance occurs or both the lunge does not occur. sent5: the tinning slipping does not occur and the advent does not occur if the fact that the authorship occurs is false. sent6: the sidearmness and/or the impedance happens if the roofing salsify occurs. sent7: the tinning Callirhoe does not occur and the bespangling occurs if the advent does not occur. sent8: the fact that the tinning Callirhoe does not occur but the bespangling occurs is false if the lunge does not occur. sent9: the bespangling occurs. ; $proof$ = 
void -> assump1: Let's assume that the authorship does not occur.; sent5 & assump1 -> int1: the tinning slipping does not occur and the advent does not occur.; int1 -> int2: the advent does not occur.; int2 & sent7 -> int3: not the tinning Callirhoe but the bespangling occurs.; sent2 & sent3 -> int4: the non-sidearmness and/or the impedance occurs.; sent4 & int4 -> int5: the lunging does not occur.; sent8 & int5 -> int6: that not the tinning Callirhoe but the bespangling occurs is not right.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__