「あのサービス改善は機関助士でない」ということは確かである
fact1: 仮に迷信深い物が拡大・縮小しないならばあの突出は奥床しくない fact2: なにがしかの物は迷信深くないし加えてそれは奥床しくない fact3: 白内障手術は拡大・縮小する fact4: もし仮に何らかのものが拡大・縮小しないとしたら奥床しい一方で吸い立てない fact5: あのＹ軸成分が拡大・縮小するとしたらあのサービス改善は吸い立てるかあるいはそれは拡大・縮小しない fact6: その引き戸は白内障手術だ fact7: もし仮にある物は吸い立てるか拡大・縮小しないかもしくはどちらもだとすれば機関助士でない fact8: 仮に何らかの物が迷信深くないし奥床しいということはないならあのＹ軸成分は拡大・縮小する fact9: その引き戸が拡大・縮小するがしかしそれが計上額であるということはないならばその退職給付信託は拡大・縮小しない fact10: もしあのサービス改善が吸い立てるとするとあのＹ軸成分は拡大・縮小するかもしくは吸い立てる fact11: もしもその退職給付信託が奥床しいが吸い立てないとすればあのＹ軸成分は奥床しいということはない
fact2 & fact8 -> int1: あのＹ軸成分は拡大・縮小する; int1 & fact5 -> int2: あのサービス改善は吸い立てるかまたは拡大・縮小しないか両方ともだ; fact7 -> int3: あのサービス改善が吸い立てるかそれは拡大・縮小しないか両方だとしたらそれは機関助士でない; int2 & int3 -> hypothesis;
あのサービス改善は機関助士である
fact16 -> int4: 仮にその退職給付信託が拡大・縮小しないなら奥床しいけど吸い立てない; fact12 -> int5: 「その引き戸は白内障手術である」ということは嘘でないとすればそれは拡大・縮小する; int5 & fact14 -> int6: 「その引き戸は拡大・縮小する」ということは本当である;
$facts$ = fact1: 仮に迷信深い物が拡大・縮小しないならばあの突出は奥床しくない fact2: なにがしかの物は迷信深くないし加えてそれは奥床しくない fact3: 白内障手術は拡大・縮小する fact4: もし仮に何らかのものが拡大・縮小しないとしたら奥床しい一方で吸い立てない fact5: あのＹ軸成分が拡大・縮小するとしたらあのサービス改善は吸い立てるかあるいはそれは拡大・縮小しない fact6: その引き戸は白内障手術だ fact7: もし仮にある物は吸い立てるか拡大・縮小しないかもしくはどちらもだとすれば機関助士でない fact8: 仮に何らかの物が迷信深くないし奥床しいということはないならあのＹ軸成分は拡大・縮小する fact9: その引き戸が拡大・縮小するがしかしそれが計上額であるということはないならばその退職給付信託は拡大・縮小しない fact10: もしあのサービス改善が吸い立てるとするとあのＹ軸成分は拡大・縮小するかもしくは吸い立てる fact11: もしもその退職給付信託が奥床しいが吸い立てないとすればあのＹ軸成分は奥床しいということはない ; $hypothesis$ = 「あのサービス改善は機関助士でない」ということは確かである ; $proof$ = 
fact2 & fact8 -> int1: あのＹ軸成分は拡大・縮小する; int1 & fact5 -> int2: あのサービス改善は吸い立てるかまたは拡大・縮小しないか両方ともだ; fact7 -> int3: あのサービス改善が吸い立てるかそれは拡大・縮小しないか両方だとしたらそれは機関助士でない; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮に迷信深い物が拡大・縮小しないならばあの突出は奥床しくない
事実2: なにがしかの物は迷信深くないし加えてそれは奥床しくない
事実3: 白内障手術は拡大・縮小する
事実4: もし仮に何らかのものが拡大・縮小しないとしたら奥床しい一方で吸い立てない
事実5: あのＹ軸成分が拡大・縮小するとしたらあのサービス改善は吸い立てるかあるいはそれは拡大・縮小しない
事実6: その引き戸は白内障手術だ
事実7: もし仮にある物は吸い立てるか拡大・縮小しないかもしくはどちらもだとすれば機関助士でない
事実8: 仮に何らかの物が迷信深くないし奥床しいということはないならあのＹ軸成分は拡大・縮小する
事実9: その引き戸が拡大・縮小するがしかしそれが計上額であるということはないならばその退職給付信託は拡大・縮小しない
事実10: もしあのサービス改善が吸い立てるとするとあのＹ軸成分は拡大・縮小するかもしくは吸い立てる
事実11: もしもその退職給付信託が奥床しいが吸い立てないとすればあのＹ軸成分は奥床しいということはない

仮説: 「あのサービス改善は機関助士でない」ということは確かである
1. 事実2と事実8から、推論1: "あのＹ軸成分は拡大・縮小する"が導かれる
2. 推論1と事実5から、推論2: "あのサービス改善は吸い立てるかまたは拡大・縮小しないか両方ともだ"が導かれる
3. 事実7から、推論3: "あのサービス改善が吸い立てるかそれは拡大・縮小しないか両方だとしたらそれは機関助士でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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