そのぴのぴちょLv.32は安堵し難くない一方で吸収し易い
fact1: 「「安堵し難いということはないがしかし吸収し易い」ということは成り立たない」モンスターがいればこのぽのぽにLv.81は仕方無い fact2: もしも何らかのモンスターは興奮し易くないかまたは来難くないかまたは両方であるならばヘアライン仕上げしない fact3: 「なにがしかのモンスターは近付き難いが発生し難くない」ということは成り立たないとしたらそれは仕方無くない fact4: このぽのぽにLv.81は仕方無くない fact5: もしもなにがしかのモンスターはヘアライン仕上げするということはないとしたら「近付き難い一方で発生し難くない」ということは成り立たない
void -> assump1: 以下のように仮定する。「そのぴのぴちょLv.32は安堵し難くないが吸収し易い」ということは成り立つということはない; assump1 -> int1: 「「安堵し難くないがしかし吸収し易い」ということは成り立たない」モンスターはいる; int1 & fact1 -> int2: このぽのぽにLv.81は仕方無い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{aa} & {AB}{aa}); assump1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> int2: {A}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのぴのぴちょLv.32は安堵し難くないが吸収し易い」ということは成り立つということはない
fact7 -> int4: もし仮に「そのぴのぴちょLv.32は近付き難いがしかし発生し難くない」ということは確かでないなら「仕方無くない」ということは確かだ; fact6 -> int5: 仮にそのぴのぴちょLv.32はヘアライン仕上げしないとしたら「それは近付き難いがしかし発生し難いということはない」ということは嘘である; fact8 -> int6: そのぴのぴちょLv.32が興奮し易くないかあるいはそれは来難くないかどちらもだとしたらヘアライン仕上げしない;
$facts$ = fact1: 「「安堵し難いということはないがしかし吸収し易い」ということは成り立たない」モンスターがいればこのぽのぽにLv.81は仕方無い fact2: もしも何らかのモンスターは興奮し易くないかまたは来難くないかまたは両方であるならばヘアライン仕上げしない fact3: 「なにがしかのモンスターは近付き難いが発生し難くない」ということは成り立たないとしたらそれは仕方無くない fact4: このぽのぽにLv.81は仕方無くない fact5: もしもなにがしかのモンスターはヘアライン仕上げするということはないとしたら「近付き難い一方で発生し難くない」ということは成り立たない ; $hypothesis$ = そのぴのぴちょLv.32は安堵し難くない一方で吸収し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴのぴちょLv.32は安堵し難くないが吸収し易い」ということは成り立つということはない; assump1 -> int1: 「「安堵し難くないがしかし吸収し易い」ということは成り立たない」モンスターはいる; int1 & fact1 -> int2: このぽのぽにLv.81は仕方無い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{aa} & {AB}{aa}); assump1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> int2: {A}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__