あのみちゃみやLv.76は危なっかしくない
fact1: あのみちゃみやLv.76は心憎い fact2: もし「なにがしかのモンスターが手堅いしその上それは危なっかしい」ということは偽だとすると危なっかしくない fact3: もしもあのみちゃみやLv.76が心憎いとしたらあのみちゃみやLv.76は危なっかしい fact4: あのぴえぴにゃLv.26は危なっかしい fact5: あのぽねぽちゅLv.90は心憎い fact6: あのみちゃみやLv.76は恵み深い fact7: もし「あのみちゃみやLv.76は取り出し易い」ということは確かであるとすると「それは涙脆い」ということは本当だ
fact1 -> int1: あのみちゃみやLv.76は心憎い; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
あのみちゃみやLv.76は危なっかしくない
fact8 -> int2: もし仮に「あのみちゃみやLv.76は手堅くて危なっかしい」ということは成り立たないならばあのみちゃみやLv.76は危なっかしくない;
$facts$ = fact1: あのみちゃみやLv.76は心憎い fact2: もし「なにがしかのモンスターが手堅いしその上それは危なっかしい」ということは偽だとすると危なっかしくない fact3: もしもあのみちゃみやLv.76が心憎いとしたらあのみちゃみやLv.76は危なっかしい fact4: あのぴえぴにゃLv.26は危なっかしい fact5: あのぽねぽちゅLv.90は心憎い fact6: あのみちゃみやLv.76は恵み深い fact7: もし「あのみちゃみやLv.76は取り出し易い」ということは確かであるとすると「それは涙脆い」ということは本当だ ; $hypothesis$ = あのみちゃみやLv.76は危なっかしくない ; $proof$ = 
fact1 -> int1: あのみちゃみやLv.76は心憎い; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__