the Alabaman is not non-caudate and it concurs.
sent1: the fact that the Alabaman is not a Sauk but it is caudate is false. sent2: something does not concur if it is both non-tribal and an order. sent3: that the catananche is not a Sauk but it is unostentatious is not right. sent4: the linstock is not dental and it is not osseous if it is not a jacks. sent5: the composition is not a kind of a Sauk if something is not dental and not osseous. sent6: the Alabaman is a kind of an order. sent7: the linstock is not a jacks. sent8: the fact that the beech is a kind of non-sociolinguistics thing that is a kind of a weatherman is incorrect. sent9: if that the catananche is not a Sauk but it is unostentatious is not right then the pouch is not unostentatious. sent10: if the Alabaman is tribal then it concurs. sent11: the chessboard is a Sauk if the composition is not a Sauk. sent12: if the catananche is a kind of a Sauk the fact that the pouch is not unostentatious is not false. sent13: the pouch is a weatherman. sent14: that the catananche is a kind of caudate thing that is unostentatious does not hold. sent15: if that the pouch does not concur and is a kind of a weatherman is false then the Alabaman is not a kind of a weatherman. sent16: the pouch is both an order and a weatherman. sent17: if something is not a weatherman then that it does not concur and it is tribal is incorrect. sent18: if that the chessboard is a Sauk is right the catananche is a kind of a amnion. sent19: that the fact that the Alabaman is a kind of a caudate and it does concur hold is wrong if the pouch does not concur. sent20: that the diplomat is not unostentatious hold. sent21: if that the catananche is both not unostentatious and not an order is false then the Alabaman is a kind of a caudate. sent22: the fact that the pouch is a kind of a sextant is correct. sent23: if that the fact that the Alabaman is not unostentatious but it does concur is correct is wrong then the pouch does not concur. sent24: the fact that the catananche is a Sauk and it is unostentatious is not right. sent25: the pouch is unostentatious if it is tribal. sent26: that something is not unostentatious and it is not an order is false if it is a amnion.
void -> assump1: Let's assume that the pouch is tribal.; sent25 & assump1 -> int1: the pouch is unostentatious.; sent9 & sent3 -> int2: the pouch is not unostentatious.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pouch is not tribal.; sent16 -> int5: the pouch does order.; int4 & int5 -> int6: the pouch is non-tribal thing that is an order.; sent2 -> int7: the pouch does not concur if it is not tribal but an order.; int6 & int7 -> int8: the pouch does not concur.; int8 & sent19 -> hypothesis;
the Alabaman is a caudate and it concurs.
sent26 -> int9: that the catananche is not unostentatious and it is not a kind of an order is incorrect if it is a amnion.; sent4 & sent7 -> int10: the linstock is not dental and it is not osseous.; int10 -> int11: there are non-dental and non-osseous things.; int11 & sent5 -> int12: the composition is not a Sauk.; sent11 & int12 -> int13: the chessboard is a Sauk.; sent18 & int13 -> int14: the catananche is a amnion.; int9 & int14 -> int15: the fact that the catananche is not unostentatious and it is not an order is not true.; sent21 & int15 -> int16: the Alabaman is a caudate.; sent17 -> int17: the fact that the pouch does not concur but it is tribal is not correct if it is not a weatherman.; sent8 -> int18: there exists something such that the fact that it is not sociolinguistics and is a kind of a weatherman is false.;
$hypothesis$ = the Alabaman is not non-caudate and it concurs. ; $context$ = sent1: the fact that the Alabaman is not a Sauk but it is caudate is false. sent2: something does not concur if it is both non-tribal and an order. sent3: that the catananche is not a Sauk but it is unostentatious is not right. sent4: the linstock is not dental and it is not osseous if it is not a jacks. sent5: the composition is not a kind of a Sauk if something is not dental and not osseous. sent6: the Alabaman is a kind of an order. sent7: the linstock is not a jacks. sent8: the fact that the beech is a kind of non-sociolinguistics thing that is a kind of a weatherman is incorrect. sent9: if that the catananche is not a Sauk but it is unostentatious is not right then the pouch is not unostentatious. sent10: if the Alabaman is tribal then it concurs. sent11: the chessboard is a Sauk if the composition is not a Sauk. sent12: if the catananche is a kind of a Sauk the fact that the pouch is not unostentatious is not false. sent13: the pouch is a weatherman. sent14: that the catananche is a kind of caudate thing that is unostentatious does not hold. sent15: if that the pouch does not concur and is a kind of a weatherman is false then the Alabaman is not a kind of a weatherman. sent16: the pouch is both an order and a weatherman. sent17: if something is not a weatherman then that it does not concur and it is tribal is incorrect. sent18: if that the chessboard is a Sauk is right the catananche is a kind of a amnion. sent19: that the fact that the Alabaman is a kind of a caudate and it does concur hold is wrong if the pouch does not concur. sent20: that the diplomat is not unostentatious hold. sent21: if that the catananche is both not unostentatious and not an order is false then the Alabaman is a kind of a caudate. sent22: the fact that the pouch is a kind of a sextant is correct. sent23: if that the fact that the Alabaman is not unostentatious but it does concur is correct is wrong then the pouch does not concur. sent24: the fact that the catananche is a Sauk and it is unostentatious is not right. sent25: the pouch is unostentatious if it is tribal. sent26: that something is not unostentatious and it is not an order is false if it is a amnion. ; $proof$ = 
void -> assump1: Let's assume that the pouch is tribal.; sent25 & assump1 -> int1: the pouch is unostentatious.; sent9 & sent3 -> int2: the pouch is not unostentatious.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pouch is not tribal.; sent16 -> int5: the pouch does order.; int4 & int5 -> int6: the pouch is non-tribal thing that is an order.; sent2 -> int7: the pouch does not concur if it is not tribal but an order.; int6 & int7 -> int8: the pouch does not concur.; int8 & sent19 -> hypothesis; __DISPROVED__