「このぷくぷなLv.27は込める」ということは成り立つ
fact1: もし仮にこのぷくぷなLv.27は思しならば「それは怖い」ということは確かだ fact2: 仮にとあるモンスターが観ずれば止む無くないしその上灯し難くない fact3: 止む無しモンスターは込める fact4: このぷくぷなLv.27は止む無し fact5: もしあるモンスターは止む無くなくてその上灯し難くないとすればそれは込めるということはない fact6: 「なにがしかのモンスターが成り出せば観ずる」ということは事実だ fact7: このまわまなLv.74は込める
fact3 -> int1: もしもこのぷくぷなLv.27が止む無しならば込める; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact4 -> hypothesis;
このぷくぷなLv.27は込めない
fact9 -> int2: もしもこのぷくぷなLv.27が止む無くなくてそれにそれが灯し難くないならばこのぷくぷなLv.27は込めない; fact10 -> int3: もしこのぷくぷなLv.27が観ずるとするとそれは止む無くないモンスターであり灯し難くない; fact8 -> int4: もし仮に「このぷくぷなLv.27は成り出す」ということは事実と異ならないとしたら「観ずる」ということは真実だ;
$facts$ = fact1: もし仮にこのぷくぷなLv.27は思しならば「それは怖い」ということは確かだ fact2: 仮にとあるモンスターが観ずれば止む無くないしその上灯し難くない fact3: 止む無しモンスターは込める fact4: このぷくぷなLv.27は止む無し fact5: もしあるモンスターは止む無くなくてその上灯し難くないとすればそれは込めるということはない fact6: 「なにがしかのモンスターが成り出せば観ずる」ということは事実だ fact7: このまわまなLv.74は込める ; $hypothesis$ = 「このぷくぷなLv.27は込める」ということは成り立つ ; $proof$ = 
fact3 -> int1: もしもこのぷくぷなLv.27が止む無しならば込める; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact4 -> hypothesis; __PROVED__