the fact that if the bestness occurs the compelling bracket happens does not hold.
sent1: the grumble does not occur. sent2: if the biologisticness does not occur then not the compelling bracket but the grumble happens. sent3: both the Indonesian and the on-siteness occurs if the grumble does not occur. sent4: the fact that the gingivalness and the rimlessness happens is not correct if the unchristianness happens. sent5: the Indonesian occurs. sent6: if the unchristianness happens the fact that the gingivalness happens but the rimlessness does not occur is wrong. sent7: the fact that the compelling bracket occurs hold if not the unchristianness but the on-siteness happens. sent8: the non-on-siteness causes the bestness and/or that the unchristianness happens. sent9: the bestness does not occur if that the gingivalness and the non-rimlessness happens does not hold. sent10: the on-siteness does not occur if that the on-siteness happens and the Indonesian occurs is false. sent11: the scenting modem occurs.
void -> assump2: Let's assume that the unchristianness happens.; sent6 & assump2 -> int1: the fact that both the gingivalness and the rimmedness occurs is false.; int1 & sent9 -> int2: the bestness does not occur.; void -> assump1: Let's assume that the bestness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the unchristianness does not occur.; sent3 & sent1 -> int5: both the Indonesianness and the on-siteness occurs.; int5 -> int6: the on-siteness occurs.; int4 & int6 -> int7: the non-unchristianness and the on-siteness happens.; int7 & sent7 -> int8: the compelling bracket happens.; [assump1] & int8 -> hypothesis;
the proconsularness occurs.
$hypothesis$ = the fact that if the bestness occurs the compelling bracket happens does not hold. ; $context$ = sent1: the grumble does not occur. sent2: if the biologisticness does not occur then not the compelling bracket but the grumble happens. sent3: both the Indonesian and the on-siteness occurs if the grumble does not occur. sent4: the fact that the gingivalness and the rimlessness happens is not correct if the unchristianness happens. sent5: the Indonesian occurs. sent6: if the unchristianness happens the fact that the gingivalness happens but the rimlessness does not occur is wrong. sent7: the fact that the compelling bracket occurs hold if not the unchristianness but the on-siteness happens. sent8: the non-on-siteness causes the bestness and/or that the unchristianness happens. sent9: the bestness does not occur if that the gingivalness and the non-rimlessness happens does not hold. sent10: the on-siteness does not occur if that the on-siteness happens and the Indonesian occurs is false. sent11: the scenting modem occurs. ; $proof$ = 
void -> assump2: Let's assume that the unchristianness happens.; sent6 & assump2 -> int1: the fact that both the gingivalness and the rimmedness occurs is false.; int1 & sent9 -> int2: the bestness does not occur.; void -> assump1: Let's assume that the bestness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the unchristianness does not occur.; sent3 & sent1 -> int5: both the Indonesianness and the on-siteness occurs.; int5 -> int6: the on-siteness occurs.; int4 & int6 -> int7: the non-unchristianness and the on-siteness happens.; int7 & sent7 -> int8: the compelling bracket happens.; [assump1] & int8 -> hypothesis; __DISPROVED__