そのまやまゆLv.13は早くない
fact1: もし「そのまやまゆLv.13は早い」ということは確かであるとするとこのまにゃまねLv.46は行き易い fact2: 何らかのモンスターは地中深いとすると「それは割れ難くないし御断らない」ということは成り立たない fact3: 仮にこのまにゃまねLv.46が行き易いとするとこのぷえぷいLv.65は割れ難い fact4: もしこのまにゃまねLv.46は早いとすれば「そのまやまゆLv.13は行き易い」ということは本当だ fact5: もしもこのぷえぷいLv.65が早いならこのまにゃまねLv.46は早い fact6: 地中深くないモンスターは早いしかつ割れ難い fact7: このまにゃまねLv.46は割れ難いということはない fact8: このぷえぷいLv.65は割れ難くない
void -> assump1: 以下のように仮定する。そのまやまゆLv.13は早い; fact1 & assump1 -> int1: このまにゃまねLv.46は行き易い; int1 & fact3 -> int2: このぷえぷいLv.65は割れ難い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのまやまゆLv.13は早い
fact9 -> int4: このぷえぷいLv.65は地中深いとしたら「「このぷえぷいLv.65は割れ難いということはないし更に御断らない」ということは真実である」ということは嘘だ;
$facts$ = fact1: もし「そのまやまゆLv.13は早い」ということは確かであるとするとこのまにゃまねLv.46は行き易い fact2: 何らかのモンスターは地中深いとすると「それは割れ難くないし御断らない」ということは成り立たない fact3: 仮にこのまにゃまねLv.46が行き易いとするとこのぷえぷいLv.65は割れ難い fact4: もしこのまにゃまねLv.46は早いとすれば「そのまやまゆLv.13は行き易い」ということは本当だ fact5: もしもこのぷえぷいLv.65が早いならこのまにゃまねLv.46は早い fact6: 地中深くないモンスターは早いしかつ割れ難い fact7: このまにゃまねLv.46は割れ難いということはない fact8: このぷえぷいLv.65は割れ難くない ; $hypothesis$ = そのまやまゆLv.13は早くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまやまゆLv.13は早い; fact1 & assump1 -> int1: このまにゃまねLv.46は行き易い; int1 & fact3 -> int2: このぷえぷいLv.65は割れ難い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__