the lodge is archducal and is early.
sent1: if there exists something such that it is non-Botswanan and it is not a amatungulu then that the electricity does not help hold. sent2: if that something is a kind of Botswanan thing that is not unfashionable is not correct then it is not Botswanan. sent3: if something is not a Gujarati it is a kind of archducal thing that is early. sent4: the electricity is not expiratory or it is not an intellectual or both. sent5: that the endocrinologist is not unfashionable hold if there exists something such that the fact that it is not Botswanan and it is not a amatungulu is not correct. sent6: that the endocrinologist is fashionable and it is not a showman is wrong. sent7: if the endocrinologist does not help the fact that the minstrel is Botswanan but it is not unfashionable is false. sent8: if something is not a zero then it is not early and not a showman. sent9: if something is archducal it is not a Gujarati and it does not help. sent10: the endocrinologist is unfashionable if that it is a kind of unfashionable thing that is not a showman is not correct. sent11: the electricity does not zero if either it is not expiratory or it is not an intellectual or both.
void -> assump1: Let's assume that that the checkerbloom is not Botswanan and not a amatungulu is not true.; assump1 -> int1: there exists something such that the fact that it is both not Botswanan and not a amatungulu is not right.; int1 & sent5 -> int2: the endocrinologist is not unfashionable.; sent10 & sent6 -> int3: the endocrinologist is unfashionable.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the checkerbloom is a kind of non-Botswanan thing that is not a kind of a amatungulu.; int5 -> int6: there exists something such that it is not Botswanan and it is not a kind of a amatungulu.; int6 & sent1 -> int7: the electricity does not help.; sent3 -> int8: if the lodge is not a Gujarati it is archducal and it is early.;
the fact that the minstrel is not Botswanan hold.
sent2 -> int9: if the fact that the minstrel is a kind of Botswanan thing that is not unfashionable is false then it is not Botswanan.; sent9 -> int10: if the endocrinologist is archducal it is not a Gujarati and does not help.; sent8 -> int11: the electricity is not early and is not a showman if it does not zero.; sent11 & sent4 -> int12: the electricity is not a zero.; int11 & int12 -> int13: the electricity is not early and not a showman.; int13 -> int14: there exists something such that it is not early and it is not a kind of a showman.;
$hypothesis$ = the lodge is archducal and is early. ; $context$ = sent1: if there exists something such that it is non-Botswanan and it is not a amatungulu then that the electricity does not help hold. sent2: if that something is a kind of Botswanan thing that is not unfashionable is not correct then it is not Botswanan. sent3: if something is not a Gujarati it is a kind of archducal thing that is early. sent4: the electricity is not expiratory or it is not an intellectual or both. sent5: that the endocrinologist is not unfashionable hold if there exists something such that the fact that it is not Botswanan and it is not a amatungulu is not correct. sent6: that the endocrinologist is fashionable and it is not a showman is wrong. sent7: if the endocrinologist does not help the fact that the minstrel is Botswanan but it is not unfashionable is false. sent8: if something is not a zero then it is not early and not a showman. sent9: if something is archducal it is not a Gujarati and it does not help. sent10: the endocrinologist is unfashionable if that it is a kind of unfashionable thing that is not a showman is not correct. sent11: the electricity does not zero if either it is not expiratory or it is not an intellectual or both. ; $proof$ = 
void -> assump1: Let's assume that that the checkerbloom is not Botswanan and not a amatungulu is not true.; assump1 -> int1: there exists something such that the fact that it is both not Botswanan and not a amatungulu is not right.; int1 & sent5 -> int2: the endocrinologist is not unfashionable.; sent10 & sent6 -> int3: the endocrinologist is unfashionable.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the checkerbloom is a kind of non-Botswanan thing that is not a kind of a amatungulu.; int5 -> int6: there exists something such that it is not Botswanan and it is not a kind of a amatungulu.; int6 & sent1 -> int7: the electricity does not help.; sent3 -> int8: if the lodge is not a Gujarati it is archducal and it is early.; __UNKNOWN__