「そのぷなぷちゃLv.29は受諾すけれど弱しない」ということは嘘だ
fact1: もしあのみやみゆLv.24が受諾すらないとしたらそのぷなぷちゃLv.29は受諾すけど弱しない fact2: 「そのぷなぷちゃLv.29は受諾すししかも洗い上げる」ということは偽だ fact3: もし仮に「「そのもえもえLv.54は弱ししまた受諾す」ということは確かである」ということは誤っているならそのぷなぷちゃLv.29は洗い上げるということはない fact4: 仮に「そのもえもえLv.54は洗い上げるしさらにそれは砕け易い」ということは成り立たないならあのみやみゆLv.24は受諾すらない fact5: 洗い上げるしその上砕け易いというモンスターはない
fact5 -> int1: 「そのもえもえLv.54は洗い上げるし更に砕け易い」ということは誤りである; int1 & fact4 -> int2: あのみやみゆLv.24は受諾すらない; int2 & fact1 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬{A}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみやみゆLv.24が受諾すらないとしたらそのぷなぷちゃLv.29は受諾すけど弱しない fact2: 「そのぷなぷちゃLv.29は受諾すししかも洗い上げる」ということは偽だ fact3: もし仮に「「そのもえもえLv.54は弱ししまた受諾す」ということは確かである」ということは誤っているならそのぷなぷちゃLv.29は洗い上げるということはない fact4: 仮に「そのもえもえLv.54は洗い上げるしさらにそれは砕け易い」ということは成り立たないならあのみやみゆLv.24は受諾すらない fact5: 洗い上げるしその上砕け易いというモンスターはない ; $hypothesis$ = 「そのぷなぷちゃLv.29は受諾すけれど弱しない」ということは嘘だ ; $proof$ = 
fact5 -> int1: 「そのもえもえLv.54は洗い上げるし更に砕け易い」ということは誤りである; int1 & fact4 -> int2: あのみやみゆLv.24は受諾すらない; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬{A}{a}; int2 & fact1 -> hypothesis; __DISPROVED__