the fact that that the desk is a Oxyura but it is not a revival is incorrect is not false.
sent1: that the jackknife does not avoid Nut is not incorrect. sent2: that the fact that something is a Oxyura and is not a revival is wrong if that it does avoid Nut hold is not false. sent3: if there is something such that that it avoids Nut and it is not a in-joke is not right then the desk is not a kind of a revival. sent4: That the Nut does not avoid jackknife is not incorrect. sent5: the desk is a kind of a Oxyura. sent6: if something is a kind of a in-joke it does avoid Nut.
void -> assump1: Let's assume that the jackknife avoids Nut and is not a in-joke.; assump1 -> int1: the jackknife avoids Nut.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the jackknife avoids Nut and is not a in-joke is false.; int3 -> int4: there is something such that the fact that it does avoid Nut and it is not a in-joke is not true.; int4 & sent3 -> int5: the desk is not a kind of a revival.; int5 & sent5 -> hypothesis;
that the desk is a Oxyura and not a revival is not correct.
sent2 -> int6: if the desk does avoid Nut then that it is both a Oxyura and not a revival is not correct.; sent6 -> int7: the desk does avoid Nut if it is a in-joke.;
$hypothesis$ = the fact that that the desk is a Oxyura but it is not a revival is incorrect is not false. ; $context$ = sent1: that the jackknife does not avoid Nut is not incorrect. sent2: that the fact that something is a Oxyura and is not a revival is wrong if that it does avoid Nut hold is not false. sent3: if there is something such that that it avoids Nut and it is not a in-joke is not right then the desk is not a kind of a revival. sent4: That the Nut does not avoid jackknife is not incorrect. sent5: the desk is a kind of a Oxyura. sent6: if something is a kind of a in-joke it does avoid Nut. ; $proof$ = 
void -> assump1: Let's assume that the jackknife avoids Nut and is not a in-joke.; assump1 -> int1: the jackknife avoids Nut.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the jackknife avoids Nut and is not a in-joke is false.; int3 -> int4: there is something such that the fact that it does avoid Nut and it is not a in-joke is not true.; int4 & sent3 -> int5: the desk is not a kind of a revival.; int5 & sent5 -> hypothesis; __DISPROVED__