something is a pounding that is Rooseveltian.
sent1: the bloomers is motivational. sent2: the fact that something is a ingrowth and/or not a microflora is not right if it is orthopedics. sent3: if the bloomers is motivational then the fact that the seed is not non-orthopedics is correct. sent4: something that is not uninjectable capers micturition and is motivational. sent5: the copartner is Rooseveltian. sent6: the bloomers is not a kind of a resuscitator but it is a kind of a wheatworm. sent7: the Gambian does bog device and is a wheatworm. sent8: if there exists something such that it bogs device and it is uninjectable then the copartner is a pounding. sent9: the country is non-Rooseveltian. sent10: if that that the bloomers is a ingrowth or it is not a microflora or both is not false is wrong the catechism is a kind of a microflora. sent11: the fact that the country is a kind of a ingrowth but it is not a microflora is not correct if the seed is orthopedics. sent12: if the bloomers is not a kind of a resuscitator and is a wheatworm it is orthopedics. sent13: if there exists something such that it is not Rooseveltian then the fact that the seed is a kind of a pounding that bogs device is wrong. sent14: the Gambian is uninjectable if the fact that the country is a kind of a ingrowth but it is not a microflora does not hold.
sent3 & sent1 -> int1: the seed is orthopedics.; int1 & sent11 -> int2: the fact that the country is a ingrowth and is not a kind of a microflora is incorrect.; int2 & sent14 -> int3: the Gambian is uninjectable.; sent7 -> int4: the Gambian does bog device.; int3 & int4 -> int5: that the Gambian does bog device and is uninjectable hold.; int5 -> int6: something does bog device and it is uninjectable.; int6 & sent8 -> int7: the copartner pounds.; int7 & sent5 -> int8: the copartner is a pounding and it is Rooseveltian.; int8 -> hypothesis;
the catechism is a microflora and does caper micturition.
sent2 -> int9: that the bloomers is a ingrowth and/or not a microflora is false if it is orthopedics.; sent12 & sent6 -> int10: the bloomers is orthopedics.; int9 & int10 -> int11: the fact that the bloomers is a ingrowth or it is not a microflora or both is not right.; sent10 & int11 -> int12: the catechism is a microflora.; sent4 -> int13: the catechism capers micturition and it is motivational if the fact that it is not uninjectable is not incorrect.; sent9 -> int14: there are non-Rooseveltian things.; int14 & sent13 -> int15: that the seed pounds and bogs device is not right.; int15 -> int16: there is something such that the fact that it is a kind of a pounding and bogs device is wrong.;
$hypothesis$ = something is a pounding that is Rooseveltian. ; $context$ = sent1: the bloomers is motivational. sent2: the fact that something is a ingrowth and/or not a microflora is not right if it is orthopedics. sent3: if the bloomers is motivational then the fact that the seed is not non-orthopedics is correct. sent4: something that is not uninjectable capers micturition and is motivational. sent5: the copartner is Rooseveltian. sent6: the bloomers is not a kind of a resuscitator but it is a kind of a wheatworm. sent7: the Gambian does bog device and is a wheatworm. sent8: if there exists something such that it bogs device and it is uninjectable then the copartner is a pounding. sent9: the country is non-Rooseveltian. sent10: if that that the bloomers is a ingrowth or it is not a microflora or both is not false is wrong the catechism is a kind of a microflora. sent11: the fact that the country is a kind of a ingrowth but it is not a microflora is not correct if the seed is orthopedics. sent12: if the bloomers is not a kind of a resuscitator and is a wheatworm it is orthopedics. sent13: if there exists something such that it is not Rooseveltian then the fact that the seed is a kind of a pounding that bogs device is wrong. sent14: the Gambian is uninjectable if the fact that the country is a kind of a ingrowth but it is not a microflora does not hold. ; $proof$ = 
sent3 & sent1 -> int1: the seed is orthopedics.; int1 & sent11 -> int2: the fact that the country is a ingrowth and is not a kind of a microflora is incorrect.; int2 & sent14 -> int3: the Gambian is uninjectable.; sent7 -> int4: the Gambian does bog device.; int3 & int4 -> int5: that the Gambian does bog device and is uninjectable hold.; int5 -> int6: something does bog device and it is uninjectable.; int6 & sent8 -> int7: the copartner pounds.; int7 & sent5 -> int8: the copartner is a pounding and it is Rooseveltian.; int8 -> hypothesis; __PROVED__