something is a tide and/or a ceilidh.
sent1: if the ilium is Old then the kibbutznik does gild sertularian but it is not curatorial. sent2: if the ilium does not condemn Arctonyx then that it tides hold. sent3: there exists something such that that it does not gild overseer hold. sent4: the kibbutznik is congenial if that the Lamarckian is not congenial and does gild Guam is false. sent5: if something gilds sertularian and is not curatorial then it is not a Handy. sent6: that the kibbutznik is a Handy is not wrong if it is congenial. sent7: the ilium is congenial if the fact that the kibbutznik is not congenial but it condemns Arctonyx is not right. sent8: the ilium is Old if it does condemn Arctonyx. sent9: if there exists something such that it does not gild overseer that the Lamarckian is not congenial and does gild Guam does not hold.
void -> assump1: Let's assume that the fact that the ilium condemns Arctonyx is not incorrect.; sent8 & assump1 -> int1: the ilium is Old.; int1 & sent1 -> int2: the kibbutznik does gild sertularian but it is not curatorial.; sent5 -> int3: the kibbutznik is not a Handy if it does gild sertularian and it is not curatorial.; int2 & int3 -> int4: the fact that the kibbutznik is not a kind of a Handy hold.; sent3 & sent9 -> int5: the fact that the Lamarckian is not congenial but it gilds Guam does not hold.; sent4 & int5 -> int6: the kibbutznik is congenial.; sent6 & int6 -> int7: the kibbutznik is a Handy.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ilium does not condemn Arctonyx.; int9 & sent2 -> int10: the fact that the ilium does tide is not incorrect.; int10 -> int11: the ilium tides and/or it is a ceilidh.; int11 -> hypothesis;
$hypothesis$ = something is a tide and/or a ceilidh. ; $context$ = sent1: if the ilium is Old then the kibbutznik does gild sertularian but it is not curatorial. sent2: if the ilium does not condemn Arctonyx then that it tides hold. sent3: there exists something such that that it does not gild overseer hold. sent4: the kibbutznik is congenial if that the Lamarckian is not congenial and does gild Guam is false. sent5: if something gilds sertularian and is not curatorial then it is not a Handy. sent6: that the kibbutznik is a Handy is not wrong if it is congenial. sent7: the ilium is congenial if the fact that the kibbutznik is not congenial but it condemns Arctonyx is not right. sent8: the ilium is Old if it does condemn Arctonyx. sent9: if there exists something such that it does not gild overseer that the Lamarckian is not congenial and does gild Guam does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the ilium condemns Arctonyx is not incorrect.; sent8 & assump1 -> int1: the ilium is Old.; int1 & sent1 -> int2: the kibbutznik does gild sertularian but it is not curatorial.; sent5 -> int3: the kibbutznik is not a Handy if it does gild sertularian and it is not curatorial.; int2 & int3 -> int4: the fact that the kibbutznik is not a kind of a Handy hold.; sent3 & sent9 -> int5: the fact that the Lamarckian is not congenial but it gilds Guam does not hold.; sent4 & int5 -> int6: the kibbutznik is congenial.; sent6 & int6 -> int7: the kibbutznik is a Handy.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ilium does not condemn Arctonyx.; int9 & sent2 -> int10: the fact that the ilium does tide is not incorrect.; int10 -> int11: the ilium tides and/or it is a ceilidh.; int11 -> hypothesis; __PROVED__