if that the flatfoot is not gastroduodenal hold then the fact that the solution is not an artiodactyl does not hold.
sent1: if the solution is not gastroduodenal then the flatfoot is artiodactyl. sent2: the solution does not reflectorize Procellariidae and is not Olympics if the flatfoot is gastroduodenal. sent3: something is an artiodactyl if it does not reflectorize Procellariidae and is not non-Olympics. sent4: the solution does not reflectorize Procellariidae and is not Olympics if the flatfoot is not gastroduodenal.
void -> assump1: Let's assume that the flatfoot is non-gastroduodenal.; sent4 & assump1 -> int1: the solution does not reflectorize Procellariidae and it is not Olympics.;
$hypothesis$ = if that the flatfoot is not gastroduodenal hold then the fact that the solution is not an artiodactyl does not hold. ; $context$ = sent1: if the solution is not gastroduodenal then the flatfoot is artiodactyl. sent2: the solution does not reflectorize Procellariidae and is not Olympics if the flatfoot is gastroduodenal. sent3: something is an artiodactyl if it does not reflectorize Procellariidae and is not non-Olympics. sent4: the solution does not reflectorize Procellariidae and is not Olympics if the flatfoot is not gastroduodenal. ; $proof$ = 
void -> assump1: Let's assume that the flatfoot is non-gastroduodenal.; sent4 & assump1 -> int1: the solution does not reflectorize Procellariidae and it is not Olympics.; __UNKNOWN__