the booking Circassian does not occur or the symbolism occurs or both if that the time-releaseness occurs is right.
sent1: the call-back occurs. sent2: the slogging pub happens and the downhill does not occur. sent3: if both the ridding dividend and the intenseness occurs the indefiniteness does not occur. sent4: if the Laos occurs but the booking trekker does not occur the propheticness occurs. sent5: the booking Circassian and/or the symbolism happens. sent6: if the booking Circassian occurs but the booking reharmonization does not occur that the time-releaseness occurs hold. sent7: the slogging painter happens. sent8: the spermicidalness occurs. sent9: the weapon does not occur. sent10: if the time-releaseness happens then the booking Circassian happens or the symbolism occurs or both. sent11: that the booking Circassian but not the booking reharmonization occurs leads to the non-time-releaseness.
void -> assump2: Let's assume that the fact that the time-releaseness happens is true.; void -> assump1: Let's assume that the booking Circassian happens.; sent8 & sent7 -> int1: the spermicidalness happens and the slogging painter occurs.;
$hypothesis$ = the booking Circassian does not occur or the symbolism occurs or both if that the time-releaseness occurs is right. ; $context$ = sent1: the call-back occurs. sent2: the slogging pub happens and the downhill does not occur. sent3: if both the ridding dividend and the intenseness occurs the indefiniteness does not occur. sent4: if the Laos occurs but the booking trekker does not occur the propheticness occurs. sent5: the booking Circassian and/or the symbolism happens. sent6: if the booking Circassian occurs but the booking reharmonization does not occur that the time-releaseness occurs hold. sent7: the slogging painter happens. sent8: the spermicidalness occurs. sent9: the weapon does not occur. sent10: if the time-releaseness happens then the booking Circassian happens or the symbolism occurs or both. sent11: that the booking Circassian but not the booking reharmonization occurs leads to the non-time-releaseness. ; $proof$ = 
void -> assump2: Let's assume that the fact that the time-releaseness happens is true.; void -> assump1: Let's assume that the booking Circassian happens.; sent8 & sent7 -> int1: the spermicidalness happens and the slogging painter occurs.; __UNKNOWN__