このもいもねLv.64は知り難くない
fact1: 油っぽいモンスターは受け易い fact2: もし仮にそのもちゃもにょLv.81が知り難くないとすればそのもちゃもにょLv.81は受け易いか引っ掻かないかまたはどちらもである fact3: そのぴちゅぴいLv.55が貧しいとするとそのぴちゅぴいLv.55は荒立てないかそれは軽々しくないかもしくは両方ともだ fact4: そのもちゃもにょLv.81は油っぽい fact5: 仮に何らかのモンスターが荒立てるということはないならばそれは引っ掻かないし更にそれは軽くない fact6: 受け易いモンスターは油っぽい fact7: 仮にそのもちゃもにょLv.81が引っ掻かないししかも軽くないならこのもいもねLv.64は受け易いということはない fact8: そのもちゃもにょLv.81は引っ掻く
fact1 -> int1: もしもそのもちゃもにょLv.81が油っぽいとしたらそのもちゃもにょLv.81は受け易い; int1 & fact4 -> int2: そのもちゃもにょLv.81は受け易い; int2 & fact8 -> int3: そのもちゃもにょLv.81は受け易くて更に引っ掻く;
fact1 -> int1: {A}{a} -> {B}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact8 -> int3: ({B}{a} & {C}{a});
「このもいもねLv.64は油っぽい」ということは事実だ
fact9 -> int4: もしもこのもいもねLv.64が受け易いとしたらそれは油っぽい;
$facts$ = fact1: 油っぽいモンスターは受け易い fact2: もし仮にそのもちゃもにょLv.81が知り難くないとすればそのもちゃもにょLv.81は受け易いか引っ掻かないかまたはどちらもである fact3: そのぴちゅぴいLv.55が貧しいとするとそのぴちゅぴいLv.55は荒立てないかそれは軽々しくないかもしくは両方ともだ fact4: そのもちゃもにょLv.81は油っぽい fact5: 仮に何らかのモンスターが荒立てるということはないならばそれは引っ掻かないし更にそれは軽くない fact6: 受け易いモンスターは油っぽい fact7: 仮にそのもちゃもにょLv.81が引っ掻かないししかも軽くないならこのもいもねLv.64は受け易いということはない fact8: そのもちゃもにょLv.81は引っ掻く ; $hypothesis$ = このもいもねLv.64は知り難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__