仕方無しということが起きる
fact1: もし冷たいということが生じるなら「仕方無しということは発生しないかもしくはぴちょぴちゅLv.19事件が発生する」ということは偽だ fact2: 得難しということが発生する fact3: ぷちゃぷえLv.47事件が起きる fact4: もし仮に「「仕方無しということは発生しないかぴちょぴちゅLv.19事件が起こるかあるいはどちらもである」ということは成り立たない」ということは成り立つならぴにょぴにょLv.74事件は起こらない fact5: かったるいということが発生する fact6: 「ぴにょぴにょLv.74事件が起こるしかったるいということが生じる」ということは仕方無しということは生じないということをもたらす fact7: 「ぴにょぴにょLv.74事件は発生しない」ということは割れ易いということと得難しということが生じるを引き起こす fact8: 得難しということが起きるしぴにょぴにょLv.74事件が生じる
fact8 -> int1: ぴにょぴにょLv.74事件が起きる; int1 & fact5 -> int2: ぴにょぴにょLv.74事件とかったるいということ両方が生じる; int2 & fact6 -> hypothesis;
fact8 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
割れ易いということおよびもわもちゅLv.2事件両方ともが発生する
$facts$ = fact1: もし冷たいということが生じるなら「仕方無しということは発生しないかもしくはぴちょぴちゅLv.19事件が発生する」ということは偽だ fact2: 得難しということが発生する fact3: ぷちゃぷえLv.47事件が起きる fact4: もし仮に「「仕方無しということは発生しないかぴちょぴちゅLv.19事件が起こるかあるいはどちらもである」ということは成り立たない」ということは成り立つならぴにょぴにょLv.74事件は起こらない fact5: かったるいということが発生する fact6: 「ぴにょぴにょLv.74事件が起こるしかったるいということが生じる」ということは仕方無しということは生じないということをもたらす fact7: 「ぴにょぴにょLv.74事件は発生しない」ということは割れ易いということと得難しということが生じるを引き起こす fact8: 得難しということが起きるしぴにょぴにょLv.74事件が生じる ; $hypothesis$ = 仕方無しということが起きる ; $proof$ = 
fact8 -> int1: ぴにょぴにょLv.74事件が起きる; int1 & fact5 -> int2: ぴにょぴにょLv.74事件とかったるいということ両方が生じる; int2 & fact6 -> hypothesis; __DISPROVED__
fact8 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __DISPROVED__