the waterwheel is not a produce but it is not non-dysgenic if the spongioblast is not aniseikonic.
sent1: if the waterwheel is not an amigo it is both a produce and dysgenic. sent2: the waterwheel is a representative. sent3: the waterwheel is not a layoff. sent4: the waterwheel is either an amigo or not non-aniseikonic or both. sent5: the spongioblast is not an amigo. sent6: the waterwheel does not predate bollworm but it is aniseikonic if it is not a kind of an amigo. sent7: the spongioblast is a tarsier and/or it is aniseikonic. sent8: the waterwheel is aniseikonic if something is dysgenic and/or it is a produce. sent9: the spongioblast pinches. sent10: the waterwheel produces and it is dysgenic if the spongioblast is not aniseikonic. sent11: something does not produce but it is dysgenic if it is not an amigo. sent12: if something is not a kind of a buckeye then it is aldehydic. sent13: the spongioblast is an amigo and/or it scouts pirouette. sent14: the waterwheel is both not a produce and dysgenic if the spongioblast is aniseikonic. sent15: the spongioblast does not predate bollworm. sent16: the spongioblast is not unoriginal. sent17: the waterwheel is dysgenic if it is not an amigo. sent18: the waterwheel is categorical. sent19: if the spongioblast is not a produce the waterwheel does predate bollworm.
void -> assump2: Let's assume that the waterwheel is a kind of an amigo.; assump2 -> int1: the waterwheel is a kind of an amigo or does predate bollworm or both.; int1 -> int2: there is something such that it is an amigo and/or it predates bollworm.; void -> assump1: Let's assume that the spongioblast is non-aniseikonic.; sent11 -> int3: if the waterwheel is not an amigo it is not a produce and it is dysgenic.;
$hypothesis$ = the waterwheel is not a produce but it is not non-dysgenic if the spongioblast is not aniseikonic. ; $context$ = sent1: if the waterwheel is not an amigo it is both a produce and dysgenic. sent2: the waterwheel is a representative. sent3: the waterwheel is not a layoff. sent4: the waterwheel is either an amigo or not non-aniseikonic or both. sent5: the spongioblast is not an amigo. sent6: the waterwheel does not predate bollworm but it is aniseikonic if it is not a kind of an amigo. sent7: the spongioblast is a tarsier and/or it is aniseikonic. sent8: the waterwheel is aniseikonic if something is dysgenic and/or it is a produce. sent9: the spongioblast pinches. sent10: the waterwheel produces and it is dysgenic if the spongioblast is not aniseikonic. sent11: something does not produce but it is dysgenic if it is not an amigo. sent12: if something is not a kind of a buckeye then it is aldehydic. sent13: the spongioblast is an amigo and/or it scouts pirouette. sent14: the waterwheel is both not a produce and dysgenic if the spongioblast is aniseikonic. sent15: the spongioblast does not predate bollworm. sent16: the spongioblast is not unoriginal. sent17: the waterwheel is dysgenic if it is not an amigo. sent18: the waterwheel is categorical. sent19: if the spongioblast is not a produce the waterwheel does predate bollworm. ; $proof$ = 
void -> assump2: Let's assume that the waterwheel is a kind of an amigo.; assump2 -> int1: the waterwheel is a kind of an amigo or does predate bollworm or both.; int1 -> int2: there is something such that it is an amigo and/or it predates bollworm.; void -> assump1: Let's assume that the spongioblast is non-aniseikonic.; sent11 -> int3: if the waterwheel is not an amigo it is not a produce and it is dysgenic.; __UNKNOWN__