あのぽゆぽのLv.42は故無いかまたはそれは思いするかあるいは両方ともだ
fact1: 調べ易くないモンスターはクローズアップするしその上厳めしい fact2: あのものもなLv.86は厳めしいしまた調べ易い fact3: 全てのモンスターは思いしない fact4: もしもあのものもなLv.86が調べ易いとしたらあのぽゆぽのLv.42は故無い
fact2 -> int1: あのものもなLv.86は調べ易い; int1 & fact4 -> int2: あのぽゆぽのLv.42は故無い; int2 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> hypothesis;
あのまよまにゅLv.55はクローズアップするかもしくはそれは故無いかもしくはどちらもだ
fact6 -> int3: あのものもなLv.86は思いしない; fact5 -> int4: 仮にあのまよまにゅLv.55は調べ易くないなら「それはクローズアップするし更にそれは厳めしい」ということは事実と異ならない;
$facts$ = fact1: 調べ易くないモンスターはクローズアップするしその上厳めしい fact2: あのものもなLv.86は厳めしいしまた調べ易い fact3: 全てのモンスターは思いしない fact4: もしもあのものもなLv.86が調べ易いとしたらあのぽゆぽのLv.42は故無い ; $hypothesis$ = あのぽゆぽのLv.42は故無いかまたはそれは思いするかあるいは両方ともだ ; $proof$ = 
fact2 -> int1: あのものもなLv.86は調べ易い; int1 & fact4 -> int2: あのぽゆぽのLv.42は故無い; int2 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__