分かり得ることが発生する
fact1: ぴえぴなLv.35事件が発生する fact2: ぴえぴなLv.35事件および長々しいということが発生する
fact2 -> int1: 長々しいということが生じる;
fact2 -> int1: {B};
$facts$ = fact1: ぴえぴなLv.35事件が発生する fact2: ぴえぴなLv.35事件および長々しいということが発生する ; $hypothesis$ = 分かり得ることが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__