the stork is both not a busywork and not non-cytogenetics.
sent1: if that something is a Lamarck is not wrong it is not a kind of a busywork and it is cytogenetics.
sent1 -> int1: if the stork is a Lamarck it is not a busywork and it is cytogenetics.;
$hypothesis$ = the stork is both not a busywork and not non-cytogenetics. ; $context$ = sent1: if that something is a Lamarck is not wrong it is not a kind of a busywork and it is cytogenetics. ; $proof$ = 
sent1 -> int1: if the stork is a Lamarck it is not a busywork and it is cytogenetics.; __UNKNOWN__