the departer is a kind of a Corallorhiza.
sent1: the departer is a kind of a ichthyologist. sent2: something is not irreplaceable if it is a ichthyologist. sent3: that the departer is nonexistent but it does not proselytize is false if it is a Corallorhiza. sent4: the allies is a Messidor. sent5: the allies is a ichthyologist if the fact that it is a kind of a Messidor hold. sent6: that the departer is not a Messidor is right. sent7: the fact that the allies is not replaceable hold if the fact that the fact that the departer is nonexistent thing that does not proselytize does not hold is not incorrect. sent8: if the allies is not nonexistent then the departer is not a ichthyologist.
void -> assump1: Let's assume that the departer is a Corallorhiza.; sent3 & assump1 -> int1: the fact that the departer is nonexistent thing that does not proselytize is not correct.; int1 & sent7 -> int2: the allies is not replaceable.; sent2 -> int3: the allies is replaceable if it is a kind of a ichthyologist.; sent5 & sent4 -> int4: the allies is a ichthyologist.; int3 & int4 -> int5: the allies is replaceable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the departer is a kind of a Corallorhiza. ; $context$ = sent1: the departer is a kind of a ichthyologist. sent2: something is not irreplaceable if it is a ichthyologist. sent3: that the departer is nonexistent but it does not proselytize is false if it is a Corallorhiza. sent4: the allies is a Messidor. sent5: the allies is a ichthyologist if the fact that it is a kind of a Messidor hold. sent6: that the departer is not a Messidor is right. sent7: the fact that the allies is not replaceable hold if the fact that the fact that the departer is nonexistent thing that does not proselytize does not hold is not incorrect. sent8: if the allies is not nonexistent then the departer is not a ichthyologist. ; $proof$ = 
void -> assump1: Let's assume that the departer is a Corallorhiza.; sent3 & assump1 -> int1: the fact that the departer is nonexistent thing that does not proselytize is not correct.; int1 & sent7 -> int2: the allies is not replaceable.; sent2 -> int3: the allies is replaceable if it is a kind of a ichthyologist.; sent5 & sent4 -> int4: the allies is a ichthyologist.; int3 & int4 -> int5: the allies is replaceable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__