the lyceum does not multiply multitudinousness.
sent1: the characin is both not non-international and a rating. sent2: if something is not flat then it does multiply multitudinousness. sent3: something is non-on-line if it does capitulate and is international. sent4: the lyceum is not flat if the characin does not ask numbers. sent5: if the characin is international and it is a rating then it does not ask numbers.
sent5 & sent1 -> int1: the characin does not ask numbers.; int1 & sent4 -> int2: the lyceum is not a flat.; sent2 -> int3: the lyceum multiplies multitudinousness if the fact that it is non-flat hold.; int2 & int3 -> hypothesis;
the characin is not on-line if it does capitulate and it is international.
sent3 -> hypothesis;
$hypothesis$ = the lyceum does not multiply multitudinousness. ; $context$ = sent1: the characin is both not non-international and a rating. sent2: if something is not flat then it does multiply multitudinousness. sent3: something is non-on-line if it does capitulate and is international. sent4: the lyceum is not flat if the characin does not ask numbers. sent5: if the characin is international and it is a rating then it does not ask numbers. ; $proof$ = 
sent5 & sent1 -> int1: the characin does not ask numbers.; int1 & sent4 -> int2: the lyceum is not a flat.; sent2 -> int3: the lyceum multiplies multitudinousness if the fact that it is non-flat hold.; int2 & int3 -> hypothesis; __DISPROVED__