the HDL is not a Olympian.
sent1: the HDL is a Molidae. sent2: that the HDL is not Olympian and is not a Molidae does not hold if the rhodolite is calorimetric. sent3: the fact that the flashing is a kind of a Olympian is true. sent4: the HDL is not Olympian if it is calorimetric and it is a kind of a thyrotropin. sent5: if the fact that the HDL is a kind of non-Olympian thing that is not a Molidae is wrong the personality is a Molidae. sent6: the fact that if the HDL is the Molidae the HDL is calorimetric hold. sent7: if something that is not a Molidae is not calorimetric then it is a kind of a Olympian. sent8: something is calorimetric if it is areolar.
sent6 & sent1 -> int1: the HDL is calorimetric.;
the HDL is a Olympian.
sent7 -> int2: the HDL is a Olympian if it is not a kind of a Molidae and it is not calorimetric.;
$hypothesis$ = the HDL is not a Olympian. ; $context$ = sent1: the HDL is a Molidae. sent2: that the HDL is not Olympian and is not a Molidae does not hold if the rhodolite is calorimetric. sent3: the fact that the flashing is a kind of a Olympian is true. sent4: the HDL is not Olympian if it is calorimetric and it is a kind of a thyrotropin. sent5: if the fact that the HDL is a kind of non-Olympian thing that is not a Molidae is wrong the personality is a Molidae. sent6: the fact that if the HDL is the Molidae the HDL is calorimetric hold. sent7: if something that is not a Molidae is not calorimetric then it is a kind of a Olympian. sent8: something is calorimetric if it is areolar. ; $proof$ = 
sent6 & sent1 -> int1: the HDL is calorimetric.; __UNKNOWN__