好ましということが発生する
fact1: 好ましということは「集まり易いということかあるいはみにみえLv.95事件は正しい」ということに防がれる fact2: もしもわもにゅLv.31事件は発生しないなら好ましということが起こるしかつ集まり易いということが起きる fact3: こよないということは起こらない fact4: 仮に「もわもにゅLv.31事件が起きるけれどみにみえLv.95事件は生じない」ということは間違っているとすると「もわもにゅLv.31事件は起こらない」ということは本当だ fact5: 集まり易いということが生じるしその上もわもにゅLv.31事件が生じる fact6: もし仮にぴちゃぴちゃLv.61事件が発生すれば「狙い易いということが起こる」ということは成り立つ fact7: 仮に「狙い易いということが起こる」ということは成り立つとすれば「もわもにゅLv.31事件は発生するしみにみえLv.95事件は生じない」ということは事実と異なる
fact5 -> int1: 集まり易いということが起こる; int1 -> int2: 集まり易いということが生じるかもしくはみにみえLv.95事件が生じる; int2 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis;
好ましということが発生する
$facts$ = fact1: 好ましということは「集まり易いということかあるいはみにみえLv.95事件は正しい」ということに防がれる fact2: もしもわもにゅLv.31事件は発生しないなら好ましということが起こるしかつ集まり易いということが起きる fact3: こよないということは起こらない fact4: 仮に「もわもにゅLv.31事件が起きるけれどみにみえLv.95事件は生じない」ということは間違っているとすると「もわもにゅLv.31事件は起こらない」ということは本当だ fact5: 集まり易いということが生じるしその上もわもにゅLv.31事件が生じる fact6: もし仮にぴちゃぴちゃLv.61事件が発生すれば「狙い易いということが起こる」ということは成り立つ fact7: 仮に「狙い易いということが起こる」ということは成り立つとすれば「もわもにゅLv.31事件は発生するしみにみえLv.95事件は生じない」ということは事実と異なる ; $hypothesis$ = 好ましということが発生する ; $proof$ = 
fact5 -> int1: 集まり易いということが起こる; int1 -> int2: 集まり易いということが生じるかもしくはみにみえLv.95事件が生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis; __DISPROVED__