the sophisticate is octangular.
sent1: the audiotape is not noninstitutional if the fact that the karyolymph is not a self-knowledge and not a isostasy does not hold. sent2: The expertness does freckle liebfraumilch. sent3: that the liebfraumilch is octangular is not false. sent4: there exists something such that it does not foot. sent5: the liebfraumilch does freckle expertness. sent6: the sophisticate is not an interregnum if the audiotape is not a kind of a isostasy and it is not a kind of a self-knowledge. sent7: something is not non-octangular if the fact that it is paleolithic thing that is not a hands hold. sent8: something is paleolithic and not a hands if it is not an interregnum. sent9: that the sophisticate mismanages hearse hold. sent10: if that the liebfraumilch does not freckle stuffiness hold then the audiotape is not a isostasy and is not a self-knowledge. sent11: if something does not foot then the liebfraumilch is noninstitutional and it mismanages hearse. sent12: something that does freckle expertness and does freckle stuffiness is not noninstitutional.
void -> assump1: Let's assume that the liebfraumilch freckles stuffiness.; sent5 & assump1 -> int1: the liebfraumilch does freckle expertness and freckles stuffiness.; sent12 -> int2: the fact that the liebfraumilch is not noninstitutional is not incorrect if it freckles expertness and does freckle stuffiness.; int1 & int2 -> int3: the liebfraumilch is not noninstitutional.; sent4 & sent11 -> int4: the liebfraumilch is noninstitutional and mismanages hearse.; int4 -> int5: the liebfraumilch is noninstitutional.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the liebfraumilch does not freckle stuffiness.; int7 & sent10 -> int8: the audiotape is not a kind of a isostasy and is not a self-knowledge.; int8 & sent6 -> int9: the sophisticate is not an interregnum.; sent8 -> int10: the sophisticate is paleolithic and is not a hands if it is not an interregnum.; int9 & int10 -> int11: the sophisticate is paleolithic but it is not a hands.; sent7 -> int12: that the sophisticate is octangular hold if it is paleolithic and it does not hand.; int11 & int12 -> hypothesis;
the sophisticate is non-octangular.
$hypothesis$ = the sophisticate is octangular. ; $context$ = sent1: the audiotape is not noninstitutional if the fact that the karyolymph is not a self-knowledge and not a isostasy does not hold. sent2: The expertness does freckle liebfraumilch. sent3: that the liebfraumilch is octangular is not false. sent4: there exists something such that it does not foot. sent5: the liebfraumilch does freckle expertness. sent6: the sophisticate is not an interregnum if the audiotape is not a kind of a isostasy and it is not a kind of a self-knowledge. sent7: something is not non-octangular if the fact that it is paleolithic thing that is not a hands hold. sent8: something is paleolithic and not a hands if it is not an interregnum. sent9: that the sophisticate mismanages hearse hold. sent10: if that the liebfraumilch does not freckle stuffiness hold then the audiotape is not a isostasy and is not a self-knowledge. sent11: if something does not foot then the liebfraumilch is noninstitutional and it mismanages hearse. sent12: something that does freckle expertness and does freckle stuffiness is not noninstitutional. ; $proof$ = 
void -> assump1: Let's assume that the liebfraumilch freckles stuffiness.; sent5 & assump1 -> int1: the liebfraumilch does freckle expertness and freckles stuffiness.; sent12 -> int2: the fact that the liebfraumilch is not noninstitutional is not incorrect if it freckles expertness and does freckle stuffiness.; int1 & int2 -> int3: the liebfraumilch is not noninstitutional.; sent4 & sent11 -> int4: the liebfraumilch is noninstitutional and mismanages hearse.; int4 -> int5: the liebfraumilch is noninstitutional.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the liebfraumilch does not freckle stuffiness.; int7 & sent10 -> int8: the audiotape is not a kind of a isostasy and is not a self-knowledge.; int8 & sent6 -> int9: the sophisticate is not an interregnum.; sent8 -> int10: the sophisticate is paleolithic and is not a hands if it is not an interregnum.; int9 & int10 -> int11: the sophisticate is paleolithic but it is not a hands.; sent7 -> int12: that the sophisticate is octangular hold if it is paleolithic and it does not hand.; int11 & int12 -> hypothesis; __PROVED__