そのぴにぴねLv.60は滞り易い一方で話し難くない
fact1: なにがしかのモンスターは面白くないとすれば「話し難くないしかつそれは怒りっぽくない」ということは成り立つということはない fact2: もし仮に「眩しい」モンスターはいるとしたら「そのぴにぴねLv.60は滞り易いが話し難いということはない」ということは成り立たない fact3: 敵中深いモンスターは取っ付き難い fact4: 仮にこのもにゅものLv.30が話し難くないとするとそのぴにぴねLv.60は眩しくてかつ滞り易い fact5: そのまちゃまにょLv.26が敵中深いとしたらそのまちゃまにょLv.26は眩しい fact6: すべてのモンスターは面白くない fact7: 眩しいモンスターは敵中深い fact8: 全てのモンスターは敵中深い
fact8 -> int1: そのまちゃまにょLv.26は敵中深い; int1 & fact5 -> int2: そのまちゃまにょLv.26は眩しい; int2 -> int3: あるモンスターは眩しい; int3 & fact2 -> hypothesis;
fact8 -> int1: {A}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 -> int3: (Ex): {B}x; int3 & fact2 -> hypothesis;
「取っ付き難い」モンスターはいる
fact13 -> int4: もしも「そのぴにぴねLv.60は眩しい」ということは嘘でないなら敵中深い; fact9 -> int5: もしあのまゆまやLv.3は面白くないならば「あのまゆまやLv.3は話し難くなくて更にそれは怒りっぽくない」ということは成り立たない; fact10 -> int6: あのまゆまやLv.3は面白くない; int5 & int6 -> int7: 「あのまゆまやLv.3は話し難くないしかつそれは怒りっぽいということはない」ということは成り立たない; int7 -> int8: それは話し難くないし怒りっぽくないというモンスターはない; int8 -> int9: 「そのみよみにゅLv.18は話し難くなくてかつ怒りっぽくない」ということは事実と異なる; fact11 -> int10: もしそのぴにぴねLv.60が敵中深いとすると取っ付き難い;
$facts$ = fact1: なにがしかのモンスターは面白くないとすれば「話し難くないしかつそれは怒りっぽくない」ということは成り立つということはない fact2: もし仮に「眩しい」モンスターはいるとしたら「そのぴにぴねLv.60は滞り易いが話し難いということはない」ということは成り立たない fact3: 敵中深いモンスターは取っ付き難い fact4: 仮にこのもにゅものLv.30が話し難くないとするとそのぴにぴねLv.60は眩しくてかつ滞り易い fact5: そのまちゃまにょLv.26が敵中深いとしたらそのまちゃまにょLv.26は眩しい fact6: すべてのモンスターは面白くない fact7: 眩しいモンスターは敵中深い fact8: 全てのモンスターは敵中深い ; $hypothesis$ = そのぴにぴねLv.60は滞り易い一方で話し難くない ; $proof$ = 
fact8 -> int1: そのまちゃまにょLv.26は敵中深い; int1 & fact5 -> int2: そのまちゃまにょLv.26は眩しい; int2 -> int3: あるモンスターは眩しい; int3 & fact2 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 -> int3: (Ex): {B}x; int3 & fact2 -> hypothesis; __DISPROVED__