あのみにゅみねLv.84は弱くない
fact1: 馴れ馴れしくないモンスターは青白くないし加えて丸くない fact2: あのみにゅみねLv.84はおっそろし fact3: もしあのみにゅみねLv.84が青白いなら弱い fact4: そのまえまにゃLv.95は連鎖しなくてしかも入り易くない fact5: もしもあるモンスターが丸くないとすると弱くなくてそれにそれはおっそろし fact6: もし仮にあのみにゅみねLv.84が丸いとすればあのみにゅみねLv.84は青白い fact7: 青白いモンスターは惜しい fact8: あのみにゅみねLv.84はおっそろしし丸い
fact8 -> int1: あのみにゅみねLv.84は丸い; int1 & fact6 -> int2: あのみにゅみねLv.84は青白い; int2 & fact3 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
仮にあのまくまにゃLv.23が青白いとするとあのまくまにゃLv.23は惜しい
fact9 -> hypothesis;
$facts$ = fact1: 馴れ馴れしくないモンスターは青白くないし加えて丸くない fact2: あのみにゅみねLv.84はおっそろし fact3: もしあのみにゅみねLv.84が青白いなら弱い fact4: そのまえまにゃLv.95は連鎖しなくてしかも入り易くない fact5: もしもあるモンスターが丸くないとすると弱くなくてそれにそれはおっそろし fact6: もし仮にあのみにゅみねLv.84が丸いとすればあのみにゅみねLv.84は青白い fact7: 青白いモンスターは惜しい fact8: あのみにゅみねLv.84はおっそろしし丸い ; $hypothesis$ = あのみにゅみねLv.84は弱くない ; $proof$ = 
fact8 -> int1: あのみにゅみねLv.84は丸い; int1 & fact6 -> int2: あのみにゅみねLv.84は青白い; int2 & fact3 -> hypothesis; __DISPROVED__
fact8 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__