the Gallicness but not the Aleutiansness occurs.
sent1: the piousness occurs. sent2: that the Rush does not occur and the luau does not occur is false if the playing briefcase does not occur. sent3: that either the chasse does not occur or the piousness occurs or both yields that the inflating coated happens. sent4: that the averaging coated happens and the shapeliness happens is incorrect if the strongness does not occur. sent5: the inflating Barnum but not the playing know happens. sent6: the yoking does not occur and the inflating coated does not occur if the sublittoralness does not occur. sent7: if the yoking does not occur and the inflating coated does not occur the antiseptic does not occur. sent8: the antiseptic occurs if that the cooperativeness does not occur and the playing abbey does not occur does not hold. sent9: if the cooperativeness occurs then that both the Gallicness and the non-Aleutiansness happens does not hold. sent10: that the Gallicness occurs is triggered by that the acute happens. sent11: if the fact that the Rush does not occur and the luau does not occur is not right the strongness does not occur. sent12: the playing abbey happens. sent13: that the sublittoralness occurs and the divulgence happens is not correct if the yoke does not occur. sent14: if the fact that the hardship does not occur but the playing briefcase happens is incorrect the fact that the playing briefcase does not occur is not wrong. sent15: the Aleutiansness does not occur if that the sublittoralness happens and the divulgence happens is wrong. sent16: the fact that the hardship does not occur and the playing briefcase happens does not hold if the impressionableness occurs. sent17: the windstorm occurs and the repining does not occur. sent18: the acuteness but not the averaging coated occurs. sent19: that both the antisepticness and the inflating coated occurs prevents that the yoke happens. sent20: if the fact that the overturning Listera occurs and the crackdown does not occur is wrong the impressionableness happens. sent21: that the acuteness does not occur and the piousness happens is brought about by that the chasse does not occur. sent22: the inflating ranid does not occur.
void -> assump1: Let's assume that the cooperativeness does not occur and the playing abbey does not occur.; assump1 -> int1: the playing abbey does not occur.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cooperative does not occur and the playing abbey does not occur is not right.; int3 & sent8 -> int4: the antiseptic occurs.; sent1 -> int5: the fact that the chasse does not occur or the piousness happens or both is true.; sent3 & int5 -> int6: the inflating coated happens.; int4 & int6 -> int7: the antisepticness and the inflating coated occurs.; int7 & sent19 -> int8: the yoke does not occur.; int8 & sent13 -> int9: that the sublittoralness occurs and the divulgence occurs does not hold.; int9 & sent15 -> int10: the Aleutiansness does not occur.; sent18 -> int11: the acute occurs.; sent10 & int11 -> int12: the Gallicness occurs.; int10 & int12 -> hypothesis;
that the Gallicness and the non-Aleutiansness occurs does not hold.
$hypothesis$ = the Gallicness but not the Aleutiansness occurs. ; $context$ = sent1: the piousness occurs. sent2: that the Rush does not occur and the luau does not occur is false if the playing briefcase does not occur. sent3: that either the chasse does not occur or the piousness occurs or both yields that the inflating coated happens. sent4: that the averaging coated happens and the shapeliness happens is incorrect if the strongness does not occur. sent5: the inflating Barnum but not the playing know happens. sent6: the yoking does not occur and the inflating coated does not occur if the sublittoralness does not occur. sent7: if the yoking does not occur and the inflating coated does not occur the antiseptic does not occur. sent8: the antiseptic occurs if that the cooperativeness does not occur and the playing abbey does not occur does not hold. sent9: if the cooperativeness occurs then that both the Gallicness and the non-Aleutiansness happens does not hold. sent10: that the Gallicness occurs is triggered by that the acute happens. sent11: if the fact that the Rush does not occur and the luau does not occur is not right the strongness does not occur. sent12: the playing abbey happens. sent13: that the sublittoralness occurs and the divulgence happens is not correct if the yoke does not occur. sent14: if the fact that the hardship does not occur but the playing briefcase happens is incorrect the fact that the playing briefcase does not occur is not wrong. sent15: the Aleutiansness does not occur if that the sublittoralness happens and the divulgence happens is wrong. sent16: the fact that the hardship does not occur and the playing briefcase happens does not hold if the impressionableness occurs. sent17: the windstorm occurs and the repining does not occur. sent18: the acuteness but not the averaging coated occurs. sent19: that both the antisepticness and the inflating coated occurs prevents that the yoke happens. sent20: if the fact that the overturning Listera occurs and the crackdown does not occur is wrong the impressionableness happens. sent21: that the acuteness does not occur and the piousness happens is brought about by that the chasse does not occur. sent22: the inflating ranid does not occur. ; $proof$ = 
void -> assump1: Let's assume that the cooperativeness does not occur and the playing abbey does not occur.; assump1 -> int1: the playing abbey does not occur.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cooperative does not occur and the playing abbey does not occur is not right.; int3 & sent8 -> int4: the antiseptic occurs.; sent1 -> int5: the fact that the chasse does not occur or the piousness happens or both is true.; sent3 & int5 -> int6: the inflating coated happens.; int4 & int6 -> int7: the antisepticness and the inflating coated occurs.; int7 & sent19 -> int8: the yoke does not occur.; int8 & sent13 -> int9: that the sublittoralness occurs and the divulgence occurs does not hold.; int9 & sent15 -> int10: the Aleutiansness does not occur.; sent18 -> int11: the acute occurs.; sent10 & int11 -> int12: the Gallicness occurs.; int10 & int12 -> hypothesis; __PROVED__