凄まじいということが生じる
fact1: 凄まじいということは確立すことが原因だ fact2: 信心深いということはまわまなLv.58事件を発生させる fact3: もし「黒いということは起きないかもしくはみなみなLv.70事件が生じるかあるいは両方ともである」ということは間違っていれば凄まじいということは発生しない fact4: 黒いということが生じるしみなみなLv.70事件が起こる fact5: 確立すことがみなみなLv.70事件は契機である
fact4 -> int1: みなみなLv.70事件が発生する; int1 & fact5 -> int2: 確立すことが生じる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis;
「凄まじいということは生じない」ということは成り立つ
$facts$ = fact1: 凄まじいということは確立すことが原因だ fact2: 信心深いということはまわまなLv.58事件を発生させる fact3: もし「黒いということは起きないかもしくはみなみなLv.70事件が生じるかあるいは両方ともである」ということは間違っていれば凄まじいということは発生しない fact4: 黒いということが生じるしみなみなLv.70事件が起こる fact5: 確立すことがみなみなLv.70事件は契機である ; $hypothesis$ = 凄まじいということが生じる ; $proof$ = 
fact4 -> int1: みなみなLv.70事件が発生する; int1 & fact5 -> int2: 確立すことが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__