that the fact that the genicness does not occur hold if the shining does not occur is incorrect.
sent1: that the stabbing happens is right. sent2: the jingoism occurs. sent3: the brazenness does not occur. sent4: that the asymmetricalness does not occur is true. sent5: the perfidy happens. sent6: the geneticsness occurs. sent7: the spluttering boliviano occurs. sent8: that the impracticalness does not occur is not incorrect. sent9: the recombining hammock does not occur. sent10: the fact that the waste does not occur is not wrong. sent11: the genicness happens if the shining does not occur. sent12: the monocotyledonousness does not occur. sent13: the speed happens. sent14: the fact that the shining occurs is not wrong if the ideographicness occurs. sent15: if the spluttering boliviano does not occur the tweedling Champollion does not occur. sent16: the genicness yields that the ideographicness happens. sent17: the genicness does not occur if the shining happens.
void -> assump2: Let's assume that that the genicness occurs is not false.; sent16 & assump2 -> int1: the ideographicness happens.; sent14 & int1 -> int2: the shining happens.; void -> assump1: Let's assume that the shining does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the genicness does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the fact that the genicness does not occur hold if the shining does not occur is incorrect. ; $context$ = sent1: that the stabbing happens is right. sent2: the jingoism occurs. sent3: the brazenness does not occur. sent4: that the asymmetricalness does not occur is true. sent5: the perfidy happens. sent6: the geneticsness occurs. sent7: the spluttering boliviano occurs. sent8: that the impracticalness does not occur is not incorrect. sent9: the recombining hammock does not occur. sent10: the fact that the waste does not occur is not wrong. sent11: the genicness happens if the shining does not occur. sent12: the monocotyledonousness does not occur. sent13: the speed happens. sent14: the fact that the shining occurs is not wrong if the ideographicness occurs. sent15: if the spluttering boliviano does not occur the tweedling Champollion does not occur. sent16: the genicness yields that the ideographicness happens. sent17: the genicness does not occur if the shining happens. ; $proof$ = 
void -> assump2: Let's assume that that the genicness occurs is not false.; sent16 & assump2 -> int1: the ideographicness happens.; sent14 & int1 -> int2: the shining happens.; void -> assump1: Let's assume that the shining does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the genicness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__