if the artery is both not a gynostegium and a Davys then the flurazepam is not a kind of a kiwi.
sent1: if the artery is both a gynostegium and a Davys then the flurazepam is not a kiwi. sent2: if the artery is not nosohusial the fact that the flurazepam is able or it is plantar or both does not hold. sent3: the artery is not nosohusial if it is not a kind of a gynostegium and it is a Davys.
void -> assump1: Let's assume that the artery is not a gynostegium but it is a Davys.; sent3 & assump1 -> int1: the artery is not nosohusial.; int1 & sent2 -> int2: the fact that the flurazepam is able and/or plantar is wrong.;
$hypothesis$ = if the artery is both not a gynostegium and a Davys then the flurazepam is not a kind of a kiwi. ; $context$ = sent1: if the artery is both a gynostegium and a Davys then the flurazepam is not a kiwi. sent2: if the artery is not nosohusial the fact that the flurazepam is able or it is plantar or both does not hold. sent3: the artery is not nosohusial if it is not a kind of a gynostegium and it is a Davys. ; $proof$ = 
void -> assump1: Let's assume that the artery is not a gynostegium but it is a Davys.; sent3 & assump1 -> int1: the artery is not nosohusial.; int1 & sent2 -> int2: the fact that the flurazepam is able and/or plantar is wrong.; __UNKNOWN__