このまにゅまねLv.45は最もらしい
fact1: 長細くないモンスターは流され易くなくて小狡くない fact2: もしもこのぷよぷちゅLv.96は流され易いということはないならば「このぷよぷちゅLv.96は骨っぽいけれどめぼしくない」ということは嘘である fact3: もしも「このぷよぷちゅLv.96は骨っぽいけどそれはめぼしくない」ということは成り立たないならこのまにゅまねLv.45は骨っぽくない fact4: もしもこのまにゅまねLv.45が心強いけれど流失しないとすればこのまにゅまねLv.45は最もらしくない fact5: もしなにがしかのモンスターが骨っぽくないなら最もらしいしおまけにそれは入る fact6: 「このまにゅまねLv.45は入る」ということは正しい fact7: そのまなまわLv.33は最もらしい fact8: 仮にこのまにゅまねLv.45が入るとすればこのまにゅまねLv.45は心強いがしかし流失しない
fact8 & fact6 -> int1: このまにゅまねLv.45は心強いがしかしそれは流失するということはない; int1 & fact4 -> hypothesis;
fact8 & fact6 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis;
このまにゅまねLv.45は最もらしい
fact11 -> int2: もし仮にこのまにゅまねLv.45が骨っぽくないとしたらこのまにゅまねLv.45は最もらしいしそれに入る; fact12 -> int3: もし仮にこのぷよぷちゅLv.96が長細くないとすればそれは流され易くないし小狡くない;
$facts$ = fact1: 長細くないモンスターは流され易くなくて小狡くない fact2: もしもこのぷよぷちゅLv.96は流され易いということはないならば「このぷよぷちゅLv.96は骨っぽいけれどめぼしくない」ということは嘘である fact3: もしも「このぷよぷちゅLv.96は骨っぽいけどそれはめぼしくない」ということは成り立たないならこのまにゅまねLv.45は骨っぽくない fact4: もしもこのまにゅまねLv.45が心強いけれど流失しないとすればこのまにゅまねLv.45は最もらしくない fact5: もしなにがしかのモンスターが骨っぽくないなら最もらしいしおまけにそれは入る fact6: 「このまにゅまねLv.45は入る」ということは正しい fact7: そのまなまわLv.33は最もらしい fact8: 仮にこのまにゅまねLv.45が入るとすればこのまにゅまねLv.45は心強いがしかし流失しない ; $hypothesis$ = このまにゅまねLv.45は最もらしい ; $proof$ = 
fact8 & fact6 -> int1: このまにゅまねLv.45は心強いがしかしそれは流失するということはない; int1 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact6 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis; __DISPROVED__