あのまねまにょLv.64は惜しみ無くない
fact1: あのまねまにょLv.64はめんど臭い fact2: 仮にあのまねまにょLv.64が御負けするしめんど臭いとしたらあのまねまにょLv.64は成り易くない fact3: 「あのまねまにょLv.64はめんど臭いということはないけれどそれは御負けする」ということは成り立たないならばあのぷちゃぷねLv.65はめんど臭いということはない fact4: 「あのまねまにょLv.64が成り易くないがそれが物色し始めればあのまねまにょLv.64は惜しみ無い」ということは本当だ fact5: 物らしくないモンスターは物色し始めるし惜しみ無い fact6: もし仮にあのまねまにょLv.64が広ーいならばあのまねまにょLv.64は御負けする fact7: あのまねまにょLv.64は物色し始める fact8: 仮にあのみねみちょLv.47が惜しみ無くないとするとあのまねまにょLv.64は惜しみ無くない fact9: もしもあのみねみちょLv.47は広ーくないならば「あのまねまにょLv.64はめんど臭くないけど御負けする」ということは成り立たない
あのぷちゃぷねLv.65はめんど臭くない
fact12 -> int1: もしもあのみねみちょLv.47が物らしくないとするとそれは物色し始めるしまたそれは惜しみ無い;
$facts$ = fact1: あのまねまにょLv.64はめんど臭い fact2: 仮にあのまねまにょLv.64が御負けするしめんど臭いとしたらあのまねまにょLv.64は成り易くない fact3: 「あのまねまにょLv.64はめんど臭いということはないけれどそれは御負けする」ということは成り立たないならばあのぷちゃぷねLv.65はめんど臭いということはない fact4: 「あのまねまにょLv.64が成り易くないがそれが物色し始めればあのまねまにょLv.64は惜しみ無い」ということは本当だ fact5: 物らしくないモンスターは物色し始めるし惜しみ無い fact6: もし仮にあのまねまにょLv.64が広ーいならばあのまねまにょLv.64は御負けする fact7: あのまねまにょLv.64は物色し始める fact8: 仮にあのみねみちょLv.47が惜しみ無くないとするとあのまねまにょLv.64は惜しみ無くない fact9: もしもあのみねみちょLv.47は広ーくないならば「あのまねまにょLv.64はめんど臭くないけど御負けする」ということは成り立たない ; $hypothesis$ = あのまねまにょLv.64は惜しみ無くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__