以下のように仮定する。あのみくみゆLv.42は真っ暗い
fact1: このぷちょぷやLv.76は形容し難くない fact2: あのみくみゆLv.42は移ろい易くない fact3: もしもなんらかのモンスターが招来しないとすれば真っ暗いし移ろい易い fact4: もしあのみくみゆLv.42が真っ暗いならばあのみくみゆLv.42は移ろい易い fact5: 「このぷちょぷやLv.76は形容し難くない」ということは成り立つとしたら「このぷちょぷやLv.76はスポーツマンらしいしそれは人間っぽい」ということは真実である fact6: もしもこのぷちょぷやLv.76がスポーツマンらしいとすればこのぷちょぷやLv.76は紹介致す fact7: もし仮にこのぷちょぷやLv.76が紹介致すとしたらそのぷちゅぷちゅLv.98は卒倒する
void -> assump1: 以下のように仮定する。あのみくみゆLv.42は真っ暗い; fact4 & assump1 -> int1: 「あのみくみゆLv.42は移ろい易い」ということは成り立つ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。あのみくみゆLv.42は真っ暗い
fact8 -> int3: もしもあのみくみゆLv.42が招来しないとするとあのみくみゆLv.42は真っ暗いしさらに移ろい易い; fact9 & fact10 -> int4: 「このぷちょぷやLv.76がスポーツマンらしいしその上人間っぽい」ということは真実だ; int4 -> int5: このぷちょぷやLv.76はスポーツマンらしい; fact11 & int5 -> int6: 「このぷちょぷやLv.76は紹介致す」ということは成り立つ; fact12 & int6 -> int7: そのぷちゅぷちゅLv.98は卒倒する; int7 -> int8: なんらかのモンスターは卒倒する;
$facts$ = fact1: このぷちょぷやLv.76は形容し難くない fact2: あのみくみゆLv.42は移ろい易くない fact3: もしもなんらかのモンスターが招来しないとすれば真っ暗いし移ろい易い fact4: もしあのみくみゆLv.42が真っ暗いならばあのみくみゆLv.42は移ろい易い fact5: 「このぷちょぷやLv.76は形容し難くない」ということは成り立つとしたら「このぷちょぷやLv.76はスポーツマンらしいしそれは人間っぽい」ということは真実である fact6: もしもこのぷちょぷやLv.76がスポーツマンらしいとすればこのぷちょぷやLv.76は紹介致す fact7: もし仮にこのぷちょぷやLv.76が紹介致すとしたらそのぷちゅぷちゅLv.98は卒倒する ; $hypothesis$ = 以下のように仮定する。あのみくみゆLv.42は真っ暗い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみくみゆLv.42は真っ暗い; fact4 & assump1 -> int1: 「あのみくみゆLv.42は移ろい易い」ということは成り立つ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__