あのぴにゃぴゆLv.33は広ーいということはない
fact1: 「このぴいぴのLv.18は御飲みに成る」ということは成り立つ fact2: 広ーいモンスターは目覚ましくないか御飲みに成るかもしくは両方である fact3: もしも何らかのモンスターがきったないとしたら広ーい fact4: もしこのまわまにゅLv.51は広ーくないが御飲みに成るとすると「このぴよぴくLv.83は御飲みに成らない」ということは嘘でない fact5: 「あのぴにゃぴゆLv.33は目覚ましくないかもしくは御飲みに成るかあるいは両方ともだ」ということは誤っている
fact2 -> int1: 仮にあのぴにゃぴゆLv.33が広ーいとするとあのぴにゃぴゆLv.33は目覚ましくないかまたは御飲みに成るかあるいは両方である; void -> assump1: 以下のように仮定する。あのぴにゃぴゆLv.33は広ーい; int1 & assump1 -> int2: あのぴにゃぴゆLv.33は目覚ましくないかまたは御飲みに成る; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
このぴよぴくLv.83は御飲みに成らない
$facts$ = fact1: 「このぴいぴのLv.18は御飲みに成る」ということは成り立つ fact2: 広ーいモンスターは目覚ましくないか御飲みに成るかもしくは両方である fact3: もしも何らかのモンスターがきったないとしたら広ーい fact4: もしこのまわまにゅLv.51は広ーくないが御飲みに成るとすると「このぴよぴくLv.83は御飲みに成らない」ということは嘘でない fact5: 「あのぴにゃぴゆLv.33は目覚ましくないかもしくは御飲みに成るかあるいは両方ともだ」ということは誤っている ; $hypothesis$ = あのぴにゃぴゆLv.33は広ーいということはない ; $proof$ = 
fact2 -> int1: 仮にあのぴにゃぴゆLv.33が広ーいとするとあのぴにゃぴゆLv.33は目覚ましくないかまたは御飲みに成るかあるいは両方である; void -> assump1: 以下のように仮定する。あのぴにゃぴゆLv.33は広ーい; int1 & assump1 -> int2: あのぴにゃぴゆLv.33は目覚ましくないかまたは御飲みに成る; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__