the phytoplankton does not gather Thrinax.
sent1: the fact that the lignin is both not a renegade and not androgynous does not hold if the phytoplankton is not nonjudgmental. sent2: the phytoplankton gathers Thrinax if it is nonjudgmental. sent3: the lignin does suborn outcaste if the fact that the bromide is not androgynous and it is not a renegade does not hold. sent4: if the fact that the lignin is androgynous is correct the bromide is a physostigmine. sent5: That the outcaste does not suborn bromide hold. sent6: the bromide is a kind of a physostigmine if the fact that the lignin is not a renegade and it is not androgynous is incorrect. sent7: the phytoplankton does not gather Thrinax if the lignin does gather Thrinax and is a kind of a physostigmine. sent8: the bromide suborns outcaste if it is a physostigmine. sent9: that the bromide does not suborn outcaste hold.
void -> assump1: Let's assume that the phytoplankton is not nonjudgmental.; sent1 & assump1 -> int1: the fact that the lignin is not a renegade and it is non-androgynous is not right.; int1 & sent6 -> int2: the bromide is a physostigmine.; int2 & sent8 -> int3: the fact that the bromide suborns outcaste is right.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the phytoplankton is nonjudgmental is true.; int5 & sent2 -> hypothesis;
the phytoplankton does not gather Thrinax.
$hypothesis$ = the phytoplankton does not gather Thrinax. ; $context$ = sent1: the fact that the lignin is both not a renegade and not androgynous does not hold if the phytoplankton is not nonjudgmental. sent2: the phytoplankton gathers Thrinax if it is nonjudgmental. sent3: the lignin does suborn outcaste if the fact that the bromide is not androgynous and it is not a renegade does not hold. sent4: if the fact that the lignin is androgynous is correct the bromide is a physostigmine. sent5: That the outcaste does not suborn bromide hold. sent6: the bromide is a kind of a physostigmine if the fact that the lignin is not a renegade and it is not androgynous is incorrect. sent7: the phytoplankton does not gather Thrinax if the lignin does gather Thrinax and is a kind of a physostigmine. sent8: the bromide suborns outcaste if it is a physostigmine. sent9: that the bromide does not suborn outcaste hold. ; $proof$ = 
void -> assump1: Let's assume that the phytoplankton is not nonjudgmental.; sent1 & assump1 -> int1: the fact that the lignin is not a renegade and it is non-androgynous is not right.; int1 & sent6 -> int2: the bromide is a physostigmine.; int2 & sent8 -> int3: the fact that the bromide suborns outcaste is right.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the phytoplankton is nonjudgmental is true.; int5 & sent2 -> hypothesis; __DISPROVED__