the LSD is a kind of an outboard.
sent1: the urochord trundles SOP. sent2: if the fact that the coral is not Neanderthal or it is stearic or both is not correct the LSD is an outboard. sent3: the coral is Neanderthal. sent4: if the urochord is not an outboard then the birch is bituminoid and does trundle SOP. sent5: the hegari is not stearic if the urochord does trundle SOP and it is bituminoid. sent6: the urochord is bituminoid. sent7: the fact that the isotope is either not an aesthetic or an outboard or both is wrong. sent8: The SOP trundles urochord. sent9: something is stearic if it trundles SOP.
sent1 & sent6 -> int1: the urochord does trundle SOP and it is bituminoid.; sent5 & int1 -> int2: the hegari is not stearic.;
the birch is not non-stearic.
sent9 -> int3: the birch is stearic if it trundles SOP.;
$hypothesis$ = the LSD is a kind of an outboard. ; $context$ = sent1: the urochord trundles SOP. sent2: if the fact that the coral is not Neanderthal or it is stearic or both is not correct the LSD is an outboard. sent3: the coral is Neanderthal. sent4: if the urochord is not an outboard then the birch is bituminoid and does trundle SOP. sent5: the hegari is not stearic if the urochord does trundle SOP and it is bituminoid. sent6: the urochord is bituminoid. sent7: the fact that the isotope is either not an aesthetic or an outboard or both is wrong. sent8: The SOP trundles urochord. sent9: something is stearic if it trundles SOP. ; $proof$ = 
sent1 & sent6 -> int1: the urochord does trundle SOP and it is bituminoid.; sent5 & int1 -> int2: the hegari is not stearic.; __UNKNOWN__