その忠誠義務は順編成ファイルでない
fact1: 何らかのものが絶え難いとしたらそれは順編成ファイルである fact2: 仮に「「油圧式である一方で素っ気なくない」ということは誤りである」ものがあるとすればその忠誠義務は順編成ファイルでない fact3: もしこの髄鞘は四割強でないとすると安堵し難いということはない fact4: もしも何らかのものは絶え難いということはないなら「それはピンチであるが順編成ファイルでない」ということは成り立つということはない fact5: 「そのギガ炉は測り難い」ということは真実だとすると「消化し難いということはない」ということは事実だ fact6: 「この昼食後は油圧式であるけど素っ気なくない」ということは偽だ fact7: もし仮にあるものは消化し難くないならば「四割強であるしおまけに動き易い」ということは誤りだ fact8: 「この髄鞘は安堵し難くない」ということは真実であるとするとその忠誠義務は絶え難いしそれにそれは反映され易い fact9: 「「油圧式だし更に素っ気ない」ということは嘘な」物はある
fact6 -> int1: 「「油圧式で素っ気ないということはない」ということは成り立たない」物はある; int1 & fact2 -> hypothesis;
「この昼食後はピンチだ一方で順編成ファイルでない」ということは間違いだ
fact10 -> int2: 仮にこの昼食後は絶え難くないとすれば「それがピンチだしそれは順編成ファイルでない」ということは嘘だ;
$facts$ = fact1: 何らかのものが絶え難いとしたらそれは順編成ファイルである fact2: 仮に「「油圧式である一方で素っ気なくない」ということは誤りである」ものがあるとすればその忠誠義務は順編成ファイルでない fact3: もしこの髄鞘は四割強でないとすると安堵し難いということはない fact4: もしも何らかのものは絶え難いということはないなら「それはピンチであるが順編成ファイルでない」ということは成り立つということはない fact5: 「そのギガ炉は測り難い」ということは真実だとすると「消化し難いということはない」ということは事実だ fact6: 「この昼食後は油圧式であるけど素っ気なくない」ということは偽だ fact7: もし仮にあるものは消化し難くないならば「四割強であるしおまけに動き易い」ということは誤りだ fact8: 「この髄鞘は安堵し難くない」ということは真実であるとするとその忠誠義務は絶え難いしそれにそれは反映され易い fact9: 「「油圧式だし更に素っ気ない」ということは嘘な」物はある ; $hypothesis$ = その忠誠義務は順編成ファイルでない ; $proof$ = 
fact6 -> int1: 「「油圧式で素っ気ないということはない」ということは成り立たない」物はある; int1 & fact2 -> hypothesis; __PROVED__
事実1: 何らかのものが絶え難いとしたらそれは順編成ファイルである
事実2: 仮に「「油圧式である一方で素っ気なくない」ということは誤りである」ものがあるとすればその忠誠義務は順編成ファイルでない
事実3: もしこの髄鞘は四割強でないとすると安堵し難いということはない
事実4: もしも何らかのものは絶え難いということはないなら「それはピンチであるが順編成ファイルでない」ということは成り立つということはない
事実5: 「そのギガ炉は測り難い」ということは真実だとすると「消化し難いということはない」ということは事実だ
事実6: 「この昼食後は油圧式であるけど素っ気なくない」ということは偽だ
事実7: もし仮にあるものは消化し難くないならば「四割強であるしおまけに動き易い」ということは誤りだ
事実8: 「この髄鞘は安堵し難くない」ということは真実であるとするとその忠誠義務は絶え難いしそれにそれは反映され易い
事実9: 「「油圧式だし更に素っ気ない」ということは嘘な」物はある

仮説: その忠誠義務は順編成ファイルでない
1. 事実6から、推論1: "「「油圧式で素っ気ないということはない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実2から、仮説が導かれる

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