あのまなまちゃLv.98はしかつめらしくておまけに黒し
fact1: もし「そのぷにょぷえLv.44は当たり難いかもしくは搾取分配しない」ということは事実でないならばあのまなまちゃLv.98はしかつめらしい fact2: それは当たり難いかもしくは搾取分配しないかあるいは両方だというモンスターはない fact3: もし仮に「そのぷにょぷえLv.44は当たり難いかあるいは搾取分配する」ということは正しくないならあのまなまちゃLv.98はしかつめらしい fact4: もし「そのぷにょぷえLv.44はしかつめらしいかまたは黒しないか両方ともだ」ということは誤りならばあのまなまちゃLv.98は当たり難い fact5: あのまなまちゃLv.98は黒し fact6: すべてのモンスターは歩き易い fact7: もし「「あのまなまちゃLv.98は当たり難いか搾取分配しない」ということは成り立つ」ということは偽ならそのぷにょぷえLv.44は黒し
fact2 -> int1: 「「そのぷにょぷえLv.44は当たり難いかもしくは搾取分配しない」ということは事実である」ということは成り立たない; int1 & fact1 -> int2: あのまなまちゃLv.98はしかつめらしい; int2 & fact5 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: {A}{a}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もし「そのぷにょぷえLv.44は当たり難いかもしくは搾取分配しない」ということは事実でないならばあのまなまちゃLv.98はしかつめらしい fact2: それは当たり難いかもしくは搾取分配しないかあるいは両方だというモンスターはない fact3: もし仮に「そのぷにょぷえLv.44は当たり難いかあるいは搾取分配する」ということは正しくないならあのまなまちゃLv.98はしかつめらしい fact4: もし「そのぷにょぷえLv.44はしかつめらしいかまたは黒しないか両方ともだ」ということは誤りならばあのまなまちゃLv.98は当たり難い fact5: あのまなまちゃLv.98は黒し fact6: すべてのモンスターは歩き易い fact7: もし「「あのまなまちゃLv.98は当たり難いか搾取分配しない」ということは成り立つ」ということは偽ならそのぷにょぷえLv.44は黒し ; $hypothesis$ = あのまなまちゃLv.98はしかつめらしくておまけに黒し ; $proof$ = 
fact2 -> int1: 「「そのぷにょぷえLv.44は当たり難いかもしくは搾取分配しない」ということは事実である」ということは成り立たない; int1 & fact1 -> int2: あのまなまちゃLv.98はしかつめらしい; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: {A}{a}; int2 & fact5 -> hypothesis; __PROVED__