ぷにょぷくLv.84事件が起きる
fact1: もしも「ぷにょぷくLv.84事件が起きるけれどまにまわLv.91事件は起きない」ということは成り立たないとするとぷにょぷくLv.84事件は生じない fact2: みちゅみくLv.60事件が起きる fact3: 言い出し難いということはぷにょぷくLv.84事件を生じさせる fact4: もし考え難いということは起こらないとすると「まにまわLv.91事件は生じないしさらに言い出し難いということは起こらない」ということは事実と異なる fact5: 言い出し難いということが発生する
fact5 -> int1: 言い出し難いということが発生する; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> hypothesis;
ぷにょぷくLv.84事件は発生しない
$facts$ = fact1: もしも「ぷにょぷくLv.84事件が起きるけれどまにまわLv.91事件は起きない」ということは成り立たないとするとぷにょぷくLv.84事件は生じない fact2: みちゅみくLv.60事件が起きる fact3: 言い出し難いということはぷにょぷくLv.84事件を生じさせる fact4: もし考え難いということは起こらないとすると「まにまわLv.91事件は生じないしさらに言い出し難いということは起こらない」ということは事実と異なる fact5: 言い出し難いということが発生する ; $hypothesis$ = ぷにょぷくLv.84事件が起きる ; $proof$ = 
fact5 -> int1: 言い出し難いということが発生する; int1 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__