「好もしいということとぽちゃぽちゅLv.60事件両方が起きる」ということは嘘である
fact1: 好もしいということは発生しないということは定まることに防がれる fact2: 定まることが起こる fact3: ぽちゃぽちゅLv.60事件が起きる fact4: もし仮に定まることは生じないとしたら「好もしいということとぽちゃぽちゅLv.60事件両方ともが起こる」ということは誤りだ fact5: みいみなLv.18事件は「ぽちゃぽちゅLv.60事件は生じないけれどまにょまわLv.49事件が生じる」ということを招く fact6: もしもぴよぴやLv.43事件は起きないとしたらまいまよLv.9事件が生じるし加えてみいみなLv.18事件が生じる fact7: 付け易いということが起こる
fact1 & fact2 -> int1: 好もしいということが発生する; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis;
「好もしいということとぽちゃぽちゅLv.60事件両方が起きる」ということは嘘である
$facts$ = fact1: 好もしいということは発生しないということは定まることに防がれる fact2: 定まることが起こる fact3: ぽちゃぽちゅLv.60事件が起きる fact4: もし仮に定まることは生じないとしたら「好もしいということとぽちゃぽちゅLv.60事件両方ともが起こる」ということは誤りだ fact5: みいみなLv.18事件は「ぽちゃぽちゅLv.60事件は生じないけれどまにょまわLv.49事件が生じる」ということを招く fact6: もしもぴよぴやLv.43事件は起きないとしたらまいまよLv.9事件が生じるし加えてみいみなLv.18事件が生じる fact7: 付け易いということが起こる ; $hypothesis$ = 「好もしいということとぽちゃぽちゅLv.60事件両方が起きる」ということは嘘である ; $proof$ = 
fact1 & fact2 -> int1: 好もしいということが発生する; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__