そのもなものLv.7は悲し
fact1: このぽにょぽねLv.59が慈悲深いとしたらそのもなものLv.7は悲し fact2: もしも「何らかのモンスターは傷付き易くなくてまた変装するということはない」ということは成り立たないならばそれは誘発し易い fact3: 「このぽにょぽねLv.59は傷付き易いということはない一方で変装する」ということは成り立たない fact4: 仮になんらかのモンスターが変装するなら誘発し易い fact5: もしも「このぽにょぽねLv.59は変装しないし好ましくない」ということは成り立つということはないとすれば苦い fact6: 「このぽにょぽねLv.59は傷付き易くないし変装しない」ということは誤りだ fact7: もしこのぽにょぽねLv.59は種蒔きすればこのぽにょぽねLv.59は慈悲深い fact8: もしも「このぽにょぽねLv.59は変装する」ということは事実であるとしたら「それは誘発し易い」ということは正しい fact9: もし仮に「とあるモンスターは変装しないしかつそれは種蒔きしない」ということは間違っているとすれば傷付き易い fact10: もしもこのぽにょぽねLv.59が誘発し易いならばこのぽにょぽねLv.59は種蒔きする
fact2 -> int1: もし仮に「このぽにょぽねLv.59は傷付き易くなくてそれは変装しない」ということは成り立たないとするとそれは誘発し易い; int1 & fact6 -> int2: このぽにょぽねLv.59は誘発し易い; int2 & fact10 -> int3: このぽにょぽねLv.59は種蒔きする; int3 & fact7 -> int4: このぽにょぽねLv.59は慈悲深い; int4 & fact1 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact10 -> int3: {A}{aa}; int3 & fact7 -> int4: {C}{aa}; int4 & fact1 -> hypothesis;
$facts$ = fact1: このぽにょぽねLv.59が慈悲深いとしたらそのもなものLv.7は悲し fact2: もしも「何らかのモンスターは傷付き易くなくてまた変装するということはない」ということは成り立たないならばそれは誘発し易い fact3: 「このぽにょぽねLv.59は傷付き易いということはない一方で変装する」ということは成り立たない fact4: 仮になんらかのモンスターが変装するなら誘発し易い fact5: もしも「このぽにょぽねLv.59は変装しないし好ましくない」ということは成り立つということはないとすれば苦い fact6: 「このぽにょぽねLv.59は傷付き易くないし変装しない」ということは誤りだ fact7: もしこのぽにょぽねLv.59は種蒔きすればこのぽにょぽねLv.59は慈悲深い fact8: もしも「このぽにょぽねLv.59は変装する」ということは事実であるとしたら「それは誘発し易い」ということは正しい fact9: もし仮に「とあるモンスターは変装しないしかつそれは種蒔きしない」ということは間違っているとすれば傷付き易い fact10: もしもこのぽにょぽねLv.59が誘発し易いならばこのぽにょぽねLv.59は種蒔きする ; $hypothesis$ = そのもなものLv.7は悲し ; $proof$ = 
fact2 -> int1: もし仮に「このぽにょぽねLv.59は傷付き易くなくてそれは変装しない」ということは成り立たないとするとそれは誘発し易い; int1 & fact6 -> int2: このぽにょぽねLv.59は誘発し易い; int2 & fact10 -> int3: このぽにょぽねLv.59は種蒔きする; int3 & fact7 -> int4: このぽにょぽねLv.59は慈悲深い; int4 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact10 -> int3: {A}{aa}; int3 & fact7 -> int4: {C}{aa}; int4 & fact1 -> hypothesis; __PROVED__