まわまちょLv.59事件が起こる
fact1: 使い辛いということが起きる fact2: 整い過ぎることと送達すことが発生する fact3: 送達すことは起こらないということは「まわまちょLv.59事件と整い過ぎることが起こる」ということを生じさせる
fact2 -> int1: 送達すことが起こる; int1 & fact1 -> int2: 送達すことおよび使い辛いということ両方ともが生じる;
fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C});
まわまちょLv.59事件が起こる
$facts$ = fact1: 使い辛いということが起きる fact2: 整い過ぎることと送達すことが発生する fact3: 送達すことは起こらないということは「まわまちょLv.59事件と整い過ぎることが起こる」ということを生じさせる ; $hypothesis$ = まわまちょLv.59事件が起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__