that the sax is not a kind of a sprag is true.
sent1: something is not a sprag and is not a Rama if it does not reassail ticktock. sent2: the dastard is microeconomic. sent3: the sax does not enliven beachwear if the dastard enliven beachwear and does not reassail ticktock. sent4: something is not a sprag if it is not a Rama. sent5: something that is not a kind of a Angara and is not incongruent does not bungle. sent6: the maypole does not furrow freemasonry if that it does not proposition maypole hold. sent7: the sax furrows freemasonry and enlivens beachwear if it is not a kind of a Angara. sent8: there is something such that that it is a kind of non-Victorian thing that does reassail ticktock does not hold. sent9: the dastard is incongruent and/or is a Angara if the fact that it is not Korean hold. sent10: something is not a Korean if it is both not a sprag and not a Rama. sent11: something that either is a Angara or is incongruent or both is not a Korean. sent12: if the fact that the dastard is microeconomic is right then it enlivens beachwear and does not reassail ticktock.
void -> assump1: Let's assume that the fact that the sax is not a Angara hold.; sent7 & assump1 -> int1: that the sax does furrow freemasonry and it enlivens beachwear is not wrong.; int1 -> int2: the sax does enliven beachwear.; sent12 & sent2 -> int3: the dastard does enliven beachwear but it does not reassail ticktock.; sent3 & int3 -> int4: the sax does not enliven beachwear.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sax is a Angara.; int6 -> int7: either the sax is a Angara or it is incongruent or both.; sent11 -> int8: the sax is not Korean if it is a kind of a Angara or it is incongruent or both.; int7 & int8 -> int9: the sax is not a Korean.; sent4 -> int10: if the sax is not a Rama then the fact that it is not a sprag is right.;
the sax is a sprag.
$hypothesis$ = that the sax is not a kind of a sprag is true. ; $context$ = sent1: something is not a sprag and is not a Rama if it does not reassail ticktock. sent2: the dastard is microeconomic. sent3: the sax does not enliven beachwear if the dastard enliven beachwear and does not reassail ticktock. sent4: something is not a sprag if it is not a Rama. sent5: something that is not a kind of a Angara and is not incongruent does not bungle. sent6: the maypole does not furrow freemasonry if that it does not proposition maypole hold. sent7: the sax furrows freemasonry and enlivens beachwear if it is not a kind of a Angara. sent8: there is something such that that it is a kind of non-Victorian thing that does reassail ticktock does not hold. sent9: the dastard is incongruent and/or is a Angara if the fact that it is not Korean hold. sent10: something is not a Korean if it is both not a sprag and not a Rama. sent11: something that either is a Angara or is incongruent or both is not a Korean. sent12: if the fact that the dastard is microeconomic is right then it enlivens beachwear and does not reassail ticktock. ; $proof$ = 
void -> assump1: Let's assume that the fact that the sax is not a Angara hold.; sent7 & assump1 -> int1: that the sax does furrow freemasonry and it enlivens beachwear is not wrong.; int1 -> int2: the sax does enliven beachwear.; sent12 & sent2 -> int3: the dastard does enliven beachwear but it does not reassail ticktock.; sent3 & int3 -> int4: the sax does not enliven beachwear.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sax is a Angara.; int6 -> int7: either the sax is a Angara or it is incongruent or both.; sent11 -> int8: the sax is not Korean if it is a kind of a Angara or it is incongruent or both.; int7 & int8 -> int9: the sax is not a Korean.; sent4 -> int10: if the sax is not a Rama then the fact that it is not a sprag is right.; __UNKNOWN__