このみにみにゅLv.8は浅ましない
fact1: 仮になにがしかのモンスターは浅ましかもしくは悪賢くないとすればそれは繋ぎ合わせない fact2: もしもこのみにみにゅLv.8が浅ましとしたらこのぴにゅぴゆLv.40は悪賢い fact3: もしこのぴにゅぴゆLv.40が悪賢いとすればあのぴにゅぴいLv.0は繋ぎ合わせる fact4: あのぴにゅぴいLv.0は繋ぎ合わせない
void -> assump1: 以下のように仮定する。このみにみにゅLv.8は浅まし; fact2 & assump1 -> int1: このぴにゅぴゆLv.40は悪賢い; int1 & fact3 -> int2: あのぴにゅぴいLv.0は繋ぎ合わせる; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのもゆもちょLv.42は繋ぎ合わせない
fact5 -> int4: そのもゆもちょLv.42が浅ましかもしくはそれが悪賢くないかあるいは両方ならばそのもゆもちょLv.42は繋ぎ合わせない;
$facts$ = fact1: 仮になにがしかのモンスターは浅ましかもしくは悪賢くないとすればそれは繋ぎ合わせない fact2: もしもこのみにみにゅLv.8が浅ましとしたらこのぴにゅぴゆLv.40は悪賢い fact3: もしこのぴにゅぴゆLv.40が悪賢いとすればあのぴにゅぴいLv.0は繋ぎ合わせる fact4: あのぴにゅぴいLv.0は繋ぎ合わせない ; $hypothesis$ = このみにみにゅLv.8は浅ましない ; $proof$ = 
void -> assump1: 以下のように仮定する。このみにみにゅLv.8は浅まし; fact2 & assump1 -> int1: このぴにゅぴゆLv.40は悪賢い; int1 & fact3 -> int2: あのぴにゅぴいLv.0は繋ぎ合わせる; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__