the proof is both non-theosophical and non-gonadotropic.
sent1: that the proof is theosophical and not gonadotropic does not hold if the noctiluca is not gonadotropic. sent2: that the noctiluca is not a kind of a tooth and does number rake-off does not hold. sent3: that the proof is non-theosophical thing that is gonadotropic does not hold. sent4: the noctiluca is a tooth. sent5: the proof is not a kind of a tooth. sent6: the fact that the proof is a kind of theosophical thing that is not gonadotropic is not correct. sent7: the noctiluca does macerate. sent8: the fact that the proof is not theosophical and it is not gonadotropic does not hold if the noctiluca is not gonadotropic. sent9: if the noctiluca is not gonadotropic then the fact that the proof is a kind of non-theosophical thing that is gonadotropic is false. sent10: something is not gonadotropic if that that it is not a kind of a tooth and it does not number rake-off is right is wrong. sent11: the noctiluca does not number rake-off. sent12: something is not theosophical or is not a tooth or both if it does macerate. sent13: the noctiluca is not gonadotropic if it numbers rake-off. sent14: something that numbers rake-off is not gonadotropic.
void -> assump1: Let's assume that the noctiluca is not a kind of a tooth and does not number rake-off.; assump1 -> int1: the noctiluca is not a tooth.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the noctiluca is not a kind of a tooth and it does not number rake-off is not wrong is false.; sent10 -> int4: the noctiluca is not gonadotropic if that it is not a tooth and it does not number rake-off does not hold.; int3 & int4 -> int5: that the noctiluca is not gonadotropic is not false.; int5 & sent8 -> hypothesis;
the proof is not theosophical and it is not gonadotropic.
sent12 -> int6: if the noctiluca macerates then it is not theosophical and/or it is not a kind of a tooth.; int6 & sent7 -> int7: the noctiluca is not theosophical and/or it is not a tooth.; int7 -> int8: something is not theosophical or it is not a tooth or both.;
$hypothesis$ = the proof is both non-theosophical and non-gonadotropic. ; $context$ = sent1: that the proof is theosophical and not gonadotropic does not hold if the noctiluca is not gonadotropic. sent2: that the noctiluca is not a kind of a tooth and does number rake-off does not hold. sent3: that the proof is non-theosophical thing that is gonadotropic does not hold. sent4: the noctiluca is a tooth. sent5: the proof is not a kind of a tooth. sent6: the fact that the proof is a kind of theosophical thing that is not gonadotropic is not correct. sent7: the noctiluca does macerate. sent8: the fact that the proof is not theosophical and it is not gonadotropic does not hold if the noctiluca is not gonadotropic. sent9: if the noctiluca is not gonadotropic then the fact that the proof is a kind of non-theosophical thing that is gonadotropic is false. sent10: something is not gonadotropic if that that it is not a kind of a tooth and it does not number rake-off is right is wrong. sent11: the noctiluca does not number rake-off. sent12: something is not theosophical or is not a tooth or both if it does macerate. sent13: the noctiluca is not gonadotropic if it numbers rake-off. sent14: something that numbers rake-off is not gonadotropic. ; $proof$ = 
void -> assump1: Let's assume that the noctiluca is not a kind of a tooth and does not number rake-off.; assump1 -> int1: the noctiluca is not a tooth.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the noctiluca is not a kind of a tooth and it does not number rake-off is not wrong is false.; sent10 -> int4: the noctiluca is not gonadotropic if that it is not a tooth and it does not number rake-off does not hold.; int3 & int4 -> int5: that the noctiluca is not gonadotropic is not false.; int5 & sent8 -> hypothesis; __DISPROVED__