「このまえまなLv.23はしんどいが醜くない」ということは誤りだ
fact1: 「すべてのモンスターは小さい」ということは事実だ fact2: このまえまなLv.23は受給する fact3: もししんどいモンスターが醜くないとすればそれは受給しない fact4: もしあのもやもねLv.11が成功し易いということはないとしたらそのみねみなLv.7は出来易いが揮発し易くない fact5: もし仮にそのみねみなLv.7が出来易いがしかしそれが揮発し易くないとすればそのぷにぷわLv.59は受給しない fact6: 小さいモンスターは物寂しくないモンスターで成功し易くない
fact3 -> int1: もしもこのまえまなLv.23がしんどいがしかしそれが醜くないとすれば受給するということはない; void -> assump1: 以下のように仮定する。このまえまなLv.23はしんどいけど醜くない; int1 & assump1 -> int2: このまえまなLv.23は受給するということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このまえまなLv.23はしんどいけど醜くない
fact7 -> int4: もし仮にそのみちょみいLv.25が小さいならそのみちょみいLv.25は物寂しくないし成功し易いということはない; fact9 -> int5: そのみちょみいLv.25は小さい; int4 & int5 -> int6: そのみちょみいLv.25は物寂しくないし成功し易くない; int6 -> int7: すべてのモンスターは物寂しくないしおまけに成功し易くない; int7 -> int8: あのもやもねLv.11は物寂しくないしおまけに成功し易くない; int8 -> int9: あのもやもねLv.11は成功し易くない; int9 & fact8 -> int10: そのみねみなLv.7は出来易いが揮発し易くない; int10 & fact10 -> int11: そのぷにぷわLv.59は受給しない;
$facts$ = fact1: 「すべてのモンスターは小さい」ということは事実だ fact2: このまえまなLv.23は受給する fact3: もししんどいモンスターが醜くないとすればそれは受給しない fact4: もしあのもやもねLv.11が成功し易いということはないとしたらそのみねみなLv.7は出来易いが揮発し易くない fact5: もし仮にそのみねみなLv.7が出来易いがしかしそれが揮発し易くないとすればそのぷにぷわLv.59は受給しない fact6: 小さいモンスターは物寂しくないモンスターで成功し易くない ; $hypothesis$ = 「このまえまなLv.23はしんどいが醜くない」ということは誤りだ ; $proof$ = 
fact3 -> int1: もしもこのまえまなLv.23がしんどいがしかしそれが醜くないとすれば受給するということはない; void -> assump1: 以下のように仮定する。このまえまなLv.23はしんどいけど醜くない; int1 & assump1 -> int2: このまえまなLv.23は受給するということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__