そのぽえぽいLv.47は取り難い
fact1: もしもあのみちゅみやLv.28は疑わしなら「泊まる」ということは成り立つ fact2: もし仮に「なんらかのモンスターは幅広い一方で貧乏臭くない」ということは間違っているなら幅広いということはない fact3: 仮にあのみちゅみやLv.28は幅広くないとしたら「そのぽえぽいLv.47は忍耐強いししかも泊まる」ということは事実でない fact4: もし「なにがしかのモンスターは取り難くてさらに取れ易い」ということは成り立たないとすると取り難くない fact5: そのぽちょぽにょLv.30は取り難い fact6: あのみちゅみやLv.28は忍耐強いし取れ易い fact7: 仮にあのみちゅみやLv.28が取れ易いならば疑わし fact8: もし仮に何らかのモンスターは疑わしないなら「それは取り難いし取れ易い」ということは成り立たない fact9: もしあのみちゅみやLv.28は泊まるなら「そのぽえぽいLv.47は取り難い」ということは事実である
fact6 -> int1: 「あのみちゅみやLv.28は取れ易い」ということは本当である; fact7 & int1 -> int2: あのみちゅみやLv.28は疑わし; int2 & fact1 -> int3: あのみちゅみやLv.28は泊まる; int3 & fact9 -> hypothesis;
fact6 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact9 -> hypothesis;
そのぽえぽいLv.47は取り難いということはない
fact10 -> int4: 「そのぽえぽいLv.47は取り難くて取れ易い」ということは偽だとしたら「そのぽえぽいLv.47は取り難くない」ということは成り立つ; fact12 -> int5: そのぽえぽいLv.47は疑わしないならば「取り難くておまけに取れ易い」ということは偽である; fact13 -> int6: 「あのみちゅみやLv.28は幅広いけど貧乏臭くない」ということは偽だとしたらそれは幅広くない;
$facts$ = fact1: もしもあのみちゅみやLv.28は疑わしなら「泊まる」ということは成り立つ fact2: もし仮に「なんらかのモンスターは幅広い一方で貧乏臭くない」ということは間違っているなら幅広いということはない fact3: 仮にあのみちゅみやLv.28は幅広くないとしたら「そのぽえぽいLv.47は忍耐強いししかも泊まる」ということは事実でない fact4: もし「なにがしかのモンスターは取り難くてさらに取れ易い」ということは成り立たないとすると取り難くない fact5: そのぽちょぽにょLv.30は取り難い fact6: あのみちゅみやLv.28は忍耐強いし取れ易い fact7: 仮にあのみちゅみやLv.28が取れ易いならば疑わし fact8: もし仮に何らかのモンスターは疑わしないなら「それは取り難いし取れ易い」ということは成り立たない fact9: もしあのみちゅみやLv.28は泊まるなら「そのぽえぽいLv.47は取り難い」ということは事実である ; $hypothesis$ = そのぽえぽいLv.47は取り難い ; $proof$ = 
fact6 -> int1: 「あのみちゅみやLv.28は取れ易い」ということは本当である; fact7 & int1 -> int2: あのみちゅみやLv.28は疑わし; int2 & fact1 -> int3: あのみちゅみやLv.28は泊まる; int3 & fact9 -> hypothesis; __PROVED__
fact6 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact9 -> hypothesis; __PROVED__