その資料作りは納得し難いが厚着しない
fact1: このファイル整理が漂うけど立て涌でないとするとその資料作りは部門別である fact2: 部門別は納得し難い fact3: もし仮に「とあるものは辛抱強くないけど入手し易い」ということは成り立たないならそれは本人負担でない fact4: このファイル整理は漂うがしかし立て涌でない fact5: 「本人負担は立て涌だ」ということは成り立つ fact6: もしもある物は部門別だということはないなら「納得し難いがしかし厚着しない」ということは偽である fact7: もしもなにかは漂うということはないならそれは部門別で曇り無しない fact8: 立て涌は漂わない fact9: もしあの上がり仕舞いは本人負担でないならば「このファイル整理が立て涌だしその上それは漂う」ということは間違っている fact10: あの上がり仕舞いは監視光だがしかし言い返すということはない fact11: 「このファイル整理は立て涌であるということはない」ということは確かである fact12: 部門別は納得し難いが厚着しない fact13: 仮にあの上がり仕舞いが監視光だがしかし言い返さないとすればこのファイル整理は入手し易くない
fact12 -> int1: その資料作りは部門別ならば「納得し難いししかもそれは厚着しない」ということは本当だ; fact1 & fact4 -> int2: 「その資料作りは部門別である」ということは確かである; int1 & int2 -> hypothesis;
あの甕棺製作技術は部門別だがしかし曇り無しない
fact14 -> int3: あの甕棺製作技術が漂うということはないとしたらそれは部門別であるけど曇り無しない; fact16 -> int4: 仮にあの甕棺製作技術は立て涌であるならば「それは漂わない」ということは事実である; fact15 -> int5: もしもあの甕棺製作技術が本人負担だとしたらそれは立て涌である; fact18 & fact17 -> int6: このファイル整理は入手し易いということはない; int6 -> int7: 「入手し易いということはない」物はある;
$facts$ = fact1: このファイル整理が漂うけど立て涌でないとするとその資料作りは部門別である fact2: 部門別は納得し難い fact3: もし仮に「とあるものは辛抱強くないけど入手し易い」ということは成り立たないならそれは本人負担でない fact4: このファイル整理は漂うがしかし立て涌でない fact5: 「本人負担は立て涌だ」ということは成り立つ fact6: もしもある物は部門別だということはないなら「納得し難いがしかし厚着しない」ということは偽である fact7: もしもなにかは漂うということはないならそれは部門別で曇り無しない fact8: 立て涌は漂わない fact9: もしあの上がり仕舞いは本人負担でないならば「このファイル整理が立て涌だしその上それは漂う」ということは間違っている fact10: あの上がり仕舞いは監視光だがしかし言い返すということはない fact11: 「このファイル整理は立て涌であるということはない」ということは確かである fact12: 部門別は納得し難いが厚着しない fact13: 仮にあの上がり仕舞いが監視光だがしかし言い返さないとすればこのファイル整理は入手し易くない ; $hypothesis$ = その資料作りは納得し難いが厚着しない ; $proof$ = 
fact12 -> int1: その資料作りは部門別ならば「納得し難いししかもそれは厚着しない」ということは本当だ; fact1 & fact4 -> int2: 「その資料作りは部門別である」ということは確かである; int1 & int2 -> hypothesis; __PROVED__
事実1: このファイル整理が漂うけど立て涌でないとするとその資料作りは部門別である
事実2: 部門別は納得し難い
事実3: もし仮に「とあるものは辛抱強くないけど入手し易い」ということは成り立たないならそれは本人負担でない
事実4: このファイル整理は漂うがしかし立て涌でない
事実5: 「本人負担は立て涌だ」ということは成り立つ
事実6: もしもある物は部門別だということはないなら「納得し難いがしかし厚着しない」ということは偽である
事実7: もしもなにかは漂うということはないならそれは部門別で曇り無しない
事実8: 立て涌は漂わない
事実9: もしあの上がり仕舞いは本人負担でないならば「このファイル整理が立て涌だしその上それは漂う」ということは間違っている
事実10: あの上がり仕舞いは監視光だがしかし言い返すということはない
事実11: 「このファイル整理は立て涌であるということはない」ということは確かである
事実12: 部門別は納得し難いが厚着しない
事実13: 仮にあの上がり仕舞いが監視光だがしかし言い返さないとすればこのファイル整理は入手し易くない

仮説: その資料作りは納得し難いが厚着しない
1. 事実12から、推論1: "その資料作りは部門別ならば「納得し難いししかもそれは厚着しない」ということは本当だ"が導かれる
2. 事実1と事実4から、推論2: "「その資料作りは部門別である」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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