以下のように仮定する。「あのみちょみのLv.69は愚かしくなくてしかも易しない」ということは事実と異なる
fact1: あのみちょみのLv.69はすりゃ良い fact2: もしもあるモンスターは輝かしならば「それは愚かしくなくてその上それは易しない」ということは偽だ fact3: 「なにがしかのモンスターは愚かしくなくて更に易しない」ということは誤りならそれはすりゃ良くない
fact3 -> int1: もしも「あのみちょみのLv.69は愚かしいということはなくてかつ易しない」ということは嘘であるとしたらあのみちょみのLv.69はすりゃ良いということはない; void -> assump1: 以下のように仮定する。「あのみちょみのLv.69は愚かしくなくてしかも易しない」ということは事実と異なる; int1 & assump1 -> int2: あのみちょみのLv.69はすりゃ良くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「あのみちょみのLv.69は愚かしくなくてしかも易しない」ということは事実と異なる
fact4 -> int4: もし仮にあのみちょみのLv.69は輝かしならば「あのみちょみのLv.69は愚かしくなくて更に易しということはない」ということは間違っている;
$facts$ = fact1: あのみちょみのLv.69はすりゃ良い fact2: もしもあるモンスターは輝かしならば「それは愚かしくなくてその上それは易しない」ということは偽だ fact3: 「なにがしかのモンスターは愚かしくなくて更に易しない」ということは誤りならそれはすりゃ良くない ; $hypothesis$ = 以下のように仮定する。「あのみちょみのLv.69は愚かしくなくてしかも易しない」ということは事実と異なる ; $proof$ = 
fact3 -> int1: もしも「あのみちょみのLv.69は愚かしいということはなくてかつ易しない」ということは嘘であるとしたらあのみちょみのLv.69はすりゃ良いということはない; void -> assump1: 以下のように仮定する。「あのみちょみのLv.69は愚かしくなくてしかも易しない」ということは事実と異なる; int1 & assump1 -> int2: あのみちょみのLv.69はすりゃ良くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__