the southland is not a kind of a missionary.
sent1: that the southland contemns hermit is not false. sent2: something is not a kind of a missionary if it does not contemn hermit. sent3: something confines ballyhoo if it is a pyrograph. sent4: there exists something such that the fact that it is a Plectognathi and not a labial is incorrect. sent5: if the fact that that the end-plate is non-labial thing that is a kind of a pyrograph is not correct hold then that it is not a pyrograph is not incorrect. sent6: the southland does confine ballyhoo. sent7: that the southland does confine ballyhoo but it does not confine minibar is not incorrect. sent8: if the radio does ridicule Lamarck then it is not a missionary. sent9: if the barricade is a missionary then the southland is a missionary. sent10: the southland is not a MD if it is a missionary and it confines oarsman. sent11: if something is a pyrograph and/or does not confine ballyhoo it does not confine ballyhoo. sent12: if something that is a Plectognathi is not a pyrograph then the barricade is not a missionary. sent13: the end-plate is a Plectognathi. sent14: if that something contemns hermit and is not a bushel is wrong then it is not missionary. sent15: the southland ridicules one-fifth and confines ballyhoo. sent16: if something that contemns hermit is not a bushel then it does not ridicule one-fifth. sent17: if something does not ridicule funds that it is both not labial and a pyrograph is not right. sent18: if that something does ridicule one-fifth and is Masoretic is not true then it is not Masoretic. sent19: if the southland does not contemn hermit it is not a kind of a missionary. sent20: that something does ridicule one-fifth and is Masoretic is not correct if it is not a missionary. sent21: if the barricade is not a bushel and/or it ridicules one-fifth the rummer is not a kind of a bushel. sent22: the end-plate does not ridicule funds.
sent16 -> int1: that the southland does not ridicule one-fifth is not false if it does contemn hermit and is not a bushel.; void -> assump1: Let's assume that the southland does contemn hermit but it is not a bushel.; int1 & assump1 -> int2: the southland does not ridicule one-fifth.; sent15 -> int3: the southland does ridicule one-fifth.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the southland does contemn hermit but it is not a bushel does not hold.; sent14 -> int6: the fact that the southland is not a kind of a missionary hold if that it does contemn hermit and it is not a bushel is incorrect.; int5 & int6 -> hypothesis;
the fact that the southland is Masoretic but it does not confine ballyhoo is false.
sent18 -> int7: if the fact that the barricade does ridicule one-fifth and is Masoretic is not true then it is not Masoretic.; sent20 -> int8: if the barricade is not missionary that it ridicules one-fifth and is Masoretic is not right.; sent17 -> int9: that the end-plate is not a labial and is a pyrograph is incorrect if it does not ridicule funds.; int9 & sent22 -> int10: the fact that the end-plate is both not a labial and a pyrograph is not correct.; sent5 & int10 -> int11: the end-plate is not a pyrograph.; sent13 & int11 -> int12: the end-plate is a Plectognathi that is not a kind of a pyrograph.; int12 -> int13: there is something such that it is a Plectognathi and it is not a pyrograph.; int13 & sent12 -> int14: the barricade is not a missionary.; int8 & int14 -> int15: that the barricade does ridicule one-fifth and is Masoretic is not right.; int7 & int15 -> int16: the barricade is not Masoretic.; int16 -> int17: there are non-Masoretic things.;
$hypothesis$ = the southland is not a kind of a missionary. ; $context$ = sent1: that the southland contemns hermit is not false. sent2: something is not a kind of a missionary if it does not contemn hermit. sent3: something confines ballyhoo if it is a pyrograph. sent4: there exists something such that the fact that it is a Plectognathi and not a labial is incorrect. sent5: if the fact that that the end-plate is non-labial thing that is a kind of a pyrograph is not correct hold then that it is not a pyrograph is not incorrect. sent6: the southland does confine ballyhoo. sent7: that the southland does confine ballyhoo but it does not confine minibar is not incorrect. sent8: if the radio does ridicule Lamarck then it is not a missionary. sent9: if the barricade is a missionary then the southland is a missionary. sent10: the southland is not a MD if it is a missionary and it confines oarsman. sent11: if something is a pyrograph and/or does not confine ballyhoo it does not confine ballyhoo. sent12: if something that is a Plectognathi is not a pyrograph then the barricade is not a missionary. sent13: the end-plate is a Plectognathi. sent14: if that something contemns hermit and is not a bushel is wrong then it is not missionary. sent15: the southland ridicules one-fifth and confines ballyhoo. sent16: if something that contemns hermit is not a bushel then it does not ridicule one-fifth. sent17: if something does not ridicule funds that it is both not labial and a pyrograph is not right. sent18: if that something does ridicule one-fifth and is Masoretic is not true then it is not Masoretic. sent19: if the southland does not contemn hermit it is not a kind of a missionary. sent20: that something does ridicule one-fifth and is Masoretic is not correct if it is not a missionary. sent21: if the barricade is not a bushel and/or it ridicules one-fifth the rummer is not a kind of a bushel. sent22: the end-plate does not ridicule funds. ; $proof$ = 
sent16 -> int1: that the southland does not ridicule one-fifth is not false if it does contemn hermit and is not a bushel.; void -> assump1: Let's assume that the southland does contemn hermit but it is not a bushel.; int1 & assump1 -> int2: the southland does not ridicule one-fifth.; sent15 -> int3: the southland does ridicule one-fifth.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the southland does contemn hermit but it is not a bushel does not hold.; sent14 -> int6: the fact that the southland is not a kind of a missionary hold if that it does contemn hermit and it is not a bushel is incorrect.; int5 & int6 -> hypothesis; __PROVED__