that there is something such that the fact that it does not blink and it is not lexicographic does not hold is wrong.
sent1: the ichthyosaur is not lexicographic. sent2: the fact that the fact that the Etna is not a kind of an informer and it is not a toothpowder is right is false. sent3: the narcissus is not a walk-through if it does not skimp and does not coo nightwork. sent4: the fact that the narcissus does not equalize and does not coo nightwork is not right. sent5: the narcissus is not a blink. sent6: that the narcissus is lexicographic and does not immortalize forklift is not true. sent7: The nightwork coos narcissus. sent8: if the narcissus is not a kind of a blink and is not lexicographic then it does not coo nightwork. sent9: the narcissus does not coo nightwork if it is a blink and not lexicographic. sent10: the narcissus coos nightwork. sent11: there is something such that the fact that it is a blink and is not lexicographic is not true. sent12: the fact that the saber does not rib minefield and it does not coo nightwork is wrong. sent13: there is something such that it is not a kind of a blink and is not lexicographic.
void -> assump1: Let's assume that the narcissus is not a blink and is not lexicographic.; sent8 & assump1 -> int1: the narcissus does not coo nightwork.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the narcissus is not a blink and it is not lexicographic is not true.; int3 -> hypothesis;
$hypothesis$ = that there is something such that the fact that it does not blink and it is not lexicographic does not hold is wrong. ; $context$ = sent1: the ichthyosaur is not lexicographic. sent2: the fact that the fact that the Etna is not a kind of an informer and it is not a toothpowder is right is false. sent3: the narcissus is not a walk-through if it does not skimp and does not coo nightwork. sent4: the fact that the narcissus does not equalize and does not coo nightwork is not right. sent5: the narcissus is not a blink. sent6: that the narcissus is lexicographic and does not immortalize forklift is not true. sent7: The nightwork coos narcissus. sent8: if the narcissus is not a kind of a blink and is not lexicographic then it does not coo nightwork. sent9: the narcissus does not coo nightwork if it is a blink and not lexicographic. sent10: the narcissus coos nightwork. sent11: there is something such that the fact that it is a blink and is not lexicographic is not true. sent12: the fact that the saber does not rib minefield and it does not coo nightwork is wrong. sent13: there is something such that it is not a kind of a blink and is not lexicographic. ; $proof$ = 
void -> assump1: Let's assume that the narcissus is not a blink and is not lexicographic.; sent8 & assump1 -> int1: the narcissus does not coo nightwork.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the narcissus is not a blink and it is not lexicographic is not true.; int3 -> hypothesis; __DISPROVED__