このぷいぷちょLv.76は口煩くない
fact1: もし仮にこのぽいぽゆLv.66が口煩くなくてまたおずおずしないとすればこのぷいぷちょLv.76は口煩い fact2: もし仮にあるモンスターはおずおずしないなら「それは油っぽいしその上切り難い」ということは誤っている fact3: 仮に「このぷにぷえLv.18は油っぽいしまたそれは切り難い」ということは嘘であるとするとこのぷいぷちょLv.76は口煩くない fact4: このぷにぷえLv.18はおずおずしない
fact2 -> int1: このぷにぷえLv.18はおずおずしないとすれば「それは油っぽいしかつ切り難い」ということは真実でない; int1 & fact4 -> int2: 「このぷにぷえLv.18は油っぽくてまた切り難い」ということは成り立たない; int2 & fact3 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis;
このぷいぷちょLv.76は口煩い
$facts$ = fact1: もし仮にこのぽいぽゆLv.66が口煩くなくてまたおずおずしないとすればこのぷいぷちょLv.76は口煩い fact2: もし仮にあるモンスターはおずおずしないなら「それは油っぽいしその上切り難い」ということは誤っている fact3: 仮に「このぷにぷえLv.18は油っぽいしまたそれは切り難い」ということは嘘であるとするとこのぷいぷちょLv.76は口煩くない fact4: このぷにぷえLv.18はおずおずしない ; $hypothesis$ = このぷいぷちょLv.76は口煩くない ; $proof$ = 
fact2 -> int1: このぷにぷえLv.18はおずおずしないとすれば「それは油っぽいしかつ切り難い」ということは真実でない; int1 & fact4 -> int2: 「このぷにぷえLv.18は油っぽくてまた切り難い」ということは成り立たない; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__