この勢多領は唯物主義でない
fact1: その平均単価はべとべとするとすると「この勢多領は御美しい」ということは確かだ fact2: その平均単価はべとべとする fact3: なんらかのものが常食すればそれは唯物主義だ fact4: 何らかのものが御美しいとしたらそれは常食する fact5: 「その法制は御美しい」ということは確かだ fact6: この勢多領は高原地帯である
fact1 & fact2 -> int1: この勢多領は御美しい; fact4 -> int2: もしこの勢多領が御美しいとすれば常食する; int1 & int2 -> int3: この勢多領は常食する; fact3 -> int4: もしこの勢多領が常食するとすれば唯物主義だ; int3 & int4 -> hypothesis;
$facts$ = fact1: その平均単価はべとべとするとすると「この勢多領は御美しい」ということは確かだ fact2: その平均単価はべとべとする fact3: なんらかのものが常食すればそれは唯物主義だ fact4: 何らかのものが御美しいとしたらそれは常食する fact5: 「その法制は御美しい」ということは確かだ fact6: この勢多領は高原地帯である ; $hypothesis$ = この勢多領は唯物主義でない ; $proof$ = 
fact1 & fact2 -> int1: この勢多領は御美しい; fact4 -> int2: もしこの勢多領が御美しいとすれば常食する; int1 & int2 -> int3: この勢多領は常食する; fact3 -> int4: もしこの勢多領が常食するとすれば唯物主義だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その平均単価はべとべとするとすると「この勢多領は御美しい」ということは確かだ
事実2: その平均単価はべとべとする
事実3: なんらかのものが常食すればそれは唯物主義だ
事実4: 何らかのものが御美しいとしたらそれは常食する
事実5: 「その法制は御美しい」ということは確かだ
事実6: この勢多領は高原地帯である

仮説: この勢多領は唯物主義でない
1. 事実1と事実2から、推論1: "この勢多領は御美しい"が導かれる
2. 事実4から、推論2: "もしこの勢多領が御美しいとすれば常食する"が導かれる
3. 推論1と推論2から、推論3: "この勢多領は常食する"が導かれる
4. 事実3から、推論4: "もしこの勢多領が常食するとすれば唯物主義だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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