the chromoplast is not hemispheric.
sent1: if the variorum is not a discovery but it is a dock then the triazine is not a dock. sent2: the triazine is hemispheric. sent3: if the Senegalese is not a dock the triazine is bottomless. sent4: if the Senegalese is optimistic then the variorum does not crown. sent5: the fact that the Senegalese is optimistic but it is non-hemispheric does not hold. sent6: if the Senegalese is a crown it is optimistic. sent7: the bohrium is not a karyotype. sent8: the triazine is not a dock if the forester is not optimistic and dock. sent9: the liver is not a dock. sent10: the forester is non-optimistic and a crown. sent11: the Senegalese is optimistic if that it is not a dock and it is not a crown is incorrect. sent12: if that the forester is not a karyotype and not optimistic is wrong then the chromoplast is not hemispheric. sent13: the variorum is not a kind of a discovery but it does dock. sent14: the chromoplast is a dock. sent15: the chromoplast does not snuffle diazonium. sent16: if the fact that something is not hemispheric but it is bottomless hold it is not a woodcarver. sent17: if something is not a karyotype then it is non-hemispheric thing that is bottomless. sent18: the triazine is a dock and it is bottomless if the Senegalese is not a kind of a dock. sent19: the variorum is not a kind of a discovery. sent20: if the forester is not non-optimistic then that the Senegalese is a karyotype but it is not non-optimistic does not hold. sent21: the fact that the forester is not a karyotype and is optimistic does not hold. sent22: the triazine is not optimistic. sent23: the fact that if that the Senegalese is not bottomless and it does not crown is not right then the variorum is not a dock is not incorrect.
void -> assump1: Let's assume that the Senegalese is both not a dock and not a crown.; assump1 -> int1: the Senegalese is not a dock.; int1 & sent18 -> int2: the triazine is a kind of a dock and it is bottomless.; int2 -> int3: the triazine does dock.; sent1 & sent13 -> int4: the triazine does not dock.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the Senegalese is not a dock and is not a kind of a crown is not true.; int6 & sent11 -> int7: the Senegalese is optimistic.;
the bohrium is not a woodcarver and does not dock.
sent16 -> int8: the bohrium is not a woodcarver if it is not hemispheric and is bottomless.; sent17 -> int9: if the bohrium is not a karyotype it is not hemispheric and it is bottomless.; int9 & sent7 -> int10: the bohrium is not hemispheric and is bottomless.; int8 & int10 -> int11: the bohrium is not a woodcarver.;
$hypothesis$ = the chromoplast is not hemispheric. ; $context$ = sent1: if the variorum is not a discovery but it is a dock then the triazine is not a dock. sent2: the triazine is hemispheric. sent3: if the Senegalese is not a dock the triazine is bottomless. sent4: if the Senegalese is optimistic then the variorum does not crown. sent5: the fact that the Senegalese is optimistic but it is non-hemispheric does not hold. sent6: if the Senegalese is a crown it is optimistic. sent7: the bohrium is not a karyotype. sent8: the triazine is not a dock if the forester is not optimistic and dock. sent9: the liver is not a dock. sent10: the forester is non-optimistic and a crown. sent11: the Senegalese is optimistic if that it is not a dock and it is not a crown is incorrect. sent12: if that the forester is not a karyotype and not optimistic is wrong then the chromoplast is not hemispheric. sent13: the variorum is not a kind of a discovery but it does dock. sent14: the chromoplast is a dock. sent15: the chromoplast does not snuffle diazonium. sent16: if the fact that something is not hemispheric but it is bottomless hold it is not a woodcarver. sent17: if something is not a karyotype then it is non-hemispheric thing that is bottomless. sent18: the triazine is a dock and it is bottomless if the Senegalese is not a kind of a dock. sent19: the variorum is not a kind of a discovery. sent20: if the forester is not non-optimistic then that the Senegalese is a karyotype but it is not non-optimistic does not hold. sent21: the fact that the forester is not a karyotype and is optimistic does not hold. sent22: the triazine is not optimistic. sent23: the fact that if that the Senegalese is not bottomless and it does not crown is not right then the variorum is not a dock is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Senegalese is both not a dock and not a crown.; assump1 -> int1: the Senegalese is not a dock.; int1 & sent18 -> int2: the triazine is a kind of a dock and it is bottomless.; int2 -> int3: the triazine does dock.; sent1 & sent13 -> int4: the triazine does not dock.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the Senegalese is not a dock and is not a kind of a crown is not true.; int6 & sent11 -> int7: the Senegalese is optimistic.; __UNKNOWN__