あの独立派は気高いということはない
fact1: なにかは料理しなくて更にそれが掛かり易くないとしたらそれは守り易くない fact2: あの独立派は決死である fact3: もしも「その油少々は気高い一方で決死でない」ということは成り立たないとすればあの独立派は気高い fact4: もし仮に守り易い物が決死ならば気高くない fact5: もしも「その万葉仮名観は物々しい」ということは本当ならこの遠位部が料理するということはないしさらにそれは掛かり易くない fact6: あの独立派は守り易い
fact6 & fact2 -> int1: あの独立派は守り易いし更にそれは決死だ; fact4 -> int2: 仮にあの独立派は守り易いしそれに決死ならばそれは気高くない; int1 & int2 -> hypothesis;
「あの独立派は気高い」ということは確かである
fact8 -> int3: もしこの遠位部は料理しなくてまた掛かり易くないならばそれは守り易くない;
$facts$ = fact1: なにかは料理しなくて更にそれが掛かり易くないとしたらそれは守り易くない fact2: あの独立派は決死である fact3: もしも「その油少々は気高い一方で決死でない」ということは成り立たないとすればあの独立派は気高い fact4: もし仮に守り易い物が決死ならば気高くない fact5: もしも「その万葉仮名観は物々しい」ということは本当ならこの遠位部が料理するということはないしさらにそれは掛かり易くない fact6: あの独立派は守り易い ; $hypothesis$ = あの独立派は気高いということはない ; $proof$ = 
fact6 & fact2 -> int1: あの独立派は守り易いし更にそれは決死だ; fact4 -> int2: 仮にあの独立派は守り易いしそれに決死ならばそれは気高くない; int1 & int2 -> hypothesis; __PROVED__
事実1: なにかは料理しなくて更にそれが掛かり易くないとしたらそれは守り易くない
事実2: あの独立派は決死である
事実3: もしも「その油少々は気高い一方で決死でない」ということは成り立たないとすればあの独立派は気高い
事実4: もし仮に守り易い物が決死ならば気高くない
事実5: もしも「その万葉仮名観は物々しい」ということは本当ならこの遠位部が料理するということはないしさらにそれは掛かり易くない
事実6: あの独立派は守り易い

仮説: あの独立派は気高いということはない
1. 事実6と事実2から、推論1: "あの独立派は守り易いし更にそれは決死だ"が導かれる
2. 事実4から、推論2: "仮にあの独立派は守り易いしそれに決死ならばそれは気高くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。