「このまにゃまなLv.0は性格付けるということはない」ということは真実だ
fact1: そのぴくぴくLv.35が慕わしいということはないとするとこのまにゃまなLv.0は性格付けるしそれはさり気無い fact2: もしもこのまにゃまなLv.0が性格付ければこのまにゃまなLv.0はさり気無い fact3: 慕わしくないモンスターはさり気無くてそれに性格付ける fact4: このまにゃまなLv.0はさり気無くない
void -> assump1: 以下のように仮定する。「このまにゃまなLv.0は性格付ける」ということは確かである; fact2 & assump1 -> int1: このまにゃまなLv.0はさり気無い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
あのみちゃみよLv.39はさり気無い
fact5 -> int3: あのみちゃみよLv.39が慕わしくないとしたらあのみちゃみよLv.39はさり気無くてまた性格付ける;
$facts$ = fact1: そのぴくぴくLv.35が慕わしいということはないとするとこのまにゃまなLv.0は性格付けるしそれはさり気無い fact2: もしもこのまにゃまなLv.0が性格付ければこのまにゃまなLv.0はさり気無い fact3: 慕わしくないモンスターはさり気無くてそれに性格付ける fact4: このまにゃまなLv.0はさり気無くない ; $hypothesis$ = 「このまにゃまなLv.0は性格付けるということはない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このまにゃまなLv.0は性格付ける」ということは確かである; fact2 & assump1 -> int1: このまにゃまなLv.0はさり気無い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__