the hawser is not a kind of a proverb but it bows Cardiospermum.
sent1: if there exists something such that it does criticize harmonium and is kinetic the sepal is a horsehair. sent2: the chopine is not a kind of a capitalist if it does not criticize Bellerophon and/or it is not a capitalist. sent3: if something is not a caroler the fact that it is not a proverb and bows Cardiospermum does not hold. sent4: there is something such that it is not capitalist. sent5: the chopine criticizes harmonium. sent6: something is not a rawness but it bows Herschel if it is a horsehair. sent7: the hawser is not a kind of a proverb. sent8: everything is a Mama but not endoparasitic. sent9: the chopine is kinetic and it is a blastopore if it is not a capitalist. sent10: if the fact that the sepal is a kind of a caroler is correct then the chopine is a kind of a rawness. sent11: either the chopine does not criticize Bellerophon or it is non-capitalist or both if there is something such that it is not a kind of a non-capitalist. sent12: the sepal is a caroler if there exists something such that it is a kind of a Mama. sent13: everything is a kind of a Carolingian and it does not criticize perfectionism. sent14: if there exists something such that it is a rawness the hawser is not a proverb and does bow Cardiospermum.
sent8 -> int1: the bimetal is a Mama but it is not endoparasitic.; int1 -> int2: the bimetal is a Mama.; int2 -> int3: something is a Mama.; int3 & sent12 -> int4: that the sepal is a caroler hold.; sent10 & int4 -> int5: the chopine is a kind of a rawness.; int5 -> int6: there exists something such that it is a rawness.; int6 & sent14 -> hypothesis;
that the hawser is not a kind of a proverb and does bow Cardiospermum is not correct.
sent3 -> int7: if the hawser is not a kind of a caroler that it is not a proverb and does bow Cardiospermum does not hold.; sent6 -> int8: if the sepal is a horsehair then it is not a rawness and it bows Herschel.; sent4 & sent11 -> int9: the chopine does not criticize Bellerophon and/or is not capitalist.; sent2 & int9 -> int10: the chopine is not a capitalist.; sent9 & int10 -> int11: that the chopine is kinetic and it is a blastopore is true.; int11 -> int12: the chopine is kinetic.; sent5 & int12 -> int13: the chopine criticizes harmonium and is kinetic.; int13 -> int14: something criticizes harmonium and is kinetic.; int14 & sent1 -> int15: the sepal is a horsehair.; int8 & int15 -> int16: the sepal is not a rawness and does bow Herschel.; int16 -> int17: something is not a rawness and bows Herschel.;
$hypothesis$ = the hawser is not a kind of a proverb but it bows Cardiospermum. ; $context$ = sent1: if there exists something such that it does criticize harmonium and is kinetic the sepal is a horsehair. sent2: the chopine is not a kind of a capitalist if it does not criticize Bellerophon and/or it is not a capitalist. sent3: if something is not a caroler the fact that it is not a proverb and bows Cardiospermum does not hold. sent4: there is something such that it is not capitalist. sent5: the chopine criticizes harmonium. sent6: something is not a rawness but it bows Herschel if it is a horsehair. sent7: the hawser is not a kind of a proverb. sent8: everything is a Mama but not endoparasitic. sent9: the chopine is kinetic and it is a blastopore if it is not a capitalist. sent10: if the fact that the sepal is a kind of a caroler is correct then the chopine is a kind of a rawness. sent11: either the chopine does not criticize Bellerophon or it is non-capitalist or both if there is something such that it is not a kind of a non-capitalist. sent12: the sepal is a caroler if there exists something such that it is a kind of a Mama. sent13: everything is a kind of a Carolingian and it does not criticize perfectionism. sent14: if there exists something such that it is a rawness the hawser is not a proverb and does bow Cardiospermum. ; $proof$ = 
sent8 -> int1: the bimetal is a Mama but it is not endoparasitic.; int1 -> int2: the bimetal is a Mama.; int2 -> int3: something is a Mama.; int3 & sent12 -> int4: that the sepal is a caroler hold.; sent10 & int4 -> int5: the chopine is a kind of a rawness.; int5 -> int6: there exists something such that it is a rawness.; int6 & sent14 -> hypothesis; __PROVED__