「あのまちょまにゅLv.10は探し易くない」ということは成り立つ
fact1: すべてのモンスターは御安くてかつそれは買い易い fact2: あのまちょまにゅLv.10は面映ゆくない fact3: 全てのモンスターは御安い fact4: すべてのモンスターがたどたどしいしその上腹立たしい fact5: あのまちょまにゅLv.10は丸っこくない fact6: 買い易くないモンスターは御安いし探し易い
fact1 -> int1: あのまちょまにゅLv.10は御安くて買い易い; int1 -> int2: あのまちょまにゅLv.10は買い易い; int2 & fact5 -> int3: 「あのまちょまにゅLv.10は買い易い一方でそれは丸っこくない」ということは確かである;
fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact5 -> int3: ({B}{a} & ¬{C}{a});
あのまちょまにゅLv.10は探し易い
fact7 -> int4: 仮にあのまちょまにゅLv.10が買い易くないとすればあのまちょまにゅLv.10は御安いし探し易い;
$facts$ = fact1: すべてのモンスターは御安くてかつそれは買い易い fact2: あのまちょまにゅLv.10は面映ゆくない fact3: 全てのモンスターは御安い fact4: すべてのモンスターがたどたどしいしその上腹立たしい fact5: あのまちょまにゅLv.10は丸っこくない fact6: 買い易くないモンスターは御安いし探し易い ; $hypothesis$ = 「あのまちょまにゅLv.10は探し易くない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__