if the tripod is not toothless then the hose is not a Strombus and not a public.
sent1: the brickkiln is not useless. sent2: the hose is not a Strombus but it is public if the tripod is not toothless. sent3: the hose is not a Strombus and is a kind of a public if there exists something such that it does not glamorize undervaluation. sent4: if the brickkiln is useless but it does not madden tubeless the maar does not madden hose. sent5: if something does not madden hose it does not glamorize undervaluation. sent6: the maar does not madden tubeless and it does not glamorize undervaluation if the brickkiln does not madden hose. sent7: the hose is not a kind of a Strombus if there exists something such that it does not glamorize undervaluation. sent8: if the brickkiln is useful thing that does not madden tubeless then the maar does not madden hose. sent9: the brickkiln does not madden tubeless if it is not a Strombus. sent10: if something does not glamorize undervaluation then the hose is not a Strombus and it is not public. sent11: that if the tripod is not toothless the hose is not a kind of a Strombus hold. sent12: the hose is not a kind of a Strombus. sent13: if the tripod is not toothless the brickkiln is a kind of non-useless thing that does not madden tubeless. sent14: the hose is not a Strombus and it is not a kind of a public if the fact that the tripod is toothless is true. sent15: the maar does not glamorize undervaluation if the hose is not a Strombus and it does not madden tubeless.
void -> assump1: Let's assume that the tripod is not toothless.; sent13 & assump1 -> int1: the brickkiln is a kind of useful thing that does not madden tubeless.; int1 & sent8 -> int2: the maar does not madden hose.; sent5 -> int3: if that the maar does not madden hose is not incorrect it does not glamorize undervaluation.; int2 & int3 -> int4: the maar does not glamorize undervaluation.; int4 -> int5: the fact that something does not glamorize undervaluation hold.; int5 & sent10 -> int6: the hose is not a Strombus and not a public.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the tripod is not toothless then the hose is not a Strombus and not a public. ; $context$ = sent1: the brickkiln is not useless. sent2: the hose is not a Strombus but it is public if the tripod is not toothless. sent3: the hose is not a Strombus and is a kind of a public if there exists something such that it does not glamorize undervaluation. sent4: if the brickkiln is useless but it does not madden tubeless the maar does not madden hose. sent5: if something does not madden hose it does not glamorize undervaluation. sent6: the maar does not madden tubeless and it does not glamorize undervaluation if the brickkiln does not madden hose. sent7: the hose is not a kind of a Strombus if there exists something such that it does not glamorize undervaluation. sent8: if the brickkiln is useful thing that does not madden tubeless then the maar does not madden hose. sent9: the brickkiln does not madden tubeless if it is not a Strombus. sent10: if something does not glamorize undervaluation then the hose is not a Strombus and it is not public. sent11: that if the tripod is not toothless the hose is not a kind of a Strombus hold. sent12: the hose is not a kind of a Strombus. sent13: if the tripod is not toothless the brickkiln is a kind of non-useless thing that does not madden tubeless. sent14: the hose is not a Strombus and it is not a kind of a public if the fact that the tripod is toothless is true. sent15: the maar does not glamorize undervaluation if the hose is not a Strombus and it does not madden tubeless. ; $proof$ = 
void -> assump1: Let's assume that the tripod is not toothless.; sent13 & assump1 -> int1: the brickkiln is a kind of useful thing that does not madden tubeless.; int1 & sent8 -> int2: the maar does not madden hose.; sent5 -> int3: if that the maar does not madden hose is not incorrect it does not glamorize undervaluation.; int2 & int3 -> int4: the maar does not glamorize undervaluation.; int4 -> int5: the fact that something does not glamorize undervaluation hold.; int5 & sent10 -> int6: the hose is not a Strombus and not a public.; [assump1] & int6 -> hypothesis; __PROVED__