there exists something such that if it does not lace KR or is nonindustrial or both then it does not concretize forte.
sent1: if either something laces KR or it is nonindustrial or both it does not concretize forte.
$hypothesis$ = there exists something such that if it does not lace KR or is nonindustrial or both then it does not concretize forte. ; $context$ = sent1: if either something laces KR or it is nonindustrial or both it does not concretize forte. ; $proof$ = 
__UNKNOWN__