the fact that if the calanthe is a kind of a binary the muttonfish is a padrone but it is not a Gorky is not right.
sent1: the muttonfish is a kind of a padrone that is a Gorky if the fact that the calanthe is a binary is not wrong. sent2: the forecastle is a padrone if it is a Giraudoux. sent3: if the calanthe is a binary then that it clothes hold. sent4: the muttonfish is a padrone if the calanthe is binary. sent5: the muttonfish is a kind of a twist. sent6: the muttonfish is a padrone but it is not a Gorky if the calanthe does clothe. sent7: if the calanthe does clothe the fact that the muttonfish is a padrone is not incorrect.
void -> assump1: Let's assume that the calanthe is binary.; sent3 & assump1 -> int1: the calanthe does clothe.; sent6 & int1 -> int2: the muttonfish is a kind of a padrone that is not a Gorky.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the calanthe is a kind of a binary the muttonfish is a padrone but it is not a Gorky is not right. ; $context$ = sent1: the muttonfish is a kind of a padrone that is a Gorky if the fact that the calanthe is a binary is not wrong. sent2: the forecastle is a padrone if it is a Giraudoux. sent3: if the calanthe is a binary then that it clothes hold. sent4: the muttonfish is a padrone if the calanthe is binary. sent5: the muttonfish is a kind of a twist. sent6: the muttonfish is a padrone but it is not a Gorky if the calanthe does clothe. sent7: if the calanthe does clothe the fact that the muttonfish is a padrone is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the calanthe is binary.; sent3 & assump1 -> int1: the calanthe does clothe.; sent6 & int1 -> int2: the muttonfish is a kind of a padrone that is not a Gorky.; [assump1] & int2 -> hypothesis; __DISPROVED__