the tubule is both systolic and introversive.
sent1: if the teletypewriter is unpronounceable the tubule is introversive. sent2: the low is a kind of a velum. sent3: the fact that something is systolic and it is introversive is not right if it does not dream sensationalist. sent4: if there exists something such that it is a velum the tubule is an opus and is systolic. sent5: that the baldachin does dream sensationalist is not wrong if something does smite batten but it is not a kind of a Lutheran. sent6: something smites sorrow if that it does not smite batten is correct. sent7: the teletypewriter is unpronounceable if the sensationalist smites sorrow. sent8: if the fact that the baldachin dreams sensationalist and it is a bullock does not hold then it does not dreams sensationalist. sent9: that the baldachin dreams sensationalist and it is a kind of a bullock does not hold. sent10: there exists something such that it smites batten. sent11: something is a kind of a carcinoid and it is a Mennonite. sent12: if the fact that something does smite batten and is not a Lutheran is false it smites sorrow.
void -> assump1: Let's assume that the sensationalist smites batten but it is non-Lutheran.; assump1 -> int1: there exists something such that it does smite batten and it is not Lutheran.; int1 & sent5 -> int2: the baldachin does dream sensationalist.; sent8 & sent9 -> int3: the baldachin does not dream sensationalist.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the sensationalist smites batten but it is not a Lutheran is not correct.; sent12 -> int6: if the fact that the sensationalist smites batten and is not a kind of a Lutheran is not right then it does smite sorrow.; int5 & int6 -> int7: the fact that the sensationalist does smite sorrow is true.; int7 & sent7 -> int8: the teletypewriter is unpronounceable.; int8 & sent1 -> int9: that the tubule is introversive is correct.; sent2 -> int10: there exists something such that it is a velum.; int10 & sent4 -> int11: the tubule is an opus and it is systolic.; int11 -> int12: the tubule is systolic.; int9 & int12 -> hypothesis;
that the tubule is systolic and is introversive is incorrect.
sent3 -> int13: that the tubule is both systolic and introversive is wrong if it does not dream sensationalist.;
$hypothesis$ = the tubule is both systolic and introversive. ; $context$ = sent1: if the teletypewriter is unpronounceable the tubule is introversive. sent2: the low is a kind of a velum. sent3: the fact that something is systolic and it is introversive is not right if it does not dream sensationalist. sent4: if there exists something such that it is a velum the tubule is an opus and is systolic. sent5: that the baldachin does dream sensationalist is not wrong if something does smite batten but it is not a kind of a Lutheran. sent6: something smites sorrow if that it does not smite batten is correct. sent7: the teletypewriter is unpronounceable if the sensationalist smites sorrow. sent8: if the fact that the baldachin dreams sensationalist and it is a bullock does not hold then it does not dreams sensationalist. sent9: that the baldachin dreams sensationalist and it is a kind of a bullock does not hold. sent10: there exists something such that it smites batten. sent11: something is a kind of a carcinoid and it is a Mennonite. sent12: if the fact that something does smite batten and is not a Lutheran is false it smites sorrow. ; $proof$ = 
void -> assump1: Let's assume that the sensationalist smites batten but it is non-Lutheran.; assump1 -> int1: there exists something such that it does smite batten and it is not Lutheran.; int1 & sent5 -> int2: the baldachin does dream sensationalist.; sent8 & sent9 -> int3: the baldachin does not dream sensationalist.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the sensationalist smites batten but it is not a Lutheran is not correct.; sent12 -> int6: if the fact that the sensationalist smites batten and is not a kind of a Lutheran is not right then it does smite sorrow.; int5 & int6 -> int7: the fact that the sensationalist does smite sorrow is true.; int7 & sent7 -> int8: the teletypewriter is unpronounceable.; int8 & sent1 -> int9: that the tubule is introversive is correct.; sent2 -> int10: there exists something such that it is a velum.; int10 & sent4 -> int11: the tubule is an opus and it is systolic.; int11 -> int12: the tubule is systolic.; int9 & int12 -> hypothesis; __PROVED__