the euphoriant does infuse.
sent1: the fact that everything does not tame euphoriant and it is not avellan hold. sent2: if the euphoriant does not infuse it does not assume and is not a proton.
void -> assump1: Let's assume that the euphoriant does not infuse.; sent2 & assump1 -> int1: the euphoriant does not assume and is not a proton.; int1 -> int2: the euphoriant is not a proton.; sent1 -> int3: the euphoriant does not tame euphoriant and it is not avellan.; int3 -> int4: the euphoriant does not tame euphoriant.;
$hypothesis$ = the euphoriant does infuse. ; $context$ = sent1: the fact that everything does not tame euphoriant and it is not avellan hold. sent2: if the euphoriant does not infuse it does not assume and is not a proton. ; $proof$ = 
void -> assump1: Let's assume that the euphoriant does not infuse.; sent2 & assump1 -> int1: the euphoriant does not assume and is not a proton.; int1 -> int2: the euphoriant is not a proton.; sent1 -> int3: the euphoriant does not tame euphoriant and it is not avellan.; int3 -> int4: the euphoriant does not tame euphoriant.; __UNKNOWN__