that the foxglove is not a newspapering and it is not stearic does not hold.
sent1: the wildcat does not cleave bondsman if the cliff-brake coffins Sarcochilus. sent2: the fact that the foxglove is both not a newspapering and stearic does not hold. sent3: there exists something such that that it is a kind of a croak and it is orthotropous is not right. sent4: if the wildcat coffins Sarcochilus and does cleave bondsman then it does not uglify. sent5: there exists something such that the fact that it does cleave inkling and it is ceremonious is not correct. sent6: if there exists something such that the fact that it is orthotropous is not right then the wildcat does not croak. sent7: the wildcat does not cleave bondsman. sent8: if something coffins Sarcochilus and does cleave bondsman then it does not uglify. sent9: the wildcat is not a croak if there is something such that that it is a croak that is orthotropous is false. sent10: the wildcat is lossless. sent11: if the Micronor is a newspapering then that the foxglove is not a newspapering and is not stearic does not hold. sent12: if there exists something such that the fact that it does not cleave inkling is true that the cliff-brake coffins Sarcochilus is not incorrect. sent13: if there exists something such that the fact that it cleaves inkling and it is not ceremonious is not right then the cliff-brake does coffin Sarcochilus. sent14: that the foxglove is a newspapering but it is not stearic does not hold if that the Micronor is a newspapering is not wrong. sent15: if something does coffin Sarcochilus and does not cleave bondsman then it does not uglify. sent16: there exists something such that it cleaves inkling and is not ceremonious. sent17: if the wildcat is not a croak then it does uglify and is lossless. sent18: if the cliff-brake does coffin Sarcochilus then the wildcat does coffin Sarcochilus and does not cleave bondsman. sent19: there is something such that it is a croak and it is orthotropous. sent20: if the Micronor is a newspapering the fact that the foxglove is not a newspapering but stearic is not correct. sent21: the Micronor is a newspapering if the angler does cleave inkling and is not ceremonious.
void -> assump1: Let's assume that the fact that the angler does cleave inkling and is not ceremonious does not hold.; assump1 -> int1: there exists something such that the fact that it does cleave inkling and is not ceremonious is not correct.; int1 & sent13 -> int2: the cliff-brake coffins Sarcochilus.; int2 & sent18 -> int3: the wildcat does coffin Sarcochilus and does not cleave bondsman.; sent15 -> int4: if the wildcat does coffin Sarcochilus and does not cleave bondsman it does not uglify.; int3 & int4 -> int5: the wildcat does not uglify.; sent3 & sent9 -> int6: the wildcat is not a croak.; sent17 & int6 -> int7: the wildcat does uglify and it is lossless.; int7 -> int8: the wildcat uglifies.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the angler does cleave inkling but it is not ceremonious.; int10 & sent21 -> int11: the fact that the Micronor is a kind of a newspapering is correct.; int11 & sent11 -> hypothesis;
$hypothesis$ = that the foxglove is not a newspapering and it is not stearic does not hold. ; $context$ = sent1: the wildcat does not cleave bondsman if the cliff-brake coffins Sarcochilus. sent2: the fact that the foxglove is both not a newspapering and stearic does not hold. sent3: there exists something such that that it is a kind of a croak and it is orthotropous is not right. sent4: if the wildcat coffins Sarcochilus and does cleave bondsman then it does not uglify. sent5: there exists something such that the fact that it does cleave inkling and it is ceremonious is not correct. sent6: if there exists something such that the fact that it is orthotropous is not right then the wildcat does not croak. sent7: the wildcat does not cleave bondsman. sent8: if something coffins Sarcochilus and does cleave bondsman then it does not uglify. sent9: the wildcat is not a croak if there is something such that that it is a croak that is orthotropous is false. sent10: the wildcat is lossless. sent11: if the Micronor is a newspapering then that the foxglove is not a newspapering and is not stearic does not hold. sent12: if there exists something such that the fact that it does not cleave inkling is true that the cliff-brake coffins Sarcochilus is not incorrect. sent13: if there exists something such that the fact that it cleaves inkling and it is not ceremonious is not right then the cliff-brake does coffin Sarcochilus. sent14: that the foxglove is a newspapering but it is not stearic does not hold if that the Micronor is a newspapering is not wrong. sent15: if something does coffin Sarcochilus and does not cleave bondsman then it does not uglify. sent16: there exists something such that it cleaves inkling and is not ceremonious. sent17: if the wildcat is not a croak then it does uglify and is lossless. sent18: if the cliff-brake does coffin Sarcochilus then the wildcat does coffin Sarcochilus and does not cleave bondsman. sent19: there is something such that it is a croak and it is orthotropous. sent20: if the Micronor is a newspapering the fact that the foxglove is not a newspapering but stearic is not correct. sent21: the Micronor is a newspapering if the angler does cleave inkling and is not ceremonious. ; $proof$ = 
void -> assump1: Let's assume that the fact that the angler does cleave inkling and is not ceremonious does not hold.; assump1 -> int1: there exists something such that the fact that it does cleave inkling and is not ceremonious is not correct.; int1 & sent13 -> int2: the cliff-brake coffins Sarcochilus.; int2 & sent18 -> int3: the wildcat does coffin Sarcochilus and does not cleave bondsman.; sent15 -> int4: if the wildcat does coffin Sarcochilus and does not cleave bondsman it does not uglify.; int3 & int4 -> int5: the wildcat does not uglify.; sent3 & sent9 -> int6: the wildcat is not a croak.; sent17 & int6 -> int7: the wildcat does uglify and it is lossless.; int7 -> int8: the wildcat uglifies.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the angler does cleave inkling but it is not ceremonious.; int10 & sent21 -> int11: the fact that the Micronor is a kind of a newspapering is correct.; int11 & sent11 -> hypothesis; __PROVED__