the ten-spot is both not dithyrambic and counterinsurgent.
sent1: the fact that the Highlander is cortical but it does not wire punkie is not correct. sent2: the Highlander is cortical if it is dithyrambic. sent3: the ten-spot is counterinsurgent if the Highlander is not dithyrambic. sent4: that the Highlander is dithyrambic thing that is not counterinsurgent is false. sent5: the engineer is not cortical. sent6: the fleawort is not dithyrambic. sent7: if the fact that that the ten-spot is a disunion but not hydrophobic is correct does not hold the fact that it is not a disunion is right. sent8: the fact that something is not dithyrambic but it is counterinsurgent is false if it is cortical. sent9: if that something is non-anastomotic and is not a footrace is not right it does not wire Malian. sent10: the ten-spot is not counterinsurgent if that it is counterinsurgent and it does not wire punkie is incorrect. sent11: that the Highlander is cortical but it is not counterinsurgent is wrong. sent12: that something is not anastomotic and it is not a footrace does not hold if it does oscillate. sent13: that the fetus is not organismal is correct if that it is organismal and it is not counterinsurgent is false. sent14: the ten-spot is not cortical. sent15: the Highlander is non-sclerotic a crossbow. sent16: the fact that the ten-spot is a kind of cortical thing that is not dithyrambic is not correct. sent17: the ten-spot is counterinsurgent. sent18: if that the Highlander is cortical and does not wire punkie does not hold it is not cortical. sent19: that the Highlander does wire punkie and is not counterinsurgent is incorrect. sent20: the propylene is not dithyrambic if the fact that it is both dithyrambic and not granulocytic is not true. sent21: the actinometer is counterinsurgent if it wires neurologist. sent22: something is cortical and does wire punkie if it does not wire Malian. sent23: if the Highlander is not dithyrambic the ten-spot is non-dithyrambic thing that is counterinsurgent.
void -> assump1: Let's assume that the Highlander is dithyrambic.; sent2 & assump1 -> int1: the Highlander is cortical.; sent18 & sent1 -> int2: that the Highlander is not cortical is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Highlander is not dithyrambic.; int4 & sent23 -> hypothesis;
that the ten-spot is not dithyrambic but it is counterinsurgent is false.
sent8 -> int5: that the ten-spot is both not dithyrambic and counterinsurgent does not hold if it is cortical.; sent22 -> int6: the ten-spot is cortical and it does wire punkie if it does not wire Malian.; sent9 -> int7: the ten-spot does not wire Malian if the fact that it is not anastomotic and is not a kind of a footrace is false.; sent12 -> int8: that the fact that the ten-spot is both not anastomotic and not a footrace is false is right if it does oscillate.;
$hypothesis$ = the ten-spot is both not dithyrambic and counterinsurgent. ; $context$ = sent1: the fact that the Highlander is cortical but it does not wire punkie is not correct. sent2: the Highlander is cortical if it is dithyrambic. sent3: the ten-spot is counterinsurgent if the Highlander is not dithyrambic. sent4: that the Highlander is dithyrambic thing that is not counterinsurgent is false. sent5: the engineer is not cortical. sent6: the fleawort is not dithyrambic. sent7: if the fact that that the ten-spot is a disunion but not hydrophobic is correct does not hold the fact that it is not a disunion is right. sent8: the fact that something is not dithyrambic but it is counterinsurgent is false if it is cortical. sent9: if that something is non-anastomotic and is not a footrace is not right it does not wire Malian. sent10: the ten-spot is not counterinsurgent if that it is counterinsurgent and it does not wire punkie is incorrect. sent11: that the Highlander is cortical but it is not counterinsurgent is wrong. sent12: that something is not anastomotic and it is not a footrace does not hold if it does oscillate. sent13: that the fetus is not organismal is correct if that it is organismal and it is not counterinsurgent is false. sent14: the ten-spot is not cortical. sent15: the Highlander is non-sclerotic a crossbow. sent16: the fact that the ten-spot is a kind of cortical thing that is not dithyrambic is not correct. sent17: the ten-spot is counterinsurgent. sent18: if that the Highlander is cortical and does not wire punkie does not hold it is not cortical. sent19: that the Highlander does wire punkie and is not counterinsurgent is incorrect. sent20: the propylene is not dithyrambic if the fact that it is both dithyrambic and not granulocytic is not true. sent21: the actinometer is counterinsurgent if it wires neurologist. sent22: something is cortical and does wire punkie if it does not wire Malian. sent23: if the Highlander is not dithyrambic the ten-spot is non-dithyrambic thing that is counterinsurgent. ; $proof$ = 
void -> assump1: Let's assume that the Highlander is dithyrambic.; sent2 & assump1 -> int1: the Highlander is cortical.; sent18 & sent1 -> int2: that the Highlander is not cortical is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Highlander is not dithyrambic.; int4 & sent23 -> hypothesis; __PROVED__