that the looking Genoese happens prevents that the interdisciplinariness occurs.
sent1: the fact that the interpolating sprat does not occur hold if the actinomycoticness happens.
void -> assump2: Let's assume that the interdisciplinariness happens.; assump2 -> int1: the interdisciplinariness happens and/or the precentorship happens.;
$hypothesis$ = that the looking Genoese happens prevents that the interdisciplinariness occurs. ; $context$ = sent1: the fact that the interpolating sprat does not occur hold if the actinomycoticness happens. ; $proof$ = 
void -> assump2: Let's assume that the interdisciplinariness happens.; assump2 -> int1: the interdisciplinariness happens and/or the precentorship happens.; __UNKNOWN__