このぷえぷにゃLv.13は胸苦しくないしその上調節し易くない
fact1: 「「「あのぷにょぷいLv.68は予測し難いがしかし胸苦しくない」ということは事実だ」ということは偽である」ということは正しい fact2: 「何らかのモンスターは胸苦しくないしまた調節し易いということはない」ということは確かであるということはないとしたらそれは働き易い fact3: このぷえぷにゃLv.13は働き易くない fact4: 何らかのモンスターは訝しくないならば「それは胸苦しくないし調節し易くない」ということは間違いだ fact5: あのぴくぴにょLv.38は仕事らしいということはないしかつ働き易くない fact6: 「このぷえぷにゃLv.13は胸苦しくない」ということは偽でない fact7: このぷえぷにゃLv.13は初々しくないし加えて胸苦しくない
fact2 -> int1: もしも「このぷえぷにゃLv.13は胸苦しくないし更に調節し易くない」ということは成り立たないならばこのぷえぷにゃLv.13は働き易い; void -> assump1: 以下のように仮定する。「このぷえぷにゃLv.13は胸苦しくないしかつ調節し易くない」ということは間違っている; int1 & assump1 -> int2: このぷえぷにゃLv.13は働き易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「このぷえぷにゃLv.13は胸苦しくないしかつ調節し易くない」ということは間違っている
fact8 -> int4: もしもこのぷえぷにゃLv.13は訝しくないならば「胸苦しくないしまた調節し易くない」ということは事実と異なる;
$facts$ = fact1: 「「「あのぷにょぷいLv.68は予測し難いがしかし胸苦しくない」ということは事実だ」ということは偽である」ということは正しい fact2: 「何らかのモンスターは胸苦しくないしまた調節し易いということはない」ということは確かであるということはないとしたらそれは働き易い fact3: このぷえぷにゃLv.13は働き易くない fact4: 何らかのモンスターは訝しくないならば「それは胸苦しくないし調節し易くない」ということは間違いだ fact5: あのぴくぴにょLv.38は仕事らしいということはないしかつ働き易くない fact6: 「このぷえぷにゃLv.13は胸苦しくない」ということは偽でない fact7: このぷえぷにゃLv.13は初々しくないし加えて胸苦しくない ; $hypothesis$ = このぷえぷにゃLv.13は胸苦しくないしその上調節し易くない ; $proof$ = 
fact2 -> int1: もしも「このぷえぷにゃLv.13は胸苦しくないし更に調節し易くない」ということは成り立たないならばこのぷえぷにゃLv.13は働き易い; void -> assump1: 以下のように仮定する。「このぷえぷにゃLv.13は胸苦しくないしかつ調節し易くない」ということは間違っている; int1 & assump1 -> int2: このぷえぷにゃLv.13は働き易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__