そのぽちゃぽにゃLv.59は録音出来ない
fact1: 「そのぽちゃぽにゃLv.59は恨みがましい」ということは本当だ fact2: 仮にあるモンスターは録音出来れば「それは恨みがましいということはない」ということは確かである fact3: そのぽにゃぽくLv.88が恨みがましくらないとするとそのぽちゃぽにゃLv.59はひけらかすしそれに録音出来る
fact2 -> int1: そのぽちゃぽにゃLv.59が録音出来るとするとそのぽちゃぽにゃLv.59は恨みがましかない; void -> assump1: 以下のように仮定する。そのぽちゃぽにゃLv.59は録音出来る; int1 & assump1 -> int2: そのぽちゃぽにゃLv.59は恨みがましかない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぽちゃぽにゃLv.59は録音出来る
$facts$ = fact1: 「そのぽちゃぽにゃLv.59は恨みがましい」ということは本当だ fact2: 仮にあるモンスターは録音出来れば「それは恨みがましいということはない」ということは確かである fact3: そのぽにゃぽくLv.88が恨みがましくらないとするとそのぽちゃぽにゃLv.59はひけらかすしそれに録音出来る ; $hypothesis$ = そのぽちゃぽにゃLv.59は録音出来ない ; $proof$ = 
fact2 -> int1: そのぽちゃぽにゃLv.59が録音出来るとするとそのぽちゃぽにゃLv.59は恨みがましかない; void -> assump1: 以下のように仮定する。そのぽちゃぽにゃLv.59は録音出来る; int1 & assump1 -> int2: そのぽちゃぽにゃLv.59は恨みがましかない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__