the headstall is a kind of a Luxemburger.
sent1: that either the rocker is not a dinocerate or it is not pyrotechnic or both does not hold. sent2: if the fact that the rocker is not a dinocerate or pyrotechnic or both is not true the fruitlet is turbinate. sent3: the rocker is an ambulatory if the fact that it is not ambulatory and it does not troll Heidegger is not correct. sent4: if the fact that something is a turbinate that is a lymphangiography is not true the fact that it is not a Luxemburger hold. sent5: the rocker is a turbinate if the fact that the fruitlet is not pyrotechnic and/or it is not a dinocerate is incorrect. sent6: if the rocker is an ambulatory then the fact that it is not a ling and is not a packrat hold. sent7: if that that the rocker is a dinocerate and/or is not pyrotechnic is right is not true then the fruitlet is turbinate. sent8: if the fruitlet is turbinate then the headstall is a Luxemburger. sent9: the fruitlet is a turbinate if the fact that the rocker is not a kind of a dinocerate and/or it is not pyrotechnic is incorrect.
sent9 & sent1 -> int1: the fruitlet is a turbinate.; sent8 & int1 -> hypothesis;
that the headstall is not a Luxemburger is not wrong.
sent4 -> int2: the headstall is not a Luxemburger if the fact that it is a kind of turbinate thing that is a kind of a lymphangiography is not right.;
$hypothesis$ = the headstall is a kind of a Luxemburger. ; $context$ = sent1: that either the rocker is not a dinocerate or it is not pyrotechnic or both does not hold. sent2: if the fact that the rocker is not a dinocerate or pyrotechnic or both is not true the fruitlet is turbinate. sent3: the rocker is an ambulatory if the fact that it is not ambulatory and it does not troll Heidegger is not correct. sent4: if the fact that something is a turbinate that is a lymphangiography is not true the fact that it is not a Luxemburger hold. sent5: the rocker is a turbinate if the fact that the fruitlet is not pyrotechnic and/or it is not a dinocerate is incorrect. sent6: if the rocker is an ambulatory then the fact that it is not a ling and is not a packrat hold. sent7: if that that the rocker is a dinocerate and/or is not pyrotechnic is right is not true then the fruitlet is turbinate. sent8: if the fruitlet is turbinate then the headstall is a Luxemburger. sent9: the fruitlet is a turbinate if the fact that the rocker is not a kind of a dinocerate and/or it is not pyrotechnic is incorrect. ; $proof$ = 
sent9 & sent1 -> int1: the fruitlet is a turbinate.; sent8 & int1 -> hypothesis; __PROVED__