ぷえぷねLv.80事件が生じる
fact1: ぷえぷねLv.80事件は起きないし関係深いということは発生しない fact2: 仮に「「初々しいということではなくて人間臭いということが生じる」ということは真実でない」ということは本当なら人間臭いということは生じない fact3: もし仮にまちゅまにゃLv.44事件が発生すれば這い出ることは生じなくてぷよぷねLv.7事件は起こらない fact4: 関係深いということは発生しない fact5: 「まちゅまにゃLv.44事件が生じる」ということはぷえぷねLv.80事件は生じないということを回避する fact6: もしも「人間臭いということは生じないし親しみ易いということは発生しない」ということは成り立たないならまちゅまにゃLv.44事件が起こる
fact1 -> int1: ぷえぷねLv.80事件は起きないし関係深いということは発生しない; int1 -> hypothesis;
fact1 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis;
這い出ることが起こらなくてしかもぷよぷねLv.7事件は発生しない
$facts$ = fact1: ぷえぷねLv.80事件は起きないし関係深いということは発生しない fact2: 仮に「「初々しいということではなくて人間臭いということが生じる」ということは真実でない」ということは本当なら人間臭いということは生じない fact3: もし仮にまちゅまにゃLv.44事件が発生すれば這い出ることは生じなくてぷよぷねLv.7事件は起こらない fact4: 関係深いということは発生しない fact5: 「まちゅまにゃLv.44事件が生じる」ということはぷえぷねLv.80事件は生じないということを回避する fact6: もしも「人間臭いということは生じないし親しみ易いということは発生しない」ということは成り立たないならまちゅまにゃLv.44事件が起こる ; $hypothesis$ = ぷえぷねLv.80事件が生じる ; $proof$ = 
fact1 -> int1: ぷえぷねLv.80事件は起きないし関係深いということは発生しない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis; __DISPROVED__