そのぴゆぴわLv.37は思い出深くて買い易い
fact1: 入り易くないモンスターは思い出深いししかも買い易い fact2: 「そのぴゆぴわLv.37は買い易い」ということは真実である fact3: そのぴゆぴわLv.37は思い出深い fact4: もしもそのぴゆぴわLv.37が入り易くないし慌ただしくないならこのみちょみのLv.99は入り易くない fact5: このぽにゃぽちょLv.59は思い出深くておまけにそれは馬鹿でかい fact6: くどくないモンスターは入り易くなくて慌ただしくない
fact3 -> int1: そのぴゆぴわLv.37は思い出深い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このみちょみのLv.99は買い易い
fact7 -> int2: 「このみちょみのLv.99が入り易くないとするとこのみちょみのLv.99は思い出深くてまた買い易い」ということは事実である; fact9 -> int3: 仮にそのぴゆぴわLv.37がくどくないとすれば入り易くないしその上慌ただしいということはない;
$facts$ = fact1: 入り易くないモンスターは思い出深いししかも買い易い fact2: 「そのぴゆぴわLv.37は買い易い」ということは真実である fact3: そのぴゆぴわLv.37は思い出深い fact4: もしもそのぴゆぴわLv.37が入り易くないし慌ただしくないならこのみちょみのLv.99は入り易くない fact5: このぽにゃぽちょLv.59は思い出深くておまけにそれは馬鹿でかい fact6: くどくないモンスターは入り易くなくて慌ただしくない ; $hypothesis$ = そのぴゆぴわLv.37は思い出深くて買い易い ; $proof$ = 
fact3 -> int1: そのぴゆぴわLv.37は思い出深い; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__