if the feverfew is not intrauterine then the arms is a kind of a oxytone that is not anecdotal.
sent1: the arms is not a kind of a Carthamus. sent2: the fact that the arms is non-anecdotal is true if there is something such that it is not intrauterine. sent3: if the arms is a kind of a oxytone the feverfew is anecdotal but not intrauterine. sent4: if the arms is a oxytone then the feverfew is a kind of non-anecdotal thing that is not intrauterine. sent5: if the arms is not intrauterine then the feverfew is not a oxytone.
void -> assump1: Let's assume that the feverfew is not intrauterine.; assump1 -> int1: there is something such that it is not intrauterine.;
the feverfew is not anecdotal.
$hypothesis$ = if the feverfew is not intrauterine then the arms is a kind of a oxytone that is not anecdotal. ; $context$ = sent1: the arms is not a kind of a Carthamus. sent2: the fact that the arms is non-anecdotal is true if there is something such that it is not intrauterine. sent3: if the arms is a kind of a oxytone the feverfew is anecdotal but not intrauterine. sent4: if the arms is a oxytone then the feverfew is a kind of non-anecdotal thing that is not intrauterine. sent5: if the arms is not intrauterine then the feverfew is not a oxytone. ; $proof$ = 
void -> assump1: Let's assume that the feverfew is not intrauterine.; assump1 -> int1: there is something such that it is not intrauterine.; __UNKNOWN__