「あのみちゃみにゅLv.17は診断する」ということは成り立つ
fact1: もし仮にとあるモンスターは生き易くないとすると「あのまよまにゃLv.2は出入りし易くないが面談する」ということは成り立たない fact2: もしなにがしかのモンスターが欠勤するなら診断するということはない一方で生き易い fact3: もしもあるモンスターが面談しないとすればあのまよまにゃLv.2は出し難いし面談する fact4: 「面談しない」モンスターはいる fact5: もし仮にあのまよまにゃLv.2が出し難いならばあのみちゃみにゅLv.17は出入りし易い fact6: このぷにぷやLv.98は生き易くない fact7: あのみちゃみにゅLv.17が出入りし易いならば診断する fact8: 「出し難いモンスターは面談する」ということは成り立つ
fact3 & fact4 -> int1: あのまよまにゃLv.2は出し難いしまた面談する; int1 -> int2: あのまよまにゃLv.2は出し難い; int2 & fact5 -> int3: あのみちゃみにゅLv.17は出入りし易い; int3 & fact7 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact7 -> hypothesis;
このみわみにょLv.58は面談する
fact10 -> int4: もしこのみわみにょLv.58が出し難いならば面談する; fact9 -> int5: もし仮にあのみちゃみにゅLv.17が欠勤すれば診断しないが生き易い;
$facts$ = fact1: もし仮にとあるモンスターは生き易くないとすると「あのまよまにゃLv.2は出入りし易くないが面談する」ということは成り立たない fact2: もしなにがしかのモンスターが欠勤するなら診断するということはない一方で生き易い fact3: もしもあるモンスターが面談しないとすればあのまよまにゃLv.2は出し難いし面談する fact4: 「面談しない」モンスターはいる fact5: もし仮にあのまよまにゃLv.2が出し難いならばあのみちゃみにゅLv.17は出入りし易い fact6: このぷにぷやLv.98は生き易くない fact7: あのみちゃみにゅLv.17が出入りし易いならば診断する fact8: 「出し難いモンスターは面談する」ということは成り立つ ; $hypothesis$ = 「あのみちゃみにゅLv.17は診断する」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: あのまよまにゃLv.2は出し難いしまた面談する; int1 -> int2: あのまよまにゃLv.2は出し難い; int2 & fact5 -> int3: あのみちゃみにゅLv.17は出入りし易い; int3 & fact7 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact7 -> hypothesis; __PROVED__