そのみにょみえLv.92は誤解され易くない
fact1: そのみにょみえLv.92は成り果てる fact2: 仄白いということはないモンスターは小さいしその上誤解され易い fact3: そのみにょみえLv.92は小さいし仄白い fact4: あのもゆもいLv.86はし辛くてしても良い fact5: そのみにょみえLv.92は小さい fact6: もしも小さくないモンスターが仄白いなら成り果てる fact7: もし仮にそのみにょみえLv.92は成り果てるしおまけに仄白いならばそれは誤解され易くない
fact3 -> int1: そのみにょみえLv.92は仄白い; int1 & fact1 -> int2: そのみにょみえLv.92は成り果てるし加えてそれは仄白い; int2 & fact7 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact7 -> hypothesis;
そのみにょみえLv.92は誤解され易い
fact8 -> int3: もしそのみにょみえLv.92が仄白くないとすれば小さいし誤解され易い;
$facts$ = fact1: そのみにょみえLv.92は成り果てる fact2: 仄白いということはないモンスターは小さいしその上誤解され易い fact3: そのみにょみえLv.92は小さいし仄白い fact4: あのもゆもいLv.86はし辛くてしても良い fact5: そのみにょみえLv.92は小さい fact6: もしも小さくないモンスターが仄白いなら成り果てる fact7: もし仮にそのみにょみえLv.92は成り果てるしおまけに仄白いならばそれは誤解され易くない ; $hypothesis$ = そのみにょみえLv.92は誤解され易くない ; $proof$ = 
fact3 -> int1: そのみにょみえLv.92は仄白い; int1 & fact1 -> int2: そのみにょみえLv.92は成り果てるし加えてそれは仄白い; int2 & fact7 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact7 -> hypothesis; __PROVED__