if the haywire is a kind of a idiopathy then the octopus does not chock bite.
sent1: if the octopus mythologizes tetrahedron or does not flesh vampire or both then it is a Goldberg. sent2: something is a kind of a idiopathy. sent3: if something that does chock bite is a Goldberg then the haywire is not a idiopathy. sent4: if the octopus does mythologize tetrahedron it is a kind of a Goldberg. sent5: the haywire is a kind of a idiopathy and it chocks bite.
void -> assump2: Let's assume that the haywire is a kind of a idiopathy.;
$hypothesis$ = if the haywire is a kind of a idiopathy then the octopus does not chock bite. ; $context$ = sent1: if the octopus mythologizes tetrahedron or does not flesh vampire or both then it is a Goldberg. sent2: something is a kind of a idiopathy. sent3: if something that does chock bite is a Goldberg then the haywire is not a idiopathy. sent4: if the octopus does mythologize tetrahedron it is a kind of a Goldberg. sent5: the haywire is a kind of a idiopathy and it chocks bite. ; $proof$ = 
void -> assump2: Let's assume that the haywire is a kind of a idiopathy.; __UNKNOWN__