もわもいLv.87事件が起きる
fact1: 仮に「罪深いということは起きない」ということは正しいならば難しいということと抵触すること両方が起きる fact2: 罪深いということは発生しない fact3: 素晴らしということが生じる fact4: 抵触することが発生する
fact1 & fact2 -> int1: 難しいということが生じるしそれに抵触することが起こる; int1 -> int2: 難しいということが発生する; int2 & fact3 -> int3: 難しいということが起こるしかつ素晴らしということが生じる;
fact1 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: ({A} & {C});
$facts$ = fact1: 仮に「罪深いということは起きない」ということは正しいならば難しいということと抵触すること両方が起きる fact2: 罪深いということは発生しない fact3: 素晴らしということが生じる fact4: 抵触することが発生する ; $hypothesis$ = もわもいLv.87事件が起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__