このぽにゅぽよLv.80は決め難くない
fact1: 「もしもあるモンスターが見下ろすとしたら生み落とすということはないしかつそれは根気強くない」ということは確かだ fact2: 「もしもこのぽにゅぽよLv.80が決め難いとすればこのぽにゅぽよLv.80は厳い」ということは確かだ fact3: 何らかのモンスターが送検しないとすればそれは決め難いししかも厳い fact4: もしこのぽにゅぽよLv.80が厳いならこのぽにゅぽよLv.80は眠たい fact5: このぽにゅぽよLv.80は眠たくない fact6: あらゆるモンスターが見下ろすしその上奇襲する
void -> assump1: 以下のように仮定する。このぽにゅぽよLv.80は決め難い; fact2 & assump1 -> int1: このぽにゅぽよLv.80は厳い; int1 & fact4 -> int2: このぽにゅぽよLv.80は眠たい; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのもいもゆLv.36は眠たい
fact7 -> int4: もしもそのもいもゆLv.36が送検しないとすると決め難くて厳い; fact8 -> int5: このまにゅまにゅLv.62は見下ろすしそれに奇襲する; int5 -> int6: このまにゅまにゅLv.62は見下ろす; int6 -> int7: 全てのモンスターは見下ろす; int7 -> int8: このぽにゅぽよLv.80は見下ろす; fact9 -> int9: もしこのぽにゅぽよLv.80が見下ろすとすればそれは生み落とさなくて根気強くない; int8 & int9 -> int10: このぽにゅぽよLv.80は生み落とさないしまたそれは根気強くない; int10 -> int11: 「全てのモンスターは生み落とすということはなくてさらに根気強いということはない」ということは成り立つ; int11 -> int12: そのもいもゆLv.36は生み落とさないし更に根気強いということはない;
$facts$ = fact1: 「もしもあるモンスターが見下ろすとしたら生み落とすということはないしかつそれは根気強くない」ということは確かだ fact2: 「もしもこのぽにゅぽよLv.80が決め難いとすればこのぽにゅぽよLv.80は厳い」ということは確かだ fact3: 何らかのモンスターが送検しないとすればそれは決め難いししかも厳い fact4: もしこのぽにゅぽよLv.80が厳いならこのぽにゅぽよLv.80は眠たい fact5: このぽにゅぽよLv.80は眠たくない fact6: あらゆるモンスターが見下ろすしその上奇襲する ; $hypothesis$ = このぽにゅぽよLv.80は決め難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにゅぽよLv.80は決め難い; fact2 & assump1 -> int1: このぽにゅぽよLv.80は厳い; int1 & fact4 -> int2: このぽにゅぽよLv.80は眠たい; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__