そのまゆまねLv.27は間近くない
fact1: そのぷちゃぷにLv.42は認め難くないがしかし置き易い fact2: 仮にそのぷちゃぷにLv.42が惜しみ無いとすればそのぷちゃぷにLv.42は叱咤激励する fact3: そのぷちゃぷにLv.42は認め難くないけれど間近い fact4: 仮に認め難いモンスターが置き易いとするとそれは惜しみ無い fact5: 「見られ易くないモンスターは揮発し易いしおまけに長たらしい」ということは成り立つ fact6: もしなにがしかのモンスターは認め難くないが置き易いとすればそれは惜しみ無い fact7: もしそのぷちゃぷにLv.42が叱咤激励すればこのまいまくLv.75は揮発し易い fact8: そのぷちゃぷにLv.42は恨めしい fact9: なにがしかのモンスターは揮発し易いなら「叱咤激励するということはないしそれは惜しみ無い」ということは成り立たない
fact6 -> int1: もしそのぷちゃぷにLv.42が認め難くない一方で置き易いならそれは惜しみ無い; int1 & fact1 -> int2: そのぷちゃぷにLv.42は惜しみ無い; int2 & fact2 -> int3: そのぷちゃぷにLv.42は叱咤激励する; int3 & fact7 -> int4: このまいまくLv.75は揮発し易い;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{aa}; int3 & fact7 -> int4: {C}{a};
そのまゆまねLv.27は間近くない
fact11 -> int5: もしも「そのまゆまねLv.27は揮発し易い」ということは確かならば「それは叱咤激励しなくてそれは惜しみ無い」ということは事実と異なる; fact10 -> int6: 仮にそのまゆまねLv.27が見られ易いということはないならばそれは揮発し易いし加えて長たらしい;
$facts$ = fact1: そのぷちゃぷにLv.42は認め難くないがしかし置き易い fact2: 仮にそのぷちゃぷにLv.42が惜しみ無いとすればそのぷちゃぷにLv.42は叱咤激励する fact3: そのぷちゃぷにLv.42は認め難くないけれど間近い fact4: 仮に認め難いモンスターが置き易いとするとそれは惜しみ無い fact5: 「見られ易くないモンスターは揮発し易いしおまけに長たらしい」ということは成り立つ fact6: もしなにがしかのモンスターは認め難くないが置き易いとすればそれは惜しみ無い fact7: もしそのぷちゃぷにLv.42が叱咤激励すればこのまいまくLv.75は揮発し易い fact8: そのぷちゃぷにLv.42は恨めしい fact9: なにがしかのモンスターは揮発し易いなら「叱咤激励するということはないしそれは惜しみ無い」ということは成り立たない ; $hypothesis$ = そのまゆまねLv.27は間近くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__