that if the basic is a kind of a microfilm then the brisance is lactogenic is not true.
sent1: if the basic does kennel rediscovery then that the brisance is not non-lactogenic is not false. sent2: if the basic is a microfilm then it is an infiltration. sent3: if the basic is an infiltration it does kennel rediscovery.
void -> assump1: Let's assume that the basic is a microfilm.; sent2 & assump1 -> int1: the basic is an infiltration.; int1 & sent3 -> int2: the basic kennels rediscovery.; int2 & sent1 -> int3: the brisance is lactogenic.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the basic is a kind of a microfilm then the brisance is lactogenic is not true. ; $context$ = sent1: if the basic does kennel rediscovery then that the brisance is not non-lactogenic is not false. sent2: if the basic is a microfilm then it is an infiltration. sent3: if the basic is an infiltration it does kennel rediscovery. ; $proof$ = 
void -> assump1: Let's assume that the basic is a microfilm.; sent2 & assump1 -> int1: the basic is an infiltration.; int1 & sent3 -> int2: the basic kennels rediscovery.; int2 & sent1 -> int3: the brisance is lactogenic.; [assump1] & int3 -> hypothesis; __DISPROVED__