the fact that the hardwood is not orbital is not wrong.
sent1: if that something is not a aspic and it is not epidemiologic is not wrong then it is cooling. sent2: the hardwood does not push sixty. sent3: the fact that something is orbital is not wrong if it cools. sent4: if something is a aspic then that it is not orbital and it does not cool is wrong. sent5: the hardwood is epidemiologic and it is appealable if it does not push sixty. sent6: if the hardwood is orbital the slipstream is a kind of a cooling.
void -> assump1: Let's assume that the hardwood is orbital.; sent6 & assump1 -> int1: the slipstream is not non-cooling.;
the slipstream is not a crackpot.
sent4 -> int2: if the hardwood is a aspic that it is both not orbital and non-cooling is wrong.; sent5 & sent2 -> int3: the hardwood is epidemiologic and is appealable.; int3 -> int4: the hardwood is epidemiologic.;
$hypothesis$ = the fact that the hardwood is not orbital is not wrong. ; $context$ = sent1: if that something is not a aspic and it is not epidemiologic is not wrong then it is cooling. sent2: the hardwood does not push sixty. sent3: the fact that something is orbital is not wrong if it cools. sent4: if something is a aspic then that it is not orbital and it does not cool is wrong. sent5: the hardwood is epidemiologic and it is appealable if it does not push sixty. sent6: if the hardwood is orbital the slipstream is a kind of a cooling. ; $proof$ = 
void -> assump1: Let's assume that the hardwood is orbital.; sent6 & assump1 -> int1: the slipstream is not non-cooling.; __UNKNOWN__