「もし仮にあのまねまゆLv.85が建造出来るとすればあのまねまゆLv.85は尽く」ということは間違っている
fact1: あのまねまゆLv.85は重々しいということはない fact2: もしもなにがしかのモンスターが建造出来ればそれは重々しいということはないけれど尽く fact3: もし「「このまねまにLv.18は末枯れるしそれは太り難い」ということは成り立たない」ということは確かであるとするとこのまねまにLv.18は危なっかしくない fact4: 危なっかしくないモンスターは重々しいしその上建造出来る fact5: 仮にとあるモンスターは建造出来るとしたら「それは重々しくない」ということは成り立つ
fact2 -> int1: もし仮にあのまねまゆLv.85が建造出来るとしたらあのまねまゆLv.85は重々しくない一方で尽く; void -> assump1: 以下のように仮定する。あのまねまゆLv.85は建造出来る; int1 & assump1 -> int2: あのまねまゆLv.85は重々しくないけど尽く; int2 -> int3: あのまねまゆLv.85は尽く; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; [assump1] & int3 -> hypothesis;
そのみにゅみのLv.66は重々しい
fact6 -> int4: 仮にこのまねまにLv.18が危なっかしくないならばこのまねまにLv.18は重々しいし建造出来る;
$facts$ = fact1: あのまねまゆLv.85は重々しいということはない fact2: もしもなにがしかのモンスターが建造出来ればそれは重々しいということはないけれど尽く fact3: もし「「このまねまにLv.18は末枯れるしそれは太り難い」ということは成り立たない」ということは確かであるとするとこのまねまにLv.18は危なっかしくない fact4: 危なっかしくないモンスターは重々しいしその上建造出来る fact5: 仮にとあるモンスターは建造出来るとしたら「それは重々しくない」ということは成り立つ ; $hypothesis$ = 「もし仮にあのまねまゆLv.85が建造出来るとすればあのまねまゆLv.85は尽く」ということは間違っている ; $proof$ = 
fact2 -> int1: もし仮にあのまねまゆLv.85が建造出来るとしたらあのまねまゆLv.85は重々しくない一方で尽く; void -> assump1: 以下のように仮定する。あのまねまゆLv.85は建造出来る; int1 & assump1 -> int2: あのまねまゆLv.85は重々しくないけど尽く; int2 -> int3: あのまねまゆLv.85は尽く; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; [assump1] & int3 -> hypothesis; __DISPROVED__