このぽなぽえLv.20は指南する
fact1: もし仮に「このぽよぽえLv.3は行き交うということはないが尽くし難い」ということは誤りであるとしたらこのぽなぽえLv.20は指南しない fact2: もしこのぽよぽえLv.3は堪り易いとしたら「このぽよぽえLv.3は指南するし加えて尽くし難い」ということは誤りだ fact3: もしもあるモンスターは堪り易いならば「行き交うということはないけど尽くし難い」ということは嘘だ fact4: このぽよぽえLv.3は堪り易い
fact3 -> int1: もしもこのぽよぽえLv.3は堪り易いとしたら「行き交わないけれど尽くし難い」ということは間違っている; int1 & fact4 -> int2: 「このぽよぽえLv.3は行き交わないがしかし尽くし難い」ということは間違いである; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「このぽよぽえLv.3は行き交うということはないが尽くし難い」ということは誤りであるとしたらこのぽなぽえLv.20は指南しない fact2: もしこのぽよぽえLv.3は堪り易いとしたら「このぽよぽえLv.3は指南するし加えて尽くし難い」ということは誤りだ fact3: もしもあるモンスターは堪り易いならば「行き交うということはないけど尽くし難い」ということは嘘だ fact4: このぽよぽえLv.3は堪り易い ; $hypothesis$ = このぽなぽえLv.20は指南する ; $proof$ = 
fact3 -> int1: もしもこのぽよぽえLv.3は堪り易いとしたら「行き交わないけれど尽くし難い」ということは間違っている; int1 & fact4 -> int2: 「このぽよぽえLv.3は行き交わないがしかし尽くし難い」ということは間違いである; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis; __DISPROVED__