that the chanter is not a cantle and does not winkle is not right.
sent1: if there exists something such that it hands deportation then that the buttermilk is bifilar but it does not disabuse staginess is not correct. sent2: the chanter does not disabuse staginess if it is not a cantle and does not winkle. sent3: the chanter does disabuse staginess and it is bifilar. sent4: that the dogmatist does overstrain buttermilk and does not overstrain smothered is not true. sent5: if something is not bifilar it is not a cantle and does not winkle. sent6: if that there is something such that it overstrains smothered is right then the pivot hands deportation and it disabuses arioso. sent7: if that the dogmatist overstrains buttermilk and does not overstrain smothered is not true it does overstrain smothered.
void -> assump1: Let's assume that the chanter is not a cantle and it does not winkle.; sent2 & assump1 -> int1: the chanter does not disabuse staginess.; sent3 -> int2: the chanter does disabuse staginess.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the chanter is not a kind of a cantle and does not winkle.
sent5 -> int4: the chanter is not a cantle and it does not winkle if it is not bifilar.; sent7 & sent4 -> int5: the dogmatist does overstrain smothered.; int5 -> int6: there exists something such that it does overstrain smothered.; int6 & sent6 -> int7: the pivot does hand deportation and does disabuse arioso.; int7 -> int8: the pivot hands deportation.; int8 -> int9: there exists something such that it does hand deportation.; int9 & sent1 -> int10: the fact that the buttermilk is bifilar and does not disabuse staginess is not right.; int10 -> int11: there is something such that the fact that it is bifilar thing that does not disabuse staginess is incorrect.;
$hypothesis$ = that the chanter is not a cantle and does not winkle is not right. ; $context$ = sent1: if there exists something such that it hands deportation then that the buttermilk is bifilar but it does not disabuse staginess is not correct. sent2: the chanter does not disabuse staginess if it is not a cantle and does not winkle. sent3: the chanter does disabuse staginess and it is bifilar. sent4: that the dogmatist does overstrain buttermilk and does not overstrain smothered is not true. sent5: if something is not bifilar it is not a cantle and does not winkle. sent6: if that there is something such that it overstrains smothered is right then the pivot hands deportation and it disabuses arioso. sent7: if that the dogmatist overstrains buttermilk and does not overstrain smothered is not true it does overstrain smothered. ; $proof$ = 
void -> assump1: Let's assume that the chanter is not a cantle and it does not winkle.; sent2 & assump1 -> int1: the chanter does not disabuse staginess.; sent3 -> int2: the chanter does disabuse staginess.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__