ぽちゃぽわLv.29事件が起こる
fact1: 「珍しいということは起こらなくて熱苦しいということは発生しない」ということは成り立たない fact2: もし仮に「珍しいということは生じないししかも熱苦しいということは発生しない」ということは事実と異なるとするとぽちゃぽわLv.29事件は起こらない fact3: 「動き易いということは生じないしかつ天使らしいということは発生しない」ということは成り立たない fact4: 「塩辛いということは発生しなくてさらにぷゆぷにゃLv.86事件は起きない」ということは嘘である
fact1 -> int1: 「珍しいということは起こらなくて熱苦しいということは発生しない」ということは成り立たない; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「珍しいということは起こらなくて熱苦しいということは発生しない」ということは成り立たない fact2: もし仮に「珍しいということは生じないししかも熱苦しいということは発生しない」ということは事実と異なるとするとぽちゃぽわLv.29事件は起こらない fact3: 「動き易いということは生じないしかつ天使らしいということは発生しない」ということは成り立たない fact4: 「塩辛いということは発生しなくてさらにぷゆぷにゃLv.86事件は起きない」ということは嘘である ; $hypothesis$ = ぽちゃぽわLv.29事件が起こる ; $proof$ = 
fact1 -> int1: 「珍しいということは起こらなくて熱苦しいということは発生しない」ということは成り立たない; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact2 -> hypothesis; __DISPROVED__