that the March is sugary or it does command plectognath or both is incorrect.
sent1: if the choppiness is not fatalist but uncertain then the scaffolding is not a fatalist. sent2: the lamasery is not a chronicler. sent3: the March does not command plectognath if the scaffolding is not sugary. sent4: if the scaffolding is not a fatalist then the fact that the March is both a Kentuckian and not a chronicler is wrong. sent5: the March is not a kind of a coalbin if the outline does command plectognath and it is a coalbin. sent6: if something does not strip intercommunication then it is uncertain. sent7: if that something is a Kentuckian but not a chronicler is wrong it does command plectognath. sent8: that the outline is civics thing that is a coalbin is not right. sent9: the sun does not stable capful. sent10: if the choppiness is not non-fatalist then that the hatband is uncertain is not false. sent11: something is a kind of a fauna and it is uncertain if it does not strip intercommunication. sent12: the outline is a compound if the sun is a kind of a discontinuity but it does not stable capful. sent13: the choppiness is not a chronicler but it is a fatalist if the scaffolding is not a kind of a chronicler. sent14: the encolure is uncertain. sent15: if there exists something such that it is a kind of a compound the encolure is not civics. sent16: the fact that the hatband is not uncertain is correct if the March is not uncertain. sent17: the sun is a discontinuity. sent18: the hatband is not uncertain if the encolure is a fauna and uncertain. sent19: if the fact that the encolure does not strip intercommunication is not false it is uncertain. sent20: if the fact that the outline is both civics and a coalbin is false the encolure does not strip intercommunication. sent21: the fact that the scaffolding is not a kind of a chronicler is not false if either it is a kind of a Kentuckian or it is sugary or both. sent22: the fact that something is not a coalbin and not a fauna is incorrect if it is not civics. sent23: the choppiness is not a chronicler. sent24: if the scaffolding is not sugary then that the March is not sugary or does command plectognath or both is incorrect.
void -> assump1: Let's assume that the fact that the scaffolding is sugary is right.; assump1 -> int1: the scaffolding is a Kentuckian and/or sugary.; int1 & sent21 -> int2: the scaffolding is not a chronicler.; int2 & sent13 -> int3: the choppiness is not a kind of a chronicler and is a fatalist.; int3 -> int4: the choppiness is a fatalist.; int4 & sent10 -> int5: the hatband is uncertain.; sent11 -> int6: if that the encolure does not strip intercommunication is not false it is a kind of a fauna that is uncertain.; sent20 & sent8 -> int7: the encolure does not strip intercommunication.; int6 & int7 -> int8: the encolure is a fauna and is uncertain.; sent18 & int8 -> int9: the hatband is not uncertain.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the scaffolding is not sugary.; int11 & sent24 -> hypothesis;
the March is sugary and/or does command plectognath.
sent7 -> int12: if the fact that the March is a Kentuckian but it is not a chronicler does not hold then it does command plectognath.; sent22 -> int13: if the encolure is not civics the fact that it is not a coalbin and it is not a fauna is incorrect.; sent17 & sent9 -> int14: the sun is a kind of a discontinuity and does not stable capful.; sent12 & int14 -> int15: the outline does compound.; int15 -> int16: there exists something such that it is a compound.; int16 & sent15 -> int17: the encolure is not civics.; int13 & int17 -> int18: the fact that the encolure is not a coalbin and it is not a fauna is false.;
$hypothesis$ = that the March is sugary or it does command plectognath or both is incorrect. ; $context$ = sent1: if the choppiness is not fatalist but uncertain then the scaffolding is not a fatalist. sent2: the lamasery is not a chronicler. sent3: the March does not command plectognath if the scaffolding is not sugary. sent4: if the scaffolding is not a fatalist then the fact that the March is both a Kentuckian and not a chronicler is wrong. sent5: the March is not a kind of a coalbin if the outline does command plectognath and it is a coalbin. sent6: if something does not strip intercommunication then it is uncertain. sent7: if that something is a Kentuckian but not a chronicler is wrong it does command plectognath. sent8: that the outline is civics thing that is a coalbin is not right. sent9: the sun does not stable capful. sent10: if the choppiness is not non-fatalist then that the hatband is uncertain is not false. sent11: something is a kind of a fauna and it is uncertain if it does not strip intercommunication. sent12: the outline is a compound if the sun is a kind of a discontinuity but it does not stable capful. sent13: the choppiness is not a chronicler but it is a fatalist if the scaffolding is not a kind of a chronicler. sent14: the encolure is uncertain. sent15: if there exists something such that it is a kind of a compound the encolure is not civics. sent16: the fact that the hatband is not uncertain is correct if the March is not uncertain. sent17: the sun is a discontinuity. sent18: the hatband is not uncertain if the encolure is a fauna and uncertain. sent19: if the fact that the encolure does not strip intercommunication is not false it is uncertain. sent20: if the fact that the outline is both civics and a coalbin is false the encolure does not strip intercommunication. sent21: the fact that the scaffolding is not a kind of a chronicler is not false if either it is a kind of a Kentuckian or it is sugary or both. sent22: the fact that something is not a coalbin and not a fauna is incorrect if it is not civics. sent23: the choppiness is not a chronicler. sent24: if the scaffolding is not sugary then that the March is not sugary or does command plectognath or both is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the scaffolding is sugary is right.; assump1 -> int1: the scaffolding is a Kentuckian and/or sugary.; int1 & sent21 -> int2: the scaffolding is not a chronicler.; int2 & sent13 -> int3: the choppiness is not a kind of a chronicler and is a fatalist.; int3 -> int4: the choppiness is a fatalist.; int4 & sent10 -> int5: the hatband is uncertain.; sent11 -> int6: if that the encolure does not strip intercommunication is not false it is a kind of a fauna that is uncertain.; sent20 & sent8 -> int7: the encolure does not strip intercommunication.; int6 & int7 -> int8: the encolure is a fauna and is uncertain.; sent18 & int8 -> int9: the hatband is not uncertain.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the scaffolding is not sugary.; int11 & sent24 -> hypothesis; __PROVED__