あのまにょまやLv.84は御寂しい
fact1: 全てのモンスターは彼らしくないしその上輝かしない fact2: もしこのぴえぴよLv.65が彼らしい一方で輝かしないならばあのまにょまやLv.84は由々し fact3: 仮にこのぴえぴよLv.65が由々し一方で御寂しいということはないとすればあのまにょまやLv.84は輝かし fact4: もしも何らかのモンスターはしらばっくれるとすれば「それは由々しし更にそれは手出ししない」ということは嘘だ fact5: もし「なにがしかのモンスターは輝かしということはないし更に彼らしくない」ということは成り立たないとすると算しない fact6: もしも「なにがしかのモンスターは御寂しいがしかし彼らしくない」ということは間違いであるとしたら御寂しくない fact7: 仮にこのぴえぴよLv.65が彼らしいということはなくてしかも輝かしないならあのまにょまやLv.84は由々し fact8: もしあのまにょまやLv.84が由々しならば御寂しい
fact1 -> int1: このぴえぴよLv.65は彼らしくないし更に輝かしない; int1 & fact7 -> int2: あのまにょまやLv.84は由々し; int2 & fact8 -> hypothesis;
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
そのまよまくLv.33は御寂しくないしおまけに算するということはない
fact9 -> int3: もし「そのまよまくLv.33は輝かしないしかつ彼らしくない」ということは成り立たないとすればそのまよまくLv.33は算しない; fact10 -> int4: もしあのまにょまやLv.84はしらばっくれるとすると「由々しけど手出ししない」ということは成り立たない;
$facts$ = fact1: 全てのモンスターは彼らしくないしその上輝かしない fact2: もしこのぴえぴよLv.65が彼らしい一方で輝かしないならばあのまにょまやLv.84は由々し fact3: 仮にこのぴえぴよLv.65が由々し一方で御寂しいということはないとすればあのまにょまやLv.84は輝かし fact4: もしも何らかのモンスターはしらばっくれるとすれば「それは由々しし更にそれは手出ししない」ということは嘘だ fact5: もし「なにがしかのモンスターは輝かしということはないし更に彼らしくない」ということは成り立たないとすると算しない fact6: もしも「なにがしかのモンスターは御寂しいがしかし彼らしくない」ということは間違いであるとしたら御寂しくない fact7: 仮にこのぴえぴよLv.65が彼らしいということはなくてしかも輝かしないならあのまにょまやLv.84は由々し fact8: もしあのまにょまやLv.84が由々しならば御寂しい ; $hypothesis$ = あのまにょまやLv.84は御寂しい ; $proof$ = 
fact1 -> int1: このぴえぴよLv.65は彼らしくないし更に輝かしない; int1 & fact7 -> int2: あのまにょまやLv.84は由々し; int2 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __PROVED__