that the bur is not a kind of a BTU and does hedge coo is not true.
sent1: the bur is not a spade if it does not hedge coo. sent2: there is something such that it hedges legend. sent3: if the sodalist is not a kind of a laceration then it does hedge Baphia. sent4: the buttonwood is poetic if it is neuroglial. sent5: if either something does burgeon or it is not supernaturalist or both then the fact that it does hedge legend is true. sent6: the fact that the bur is Audenesque is not false if it does not spade. sent7: if the implantation does hedge legend and is iridaceous the buttonwood is not poetic. sent8: the buttonwood is neuroglial. sent9: if something is not a laceration it does hedge Baphia. sent10: if either the bur does hedge coo or it is not poetic or both then it does burgeon. sent11: the melosa is poetic if the sodalist does hedge Baphia. sent12: if there is something such that that it spades hold the implantation is not Audenesque. sent13: the implantation does hedge Baphia if it is not a laceration. sent14: the implantation either burgeons or is supernaturalist or both if the bur is Audenesque. sent15: if the implantation is not supernaturalist it hedges legend. sent16: something does hedge legend if it is poetic. sent17: the sodalist is not a laceration. sent18: if the fact that the bur is Audenesque is true the implantation burgeons or is not supernaturalist or both. sent19: the fact that something is not a spade and is not supernaturalist is incorrect if it does not burgeon. sent20: if the fact that the bur is not a kind of a BTU but it does hedge coo is not right it does not spade. sent21: the buttonwood does spade if the fact that the batten is not a spade and is not supernaturalist is wrong. sent22: the implantation is not a laceration. sent23: if the melosa does not burgeon and is iridaceous the batten does not burgeon. sent24: that something is a kind of iridaceous thing that hedges Baphia if it is not a kind of a laceration is right.
void -> assump1: Let's assume that that the bur is not a BTU but it hedges coo is not true.; sent20 & assump1 -> int1: the bur is not a spade.; int1 & sent6 -> int2: the bur is Audenesque.; int2 & sent18 -> int3: the implantation burgeons and/or is not supernaturalist.; sent5 -> int4: the implantation hedges legend if it burgeons and/or is not supernaturalist.; int3 & int4 -> int5: the implantation hedges legend.; sent24 -> int6: if the implantation is not a kind of a laceration it is iridaceous and does hedge Baphia.; int6 & sent22 -> int7: the implantation is iridaceous thing that hedges Baphia.; int7 -> int8: the implantation is iridaceous.; int5 & int8 -> int9: the implantation does hedge legend and is iridaceous.; int9 & sent7 -> int10: the buttonwood is not poetic.; sent4 & sent8 -> int11: the buttonwood is poetic.; int10 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the fact that the bur is not a BTU and hedges coo is not right.
sent19 -> int13: the fact that the batten is not a kind of a spade and it is not supernaturalist is incorrect if it does not burgeon.; sent16 -> int14: if the melosa is poetic then it does hedge legend.; sent3 & sent17 -> int15: the sodalist does hedge Baphia.; sent11 & int15 -> int16: the fact that the melosa is poetic hold.; int14 & int16 -> int17: the melosa hedges legend.;
$hypothesis$ = that the bur is not a kind of a BTU and does hedge coo is not true. ; $context$ = sent1: the bur is not a spade if it does not hedge coo. sent2: there is something such that it hedges legend. sent3: if the sodalist is not a kind of a laceration then it does hedge Baphia. sent4: the buttonwood is poetic if it is neuroglial. sent5: if either something does burgeon or it is not supernaturalist or both then the fact that it does hedge legend is true. sent6: the fact that the bur is Audenesque is not false if it does not spade. sent7: if the implantation does hedge legend and is iridaceous the buttonwood is not poetic. sent8: the buttonwood is neuroglial. sent9: if something is not a laceration it does hedge Baphia. sent10: if either the bur does hedge coo or it is not poetic or both then it does burgeon. sent11: the melosa is poetic if the sodalist does hedge Baphia. sent12: if there is something such that that it spades hold the implantation is not Audenesque. sent13: the implantation does hedge Baphia if it is not a laceration. sent14: the implantation either burgeons or is supernaturalist or both if the bur is Audenesque. sent15: if the implantation is not supernaturalist it hedges legend. sent16: something does hedge legend if it is poetic. sent17: the sodalist is not a laceration. sent18: if the fact that the bur is Audenesque is true the implantation burgeons or is not supernaturalist or both. sent19: the fact that something is not a spade and is not supernaturalist is incorrect if it does not burgeon. sent20: if the fact that the bur is not a kind of a BTU but it does hedge coo is not right it does not spade. sent21: the buttonwood does spade if the fact that the batten is not a spade and is not supernaturalist is wrong. sent22: the implantation is not a laceration. sent23: if the melosa does not burgeon and is iridaceous the batten does not burgeon. sent24: that something is a kind of iridaceous thing that hedges Baphia if it is not a kind of a laceration is right. ; $proof$ = 
void -> assump1: Let's assume that that the bur is not a BTU but it hedges coo is not true.; sent20 & assump1 -> int1: the bur is not a spade.; int1 & sent6 -> int2: the bur is Audenesque.; int2 & sent18 -> int3: the implantation burgeons and/or is not supernaturalist.; sent5 -> int4: the implantation hedges legend if it burgeons and/or is not supernaturalist.; int3 & int4 -> int5: the implantation hedges legend.; sent24 -> int6: if the implantation is not a kind of a laceration it is iridaceous and does hedge Baphia.; int6 & sent22 -> int7: the implantation is iridaceous thing that hedges Baphia.; int7 -> int8: the implantation is iridaceous.; int5 & int8 -> int9: the implantation does hedge legend and is iridaceous.; int9 & sent7 -> int10: the buttonwood is not poetic.; sent4 & sent8 -> int11: the buttonwood is poetic.; int10 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __DISPROVED__