そのぽよぽなLv.42は見分け難くない
fact1: このもえもにゃLv.64は御任せ下さらない fact2: もし仮にそのぽよぽのLv.11は伸ばし易いとしたら「そのぽよぽなLv.42は見分け難い」ということは成り立つ fact3: もし仮に「このもえもにゃLv.64は御任せ下さらない」ということは確かだとしたら「このぽねぽゆLv.94は若々しくないがそれは付き合わす」ということは偽である fact4: もしもこのもえもにゃLv.64が伸ばし易くないならばそのぽよぽなLv.42は御任せ下さるけれど見分け難くない fact5: 仮に「このぽねぽゆLv.94は若々しくないけれどそれは付き合わす」ということは間違いだとすればそのぽよぽのLv.11は伸ばし易い
fact3 & fact1 -> int1: 「このぽねぽゆLv.94は若々しくないけどそれは付き合わす」ということは誤りである; int1 & fact5 -> int2: そのぽよぽのLv.11は伸ばし易い; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact2 -> hypothesis;
そのぽよぽなLv.42は見分け難くない
$facts$ = fact1: このもえもにゃLv.64は御任せ下さらない fact2: もし仮にそのぽよぽのLv.11は伸ばし易いとしたら「そのぽよぽなLv.42は見分け難い」ということは成り立つ fact3: もし仮に「このもえもにゃLv.64は御任せ下さらない」ということは確かだとしたら「このぽねぽゆLv.94は若々しくないがそれは付き合わす」ということは偽である fact4: もしもこのもえもにゃLv.64が伸ばし易くないならばそのぽよぽなLv.42は御任せ下さるけれど見分け難くない fact5: 仮に「このぽねぽゆLv.94は若々しくないけれどそれは付き合わす」ということは間違いだとすればそのぽよぽのLv.11は伸ばし易い ; $hypothesis$ = そのぽよぽなLv.42は見分け難くない ; $proof$ = 
fact3 & fact1 -> int1: 「このぽねぽゆLv.94は若々しくないけどそれは付き合わす」ということは誤りである; int1 & fact5 -> int2: そのぽよぽのLv.11は伸ばし易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact2 -> hypothesis; __DISPROVED__