the jointed does not occur.
sent1: the anguineness does not occur if that the anguineness occurs but the mewing does not occur is not correct. sent2: both the Texanness and the civilian happens. sent3: the orchestrating chalk happens but the burglarizing MAOI does not occur. sent4: if the hospice does not occur the fact that the introversiveness does not occur but the Jovianness occurs is not correct. sent5: the dysplasticness does not occur if the hungering whinchat occurs. sent6: if the unbridgeableness happens then the hungering literacy does not occur and the braking does not occur. sent7: that the unbridgeableness occurs but the hungering Galliano does not occur is caused by the non-anguineness. sent8: that the orchestrating chalk happens and the hospice does not occur triggers that the jointed occurs. sent9: the fact that that the Texanness happens and the hospice happens brings about that the jointing does not occur hold. sent10: both the burglarizing speedboat and the retrogradeness happens. sent11: if the fact that the orchestrating elegy occurs and the hungering somersault happens is not correct the orchestrating elegy does not occur. sent12: if that that the introversiveness does not occur and the Jovianness occurs hold does not hold then the orchestrating chalk does not occur. sent13: that that both the orchestrating elegy and the hungering somersault happens does not hold is not wrong if the steepening does not occur. sent14: if the hungering literacy does not occur the hungering whinchat and the informing occurs. sent15: that the anguineness happens and the mew does not occur is wrong if the orchestrating elegy does not occur. sent16: if the habitude does not occur then the schizoid does not occur. sent17: not the civilian but the dactylicness occurs if the dysplasticness does not occur. sent18: if the civilian does not occur then both the non-Texanness and the burglarizing MAOI happens.
void -> assump1: Let's assume that the hospice does not occur.; sent4 & assump1 -> int1: the fact that not the introversiveness but the Jovianness occurs is incorrect.; int1 & sent12 -> int2: the orchestrating chalk does not occur.; sent3 -> int3: that the orchestrating chalk occurs hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hospice occurs.; sent2 -> int6: the Texanness occurs.; int5 & int6 -> int7: the Texanness and the hospice occurs.; int7 & sent9 -> hypothesis;
the jointing happens.
$hypothesis$ = the jointed does not occur. ; $context$ = sent1: the anguineness does not occur if that the anguineness occurs but the mewing does not occur is not correct. sent2: both the Texanness and the civilian happens. sent3: the orchestrating chalk happens but the burglarizing MAOI does not occur. sent4: if the hospice does not occur the fact that the introversiveness does not occur but the Jovianness occurs is not correct. sent5: the dysplasticness does not occur if the hungering whinchat occurs. sent6: if the unbridgeableness happens then the hungering literacy does not occur and the braking does not occur. sent7: that the unbridgeableness occurs but the hungering Galliano does not occur is caused by the non-anguineness. sent8: that the orchestrating chalk happens and the hospice does not occur triggers that the jointed occurs. sent9: the fact that that the Texanness happens and the hospice happens brings about that the jointing does not occur hold. sent10: both the burglarizing speedboat and the retrogradeness happens. sent11: if the fact that the orchestrating elegy occurs and the hungering somersault happens is not correct the orchestrating elegy does not occur. sent12: if that that the introversiveness does not occur and the Jovianness occurs hold does not hold then the orchestrating chalk does not occur. sent13: that that both the orchestrating elegy and the hungering somersault happens does not hold is not wrong if the steepening does not occur. sent14: if the hungering literacy does not occur the hungering whinchat and the informing occurs. sent15: that the anguineness happens and the mew does not occur is wrong if the orchestrating elegy does not occur. sent16: if the habitude does not occur then the schizoid does not occur. sent17: not the civilian but the dactylicness occurs if the dysplasticness does not occur. sent18: if the civilian does not occur then both the non-Texanness and the burglarizing MAOI happens. ; $proof$ = 
void -> assump1: Let's assume that the hospice does not occur.; sent4 & assump1 -> int1: the fact that not the introversiveness but the Jovianness occurs is incorrect.; int1 & sent12 -> int2: the orchestrating chalk does not occur.; sent3 -> int3: that the orchestrating chalk occurs hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hospice occurs.; sent2 -> int6: the Texanness occurs.; int5 & int6 -> int7: the Texanness and the hospice occurs.; int7 & sent9 -> hypothesis; __PROVED__