that if the wingman is non-lexical the eyeliner is a kingdom and it is a kind of a Ventose is not correct.
sent1: the fact that the brimstone is not a Ventose but it is an advanced is wrong. sent2: something is not a Aporocactus. sent3: if something that is not lexical is an advanced then the eyeliner is a brainstem. sent4: if the fact that the brimstone is both not a GUI and a Ventose is not correct the fact that the li is a Ventose is right. sent5: the eminence pans Templar and hyperventilates. sent6: the wingman does advance. sent7: if that something does not advance and is a brainstem is not true then it is not lexical. sent8: if something is not lexical it is not a GUI and it is a kind of a Precambrian. sent9: that the brimstone is not a GUI and is a Ventose is not true if there is something such that it is not a Aporocactus. sent10: something is a kingdom if that it is not a brainstem does not hold. sent11: if the li is a Ventose then the fact that the eyeliner is a Ventose is true.
void -> assump1: Let's assume that the fact that the fact that the wingman is lexical hold is wrong.; assump1 & sent6 -> int1: the wingman is not lexical but it advances.; int1 -> int2: that something is both not lexical and an advanced is correct.; int2 & sent3 -> int3: the eyeliner is a brainstem.; sent10 -> int4: the eyeliner is a kind of a kingdom if it is a brainstem.; int3 & int4 -> int5: the eyeliner is a kind of a kingdom.; sent2 & sent9 -> int6: that the brimstone is both not a GUI and a Ventose is false.; sent4 & int6 -> int7: the li is a Ventose.; sent11 & int7 -> int8: that the eyeliner is a Ventose hold.; int5 & int8 -> int9: the eyeliner is a kingdom and it is a Ventose.; [assump1] & int9 -> hypothesis;
the li is not a GUI and is a Precambrian.
sent8 -> int10: if the li is not lexical it is not a GUI and it is a kind of a Precambrian.; sent7 -> int11: the li is not lexical if the fact that it is not an advanced and it is a brainstem is false.;
$hypothesis$ = that if the wingman is non-lexical the eyeliner is a kingdom and it is a kind of a Ventose is not correct. ; $context$ = sent1: the fact that the brimstone is not a Ventose but it is an advanced is wrong. sent2: something is not a Aporocactus. sent3: if something that is not lexical is an advanced then the eyeliner is a brainstem. sent4: if the fact that the brimstone is both not a GUI and a Ventose is not correct the fact that the li is a Ventose is right. sent5: the eminence pans Templar and hyperventilates. sent6: the wingman does advance. sent7: if that something does not advance and is a brainstem is not true then it is not lexical. sent8: if something is not lexical it is not a GUI and it is a kind of a Precambrian. sent9: that the brimstone is not a GUI and is a Ventose is not true if there is something such that it is not a Aporocactus. sent10: something is a kingdom if that it is not a brainstem does not hold. sent11: if the li is a Ventose then the fact that the eyeliner is a Ventose is true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the wingman is lexical hold is wrong.; assump1 & sent6 -> int1: the wingman is not lexical but it advances.; int1 -> int2: that something is both not lexical and an advanced is correct.; int2 & sent3 -> int3: the eyeliner is a brainstem.; sent10 -> int4: the eyeliner is a kind of a kingdom if it is a brainstem.; int3 & int4 -> int5: the eyeliner is a kind of a kingdom.; sent2 & sent9 -> int6: that the brimstone is both not a GUI and a Ventose is false.; sent4 & int6 -> int7: the li is a Ventose.; sent11 & int7 -> int8: that the eyeliner is a Ventose hold.; int5 & int8 -> int9: the eyeliner is a kingdom and it is a Ventose.; [assump1] & int9 -> hypothesis; __DISPROVED__