この作用発現は主立たない
fact1: 仮にあるものが甘ーいが反対運動でないとしたらこの作用発現は主立つ fact2: 御し易いものは反対運動でない fact3: この大宝・養老伝領は甘ーい fact4: 何らかのものが甘ーいけれど反対運動でないならこの大宝・養老伝領は主立つ fact5: 「サンプリングしない」ものはある fact6: この大宝・養老伝領は主立つ fact7: この作用発現は反対運動でない fact8: この大宝・養老伝領は反対運動でない
fact3 & fact8 -> int1: この大宝・養老伝領は甘ーいけど反対運動でない; int1 -> int2: 「甘ーいけど反対運動でない」ものはある; int2 & fact1 -> hypothesis;
この右底幹は主立つ
fact9 -> int3: 仮にこの右底幹が御し易いならそれは反対運動だということはない;
$facts$ = fact1: 仮にあるものが甘ーいが反対運動でないとしたらこの作用発現は主立つ fact2: 御し易いものは反対運動でない fact3: この大宝・養老伝領は甘ーい fact4: 何らかのものが甘ーいけれど反対運動でないならこの大宝・養老伝領は主立つ fact5: 「サンプリングしない」ものはある fact6: この大宝・養老伝領は主立つ fact7: この作用発現は反対運動でない fact8: この大宝・養老伝領は反対運動でない ; $hypothesis$ = この作用発現は主立たない ; $proof$ = 
fact3 & fact8 -> int1: この大宝・養老伝領は甘ーいけど反対運動でない; int1 -> int2: 「甘ーいけど反対運動でない」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが甘ーいが反対運動でないとしたらこの作用発現は主立つ
事実2: 御し易いものは反対運動でない
事実3: この大宝・養老伝領は甘ーい
事実4: 何らかのものが甘ーいけれど反対運動でないならこの大宝・養老伝領は主立つ
事実5: 「サンプリングしない」ものはある
事実6: この大宝・養老伝領は主立つ
事実7: この作用発現は反対運動でない
事実8: この大宝・養老伝領は反対運動でない

仮説: この作用発現は主立たない
1. 事実3と事実8から、推論1: "この大宝・養老伝領は甘ーいけど反対運動でない"が導かれる
2. 推論1から、推論2: "「甘ーいけど反対運動でない」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

よって、仮説が否定されました。