that the turbinate is not a duke is not wrong.
sent1: there exists something such that it is a hectogram. sent2: if the turbinate is not nonexistent the fact that it is not a NB and is not a duke is not correct. sent3: if the wedge averts then the turbinate is not a NB. sent4: if the wedge is not a kind of a duke then the fact that it does not avert and is not a NB is incorrect. sent5: if something is a kind of a hectogram and it is a kind of a stomachache then the wedge averts. sent6: something is a hectogram and a stomachache. sent7: the turbinate is existent.
sent6 & sent5 -> int1: the wedge averts.; int1 & sent3 -> int2: that the turbinate is not a kind of a NB hold.; void -> assump1: Let's assume that the turbinate is not a duke.; int2 & assump1 -> int3: the turbinate is not a NB and it is not a duke.; sent2 & sent7 -> int4: that the turbinate is not a kind of a NB and is not a duke does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the turbinate is not a duke is not wrong. ; $context$ = sent1: there exists something such that it is a hectogram. sent2: if the turbinate is not nonexistent the fact that it is not a NB and is not a duke is not correct. sent3: if the wedge averts then the turbinate is not a NB. sent4: if the wedge is not a kind of a duke then the fact that it does not avert and is not a NB is incorrect. sent5: if something is a kind of a hectogram and it is a kind of a stomachache then the wedge averts. sent6: something is a hectogram and a stomachache. sent7: the turbinate is existent. ; $proof$ = 
sent6 & sent5 -> int1: the wedge averts.; int1 & sent3 -> int2: that the turbinate is not a kind of a NB hold.; void -> assump1: Let's assume that the turbinate is not a duke.; int2 & assump1 -> int3: the turbinate is not a NB and it is not a duke.; sent2 & sent7 -> int4: that the turbinate is not a kind of a NB and is not a duke does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__