the inverter is not a mountaineer.
sent1: something is not unifilar if it is iliac and/or it downs hug. sent2: the inverter is batholithic and it is a divisor. sent3: something that is hemic is iliac. sent4: if a non-unifilar thing is a mountaineer the fact that it is a kind of a ohmage is not wrong. sent5: the inverter is not unifilar if it does down hug. sent6: if that something is a kind of a ohmage is true then that it is not batholithic is not false.
sent3 -> int1: if the inverter is hemic then it is iliac.; sent1 -> int2: the inverter is not unifilar if it is iliac or it downs hug or both.; void -> assump1: Let's assume that that the inverter is a kind of a mountaineer hold.; sent4 -> int3: if the inverter is non-unifilar thing that does mountaineer then it is a ohmage.; sent6 -> int4: that the inverter is not batholithic is right if it is a kind of a ohmage.; sent2 -> int5: the inverter is batholithic.;
$hypothesis$ = the inverter is not a mountaineer. ; $context$ = sent1: something is not unifilar if it is iliac and/or it downs hug. sent2: the inverter is batholithic and it is a divisor. sent3: something that is hemic is iliac. sent4: if a non-unifilar thing is a mountaineer the fact that it is a kind of a ohmage is not wrong. sent5: the inverter is not unifilar if it does down hug. sent6: if that something is a kind of a ohmage is true then that it is not batholithic is not false. ; $proof$ = 
sent3 -> int1: if the inverter is hemic then it is iliac.; sent1 -> int2: the inverter is not unifilar if it is iliac or it downs hug or both.; void -> assump1: Let's assume that that the inverter is a kind of a mountaineer hold.; sent4 -> int3: if the inverter is non-unifilar thing that does mountaineer then it is a ohmage.; sent6 -> int4: that the inverter is not batholithic is right if it is a kind of a ohmage.; sent2 -> int5: the inverter is batholithic.; __UNKNOWN__