このみちょみやLv.39は参照下さる
fact1: もしもこのみちょみやLv.39が歩き易いならこのみちょみやLv.39は参照下さる fact2: 仮に「あのぴくぴのLv.44はぱくぱくする」ということは本当であるならば恐れ多い fact3: もしあのぴくぴのLv.44が恐れ多いとするとこのみちょみやLv.39は歩き易い fact4: あのぴくぴのLv.44はぱくぱくする fact5: 「もし仮になにがしかのモンスターが感じ取るとするとそれは味わい深い」ということは成り立つ
fact2 & fact4 -> int1: あのぴくぴのLv.44は恐れ多い; int1 & fact3 -> int2: このみちょみやLv.39は歩き易い; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
もしこのぷゆぷのLv.98が感じ取れば味わい深い
fact6 -> hypothesis;
$facts$ = fact1: もしもこのみちょみやLv.39が歩き易いならこのみちょみやLv.39は参照下さる fact2: 仮に「あのぴくぴのLv.44はぱくぱくする」ということは本当であるならば恐れ多い fact3: もしあのぴくぴのLv.44が恐れ多いとするとこのみちょみやLv.39は歩き易い fact4: あのぴくぴのLv.44はぱくぱくする fact5: 「もし仮になにがしかのモンスターが感じ取るとするとそれは味わい深い」ということは成り立つ ; $hypothesis$ = このみちょみやLv.39は参照下さる ; $proof$ = 
fact2 & fact4 -> int1: あのぴくぴのLv.44は恐れ多い; int1 & fact3 -> int2: このみちょみやLv.39は歩き易い; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__