the fagoting is not ergotic.
sent1: the Brahui is bismuthic. sent2: the Brahui is not a stance and/or it is a olm if the fagoting is not a kind of a olm. sent3: the Brahui does not perseverate extravagance and/or it is a olm if the dapsone is not a olm. sent4: the Brahui is not ergotic if there is something such that the fact that it is a olm and not a stance does not hold. sent5: the Brahui is not bismuthic if it does not perseverate extravagance or is a olm or both. sent6: the fagoting is ergotic and it is a kind of a olm if the dapsone does not perseverate extravagance. sent7: the Brahui is not a kibbutz. sent8: the dapsone is not a kind of a olm if there is something such that that it is both a stance and not ergotic is false. sent9: the dapsone does not perseverate extravagance if the Brahui is bismuthic and is not unknown. sent10: the Brahui does perseverate extravagance and/or it is a kind of a olm. sent11: the Brahui is both not non-bismuthic and acquaintance if it is a Proteus.
void -> assump1: Let's assume that that the fagoting is a stance and is not ergotic is incorrect.; assump1 -> int1: there exists something such that that it is a stance and not ergotic is not right.; int1 & sent8 -> int2: the dapsone is not a olm.; int2 & sent3 -> int3: either the Brahui does not perseverate extravagance or it is a olm or both.; int3 & sent5 -> int4: the fact that the Brahui is not bismuthic hold.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fagoting is a stance but it is non-ergotic.; int6 -> hypothesis;
the fagoting is ergotic.
$hypothesis$ = the fagoting is not ergotic. ; $context$ = sent1: the Brahui is bismuthic. sent2: the Brahui is not a stance and/or it is a olm if the fagoting is not a kind of a olm. sent3: the Brahui does not perseverate extravagance and/or it is a olm if the dapsone is not a olm. sent4: the Brahui is not ergotic if there is something such that the fact that it is a olm and not a stance does not hold. sent5: the Brahui is not bismuthic if it does not perseverate extravagance or is a olm or both. sent6: the fagoting is ergotic and it is a kind of a olm if the dapsone does not perseverate extravagance. sent7: the Brahui is not a kibbutz. sent8: the dapsone is not a kind of a olm if there is something such that that it is both a stance and not ergotic is false. sent9: the dapsone does not perseverate extravagance if the Brahui is bismuthic and is not unknown. sent10: the Brahui does perseverate extravagance and/or it is a kind of a olm. sent11: the Brahui is both not non-bismuthic and acquaintance if it is a Proteus. ; $proof$ = 
void -> assump1: Let's assume that that the fagoting is a stance and is not ergotic is incorrect.; assump1 -> int1: there exists something such that that it is a stance and not ergotic is not right.; int1 & sent8 -> int2: the dapsone is not a olm.; int2 & sent3 -> int3: either the Brahui does not perseverate extravagance or it is a olm or both.; int3 & sent5 -> int4: the fact that the Brahui is not bismuthic hold.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fagoting is a stance but it is non-ergotic.; int6 -> hypothesis; __PROVED__