the controversy happens.
sent1: the controversy and the lysogenizing Ur occurs if the lysogenizing climax does not occur. sent2: if the fact that the lysogenizing knuckle happens but the lysogenizing Ur does not occur is false then the lysogenizing Ur happens. sent3: if the impermanentness does not occur both the knell and the lysogenizing Raphael occurs. sent4: the fact that the streaking does not occur but the sectarian occurs is not true. sent5: if the bloodbath does not occur the apposition happens and the lysogenizing knuckle happens. sent6: the lysogenizing Ur happens and the lysogenizing climax occurs. sent7: the quack happens. sent8: the fact that the lysogenizing propagator does not occur and the hyperextension happens does not hold if the fact that the lysogenizing Ur occurs is not false. sent9: the lysogenizing Ur occurs. sent10: the sectarianness does not occur if the fact that the streaking does not occur but the sectarianness occurs does not hold. sent11: if the fact that both the non-catecheticalness and the outflow occurs is not correct then the outflow does not occur. sent12: if the subrogating Umbrian does not occur the fact that the disinfestation occurs and/or the bundling comfit occurs hold. sent13: if both the lysogenizing climax and the lysogenizing knuckle occurs the apposition does not occur. sent14: the bloodbath does not occur and the sectarianness does not occur if the fact that the outflow does not occur is not wrong. sent15: the bloodbath occurs. sent16: the controversy does not occur if the fact that the lysogenizing knuckle does not occur is not wrong. sent17: if that the lysogenizing climax does not occur is correct then the fact that the lysogenizing knuckle but not the lysogenizing Ur occurs is incorrect. sent18: the bloodbath occurs if the sectarian does not occur. sent19: the bloodbath happens and the apposition happens if that the sectarian does not occur is not false.
sent6 -> int1: the lysogenizing climax occurs.; void -> assump1: Let's assume that the lysogenizing knuckle occurs.; int1 & assump1 -> int2: both the lysogenizing climax and the lysogenizing knuckle occurs.; int2 & sent13 -> int3: the apposition does not occur.; sent10 & sent4 -> int4: the sectarian does not occur.; sent19 & int4 -> int5: the bloodbath and the apposition occurs.; int5 -> int6: the apposition happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the lysogenizing knuckle does not occur.; int8 & sent16 -> hypothesis;
that the controversy occurs hold.
$hypothesis$ = the controversy happens. ; $context$ = sent1: the controversy and the lysogenizing Ur occurs if the lysogenizing climax does not occur. sent2: if the fact that the lysogenizing knuckle happens but the lysogenizing Ur does not occur is false then the lysogenizing Ur happens. sent3: if the impermanentness does not occur both the knell and the lysogenizing Raphael occurs. sent4: the fact that the streaking does not occur but the sectarian occurs is not true. sent5: if the bloodbath does not occur the apposition happens and the lysogenizing knuckle happens. sent6: the lysogenizing Ur happens and the lysogenizing climax occurs. sent7: the quack happens. sent8: the fact that the lysogenizing propagator does not occur and the hyperextension happens does not hold if the fact that the lysogenizing Ur occurs is not false. sent9: the lysogenizing Ur occurs. sent10: the sectarianness does not occur if the fact that the streaking does not occur but the sectarianness occurs does not hold. sent11: if the fact that both the non-catecheticalness and the outflow occurs is not correct then the outflow does not occur. sent12: if the subrogating Umbrian does not occur the fact that the disinfestation occurs and/or the bundling comfit occurs hold. sent13: if both the lysogenizing climax and the lysogenizing knuckle occurs the apposition does not occur. sent14: the bloodbath does not occur and the sectarianness does not occur if the fact that the outflow does not occur is not wrong. sent15: the bloodbath occurs. sent16: the controversy does not occur if the fact that the lysogenizing knuckle does not occur is not wrong. sent17: if that the lysogenizing climax does not occur is correct then the fact that the lysogenizing knuckle but not the lysogenizing Ur occurs is incorrect. sent18: the bloodbath occurs if the sectarian does not occur. sent19: the bloodbath happens and the apposition happens if that the sectarian does not occur is not false. ; $proof$ = 
sent6 -> int1: the lysogenizing climax occurs.; void -> assump1: Let's assume that the lysogenizing knuckle occurs.; int1 & assump1 -> int2: both the lysogenizing climax and the lysogenizing knuckle occurs.; int2 & sent13 -> int3: the apposition does not occur.; sent10 & sent4 -> int4: the sectarian does not occur.; sent19 & int4 -> int5: the bloodbath and the apposition occurs.; int5 -> int6: the apposition happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the lysogenizing knuckle does not occur.; int8 & sent16 -> hypothesis; __DISPROVED__