このぴなぴちゅLv.75は芳しくないかあるいはでっかくない
fact1: 何らかのモンスターは芳しくないとすれば「得られ易いしおまけにそれは許諾しない」ということは間違っている fact2: あのまなまゆLv.96は許諾しない fact3: もし仮にこのぴなぴちゅLv.75は得られ易くないなら「このぴなぴちゅLv.75は芳しいということはないかまたはそれはでっかくないかまたはどちらもだ」ということは誤りである fact4: 仮に脆いということはないモンスターが珍しくないとすればそれは芳しくない fact5: もしこのぴなぴちゅLv.75は得られ易いとしたら「あのまなまゆLv.96は許諾する」ということは確かである
void -> assump1: 以下のように仮定する。このぴなぴちゅLv.75は得られ易い; fact5 & assump1 -> int1: あのまなまゆLv.96は許諾する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴなぴちゅLv.75は得られ易くない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
「このまなまにLv.19はでっかくない」ということは本当である
fact7 -> int4: もし仮にこのまなまにLv.19は芳しくないならば「このまなまにLv.19は得られ易いがしかしそれは許諾しない」ということは偽だ; fact6 -> int5: もしこのまなまにLv.19が脆くないしそれに珍しくないとすればこのまなまにLv.19は芳しくない;
$facts$ = fact1: 何らかのモンスターは芳しくないとすれば「得られ易いしおまけにそれは許諾しない」ということは間違っている fact2: あのまなまゆLv.96は許諾しない fact3: もし仮にこのぴなぴちゅLv.75は得られ易くないなら「このぴなぴちゅLv.75は芳しいということはないかまたはそれはでっかくないかまたはどちらもだ」ということは誤りである fact4: 仮に脆いということはないモンスターが珍しくないとすればそれは芳しくない fact5: もしこのぴなぴちゅLv.75は得られ易いとしたら「あのまなまゆLv.96は許諾する」ということは確かである ; $hypothesis$ = このぴなぴちゅLv.75は芳しくないかあるいはでっかくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴなぴちゅLv.75は得られ易い; fact5 & assump1 -> int1: あのまなまゆLv.96は許諾する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴなぴちゅLv.75は得られ易くない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__