あのぽちゅぽにゅLv.17は発揮し易い
fact1: 「あのぴわぴにょLv.63は近しないけどそれは探し易い」ということは本当であるとするとあのぴわぴにょLv.63はむさくるしい fact2: このみくみちゅLv.36は発揮し易くない fact3: もしあのぴわぴにょLv.63がイメージし易いならあのぽちゅぽにゅLv.17は寝かせる fact4: もし仮にあのぴわぴにょLv.63がむさくるしいならばあのぴわぴにょLv.63はイメージし易い fact5: もしあのぽちゅぽにゅLv.17が区別し易いとしたらあのぽちゅぽにゅLv.17は発揮し易い fact6: あのぽちゅぽにゅLv.17は寝かせるとしたら「それは区別し易い」ということは本当である fact7: 「あのぴわぴにょLv.63は近しないがしかし探し易い」ということは事実である fact8: もしも何らかのモンスターが寝かせないとするとそれはイメージし易いしむさくるしい
fact1 & fact7 -> int1: あのぴわぴにょLv.63はむさくるしい; int1 & fact4 -> int2: あのぴわぴにょLv.63はイメージし易い; int2 & fact3 -> int3: あのぽちゅぽにゅLv.17は寝かせる; int3 & fact6 -> int4: あのぽちゅぽにゅLv.17は区別し易い; int4 & fact5 -> hypothesis;
fact1 & fact7 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact6 -> int4: {D}{b}; int4 & fact5 -> hypothesis;
このみくみちゅLv.36はむさくるしい
fact9 -> int5: このみくみちゅLv.36が寝かせないとすればイメージし易いしむさくるしい;
$facts$ = fact1: 「あのぴわぴにょLv.63は近しないけどそれは探し易い」ということは本当であるとするとあのぴわぴにょLv.63はむさくるしい fact2: このみくみちゅLv.36は発揮し易くない fact3: もしあのぴわぴにょLv.63がイメージし易いならあのぽちゅぽにゅLv.17は寝かせる fact4: もし仮にあのぴわぴにょLv.63がむさくるしいならばあのぴわぴにょLv.63はイメージし易い fact5: もしあのぽちゅぽにゅLv.17が区別し易いとしたらあのぽちゅぽにゅLv.17は発揮し易い fact6: あのぽちゅぽにゅLv.17は寝かせるとしたら「それは区別し易い」ということは本当である fact7: 「あのぴわぴにょLv.63は近しないがしかし探し易い」ということは事実である fact8: もしも何らかのモンスターが寝かせないとするとそれはイメージし易いしむさくるしい ; $hypothesis$ = あのぽちゅぽにゅLv.17は発揮し易い ; $proof$ = 
fact1 & fact7 -> int1: あのぴわぴにょLv.63はむさくるしい; int1 & fact4 -> int2: あのぴわぴにょLv.63はイメージし易い; int2 & fact3 -> int3: あのぽちゅぽにゅLv.17は寝かせる; int3 & fact6 -> int4: あのぽちゅぽにゅLv.17は区別し易い; int4 & fact5 -> hypothesis; __PROVED__
fact1 & fact7 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact6 -> int4: {D}{b}; int4 & fact5 -> hypothesis; __PROVED__