the virologicalness happens.
sent1: if the devotion does not occur the unpropheticness occurs and the unguiculate occurs. sent2: the discountenancing blackberry does not occur. sent3: that the battery does not occur results in that the lawsuit happens and the actinomycoticness occurs. sent4: that the smacker but not the expose happens yields the non-virologicalness. sent5: if the discountenancing blackberry happens then the smacker does not occur. sent6: the smacker occurs if the fact that either the non-unpropheticness or the non-unguiculateness or both happens is not right. sent7: that the unguiculateness does not occur brings about that the expose occurs and the unpropheticness occurs. sent8: if the aweing neutralism does not occur the aweing retrospection does not occur. sent9: if the unguiculateness does not occur the unpropheticness occurs. sent10: that the propheticness and/or the non-unguiculateness happens is not right if the devotion does not occur. sent11: that both the discountenancing blackberry and the virologicalness occurs is false. sent12: if the smacker occurs the fact that that the expose does not occur but the Wordsworthianness happens is false is correct. sent13: that the sequestration does not occur causes that both the aweing bacchant and the allantoicness happens. sent14: the Wordsworthianness does not occur if the fact that not the expose but the Wordsworthianness happens is not correct. sent15: that the sailing does not occur brings about that the branching and the discountenancing eel occurs. sent16: the unexchangeableness does not occur and the caryophyllaceousness does not occur if the tuning does not occur. sent17: if the diving does not occur both the caryophyllaceousness and the tune happens. sent18: the fact that the smacker does not occur is not false if the fact that not the discountenancing blackberry but the virologicalness happens does not hold. sent19: if the fact that the non-vegetalness and the diving occurs does not hold then the tuning does not occur. sent20: the fact that both the vegetalness and the aweing plague happens is not true if the quietness does not occur. sent21: if the unexchangeableness does not occur then the devotion does not occur. sent22: the devotion does not occur and the unexchangeableness does not occur if the caryophyllaceousness occurs. sent23: the unguiculateness does not occur.
void -> assump1: Let's assume that the fact that not the discountenancing blackberry but the virologicalness occurs is not right.; sent18 & assump1 -> int1: that the smacker does not occur is true.; sent7 & sent23 -> int2: the exposing and the unpropheticness occurs.; int2 -> int3: the expose occurs.;
the Wordsworthianness does not occur.
$hypothesis$ = the virologicalness happens. ; $context$ = sent1: if the devotion does not occur the unpropheticness occurs and the unguiculate occurs. sent2: the discountenancing blackberry does not occur. sent3: that the battery does not occur results in that the lawsuit happens and the actinomycoticness occurs. sent4: that the smacker but not the expose happens yields the non-virologicalness. sent5: if the discountenancing blackberry happens then the smacker does not occur. sent6: the smacker occurs if the fact that either the non-unpropheticness or the non-unguiculateness or both happens is not right. sent7: that the unguiculateness does not occur brings about that the expose occurs and the unpropheticness occurs. sent8: if the aweing neutralism does not occur the aweing retrospection does not occur. sent9: if the unguiculateness does not occur the unpropheticness occurs. sent10: that the propheticness and/or the non-unguiculateness happens is not right if the devotion does not occur. sent11: that both the discountenancing blackberry and the virologicalness occurs is false. sent12: if the smacker occurs the fact that that the expose does not occur but the Wordsworthianness happens is false is correct. sent13: that the sequestration does not occur causes that both the aweing bacchant and the allantoicness happens. sent14: the Wordsworthianness does not occur if the fact that not the expose but the Wordsworthianness happens is not correct. sent15: that the sailing does not occur brings about that the branching and the discountenancing eel occurs. sent16: the unexchangeableness does not occur and the caryophyllaceousness does not occur if the tuning does not occur. sent17: if the diving does not occur both the caryophyllaceousness and the tune happens. sent18: the fact that the smacker does not occur is not false if the fact that not the discountenancing blackberry but the virologicalness happens does not hold. sent19: if the fact that the non-vegetalness and the diving occurs does not hold then the tuning does not occur. sent20: the fact that both the vegetalness and the aweing plague happens is not true if the quietness does not occur. sent21: if the unexchangeableness does not occur then the devotion does not occur. sent22: the devotion does not occur and the unexchangeableness does not occur if the caryophyllaceousness occurs. sent23: the unguiculateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the discountenancing blackberry but the virologicalness occurs is not right.; sent18 & assump1 -> int1: that the smacker does not occur is true.; sent7 & sent23 -> int2: the exposing and the unpropheticness occurs.; int2 -> int3: the expose occurs.; __UNKNOWN__