the fact that either the gait does not occur or the Crucifixion does not occur or both is false if the bonfire happens.
sent1: that the gait does not occur and/or the Crucifixion does not occur is brought about by that the Down does not occur. sent2: either the gait does not occur or the Crucifixion does not occur or both if the bonfire occurs. sent3: either the gait does not occur or the Crucifixion does not occur or both. sent4: that the gait occurs and/or the Crucifixion does not occur is not true. sent5: the charity occurs. sent6: the Crucifixion occurs. sent7: if that the Down does not occur is true that either the gait happens or the Crucifixion does not occur or both is not correct. sent8: the fact that the liner but not the carjacking integrator occurs is false if the bonfire occurs. sent9: if the Down does not occur that either the gait does not occur or the Crucifixion does not occur or both is wrong. sent10: if the carjacking integrator occurs then that the Down does not occur is not wrong. sent11: the apery happens. sent12: that the abstemiousness but not the ridge happens is incorrect. sent13: if the bonfire occurs the fact that both the liner and the carjacking integrator occurs is incorrect. sent14: the fact that the liner happens and the carjacking integrator happens is not true. sent15: if the bonfire occurs then the Crucifixion occurs. sent16: the Crucifixion occurs if the fact that the Down does not occur is not wrong. sent17: the fact that the mistrial does not occur or the flocking nitrofurantoin does not occur or both is wrong. sent18: that the flocking refractoriness occurs and the sincereness does not occur is not true if the vanillaness occurs. sent19: the fact that the flocking Java does not occur and/or the flocking Rochester does not occur is not right if the fact that the meddling happens hold. sent20: if the bonfire happens then the fact that the gait happens and/or the Crucifixion does not occur is not right.
void -> assump1: Let's assume that the bonfire happens.; sent8 & assump1 -> int1: that the liner but not the carjacking integrator happens is false.;
$hypothesis$ = the fact that either the gait does not occur or the Crucifixion does not occur or both is false if the bonfire happens. ; $context$ = sent1: that the gait does not occur and/or the Crucifixion does not occur is brought about by that the Down does not occur. sent2: either the gait does not occur or the Crucifixion does not occur or both if the bonfire occurs. sent3: either the gait does not occur or the Crucifixion does not occur or both. sent4: that the gait occurs and/or the Crucifixion does not occur is not true. sent5: the charity occurs. sent6: the Crucifixion occurs. sent7: if that the Down does not occur is true that either the gait happens or the Crucifixion does not occur or both is not correct. sent8: the fact that the liner but not the carjacking integrator occurs is false if the bonfire occurs. sent9: if the Down does not occur that either the gait does not occur or the Crucifixion does not occur or both is wrong. sent10: if the carjacking integrator occurs then that the Down does not occur is not wrong. sent11: the apery happens. sent12: that the abstemiousness but not the ridge happens is incorrect. sent13: if the bonfire occurs the fact that both the liner and the carjacking integrator occurs is incorrect. sent14: the fact that the liner happens and the carjacking integrator happens is not true. sent15: if the bonfire occurs then the Crucifixion occurs. sent16: the Crucifixion occurs if the fact that the Down does not occur is not wrong. sent17: the fact that the mistrial does not occur or the flocking nitrofurantoin does not occur or both is wrong. sent18: that the flocking refractoriness occurs and the sincereness does not occur is not true if the vanillaness occurs. sent19: the fact that the flocking Java does not occur and/or the flocking Rochester does not occur is not right if the fact that the meddling happens hold. sent20: if the bonfire happens then the fact that the gait happens and/or the Crucifixion does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the bonfire happens.; sent8 & assump1 -> int1: that the liner but not the carjacking integrator happens is false.; __UNKNOWN__