「もしこのまのまなLv.57が非難がましいならばそのぽねぽにゃLv.26は強化出来る」ということは間違いだ
fact1: このまのまなLv.57はめんど臭い fact2: 仮にとあるモンスターは飲み出さないとすると「それは憎し一方で固くない」ということは偽だ fact3: 仮に「このまのまなLv.57は憎しけどそれは固くない」ということは間違いであるとすれば「このぴちゅぴよLv.53は開き易くない」ということは誤りでない fact4: このまのまなLv.57は調べ始める fact5: 「そのぽねぽにゃLv.26は程遠くないけれどめんど臭い」ということは間違いであるならばそれは強化出来る fact6: 仮にこのまのまなLv.57は非難がましいとすれば「そのぽねぽにゃLv.26は程遠くないがしかしめんど臭い」ということは成り立たない
void -> assump1: 以下のように仮定する。このまのまなLv.57は非難がましい; fact6 & assump1 -> int1: 「そのぽねぽにゃLv.26は程遠くない一方でめんど臭い」ということは正しくない; int1 & fact5 -> int2: そのぽねぽにゃLv.26は強化出来る; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{b}; [assump1] & int2 -> hypothesis;
このぴちゅぴよLv.53はめんど臭い
fact8 -> int3: 仮にそのぽねぽにゃLv.26は飲み出さないとすれば「「それは憎しが固くない」ということは事実である」ということは誤っている;
$facts$ = fact1: このまのまなLv.57はめんど臭い fact2: 仮にとあるモンスターは飲み出さないとすると「それは憎し一方で固くない」ということは偽だ fact3: 仮に「このまのまなLv.57は憎しけどそれは固くない」ということは間違いであるとすれば「このぴちゅぴよLv.53は開き易くない」ということは誤りでない fact4: このまのまなLv.57は調べ始める fact5: 「そのぽねぽにゃLv.26は程遠くないけれどめんど臭い」ということは間違いであるならばそれは強化出来る fact6: 仮にこのまのまなLv.57は非難がましいとすれば「そのぽねぽにゃLv.26は程遠くないがしかしめんど臭い」ということは成り立たない ; $hypothesis$ = 「もしこのまのまなLv.57が非難がましいならばそのぽねぽにゃLv.26は強化出来る」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。このまのまなLv.57は非難がましい; fact6 & assump1 -> int1: 「そのぽねぽにゃLv.26は程遠くない一方でめんど臭い」ということは正しくない; int1 & fact5 -> int2: そのぽねぽにゃLv.26は強化出来る; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__