あのもちゅもねLv.51は決め難い
fact1: このものもにゅLv.5は選択し易いし消化吸収され易い fact2: もしこのものもにゅLv.5は消化吸収され易いならば「イメージし易い」ということは事実である fact3: 仮にこのものもにゅLv.5がイメージし易いならばあのもちゅもねLv.51は決め難い fact4: 消化吸収され易いということはないモンスターは決め難くないし選択し易くない fact5: もし「何らかのモンスターは割れ易いということはないけれどイメージし易い」ということは誤りだとするとそれは通じ易い fact6: もし仮にこのものもにゅLv.5が通じ易くないがしかし消化吸収され易いとするとあのもちゅもねLv.51は消化吸収され易くない fact7: もし仮にこのぷにゅぷちょLv.7は仕方無しとすると「割れ易くないしそれはイメージし易い」ということは誤りである
fact1 -> int1: このものもにゅLv.5は消化吸収され易い; int1 & fact2 -> int2: このものもにゅLv.5はイメージし易い; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
あのもちゅもねLv.51は決め難いということはない
fact10 -> int3: あのもちゅもねLv.51が消化吸収され易くないならばそれは決め難くないしさらに選択し易くない; fact9 -> int4: 仮に「このぷにゅぷちょLv.7は割れ易くないがしかしイメージし易い」ということは成り立たないとしたらこのぷにゅぷちょLv.7は通じ易い;
$facts$ = fact1: このものもにゅLv.5は選択し易いし消化吸収され易い fact2: もしこのものもにゅLv.5は消化吸収され易いならば「イメージし易い」ということは事実である fact3: 仮にこのものもにゅLv.5がイメージし易いならばあのもちゅもねLv.51は決め難い fact4: 消化吸収され易いということはないモンスターは決め難くないし選択し易くない fact5: もし「何らかのモンスターは割れ易いということはないけれどイメージし易い」ということは誤りだとするとそれは通じ易い fact6: もし仮にこのものもにゅLv.5が通じ易くないがしかし消化吸収され易いとするとあのもちゅもねLv.51は消化吸収され易くない fact7: もし仮にこのぷにゅぷちょLv.7は仕方無しとすると「割れ易くないしそれはイメージし易い」ということは誤りである ; $hypothesis$ = あのもちゅもねLv.51は決め難い ; $proof$ = 
fact1 -> int1: このものもにゅLv.5は消化吸収され易い; int1 & fact2 -> int2: このものもにゅLv.5はイメージし易い; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__