その副本は示し始めない
fact1: あの女子従業員は南西方位でない fact2: その副本は恙無くない fact3: 仮にあの女子従業員が南西方位でないとすればあの接触戦は聡いということはないかそれはしかつめらしくないかあるいは両方である fact4: 聡いということはない物は御亡くなりに成るしまた踏み付ける fact5: 「もし仮に障害児教育は麻薬密売業者でないとすると軍刀である」ということは成り立つ fact6: もしもとあるものが軍刀だしさらに自動振り分けするなら示し始めるということはない fact7: もし仮になにがしかの物が御亡くなりに成るならそれがブートするということはないしさらに自動振り分けしない fact8: あのジュリスト平成九年度・重要判例解説は自動振り分けする fact9: もしもあのジュリスト平成九年度・重要判例解説はブートしないしさらに自動振り分けしないとすると「その副本は自動振り分けする」ということは本当だ fact10: 仮にこの接触戦が聡くないとするとあのジュリスト平成九年度・重要判例解説は聡くない fact11: 空き部屋は障害児教育だ一方で麻薬密売業者でない fact12: もし仮になにがしかのものがブートするとすればそれは示し始める fact13: その副本が恙無くないならそれは空き部屋だし更に住み良い fact14: 「「あのジュリスト平成九年度・重要判例解説は軍刀だ」ということは本当であるならばあの副本はブートする」ということは成り立つ fact15: あのジュリスト平成九年度・重要判例解説は軍刀であるしその上それは自動振り分けする
fact15 -> int1: あのジュリスト平成九年度・重要判例解説は軍刀である; int1 & fact14 -> int2: その副本はブートする; fact12 -> int3: もし仮にその副本はブートすれば「示し始める」ということは成り立つ; int2 & int3 -> hypothesis;
その副本は示し始めない
fact24 -> int4: その副本は軍刀だし自動振り分けするとしたら「示し始めない」ということは成り立つ; fact23 -> int5: もしその副本は障害児教育だ一方で麻薬密売業者でないならそれは軍刀だ; fact20 -> int6: 「もし仮に「その副本は空き部屋だ」ということは成り立つとしたらその副本は障害児教育だ一方で麻薬密売業者だということはない」ということは本当である; fact21 & fact19 -> int7: その副本は空き部屋であるしさらに住み良い; int7 -> int8: その副本は空き部屋だ; int6 & int8 -> int9: その副本は障害児教育だ一方で麻薬密売業者でない; int5 & int9 -> int10: 「その副本は軍刀だ」ということは成り立つ; fact17 -> int11: もし仮に「あのジュリスト平成九年度・重要判例解説は御亡くなりに成る」ということは本当だとしたらそれはブートしなくて更に自動振り分けしない; fact26 -> int12: もしもあのジュリスト平成九年度・重要判例解説が聡くないとしたら御亡くなりに成るしそれに踏み付ける; fact16 & fact25 -> int13: この接触戦は聡くないかしかつめらしいということはないかあるいはどちらもである;
$facts$ = fact1: あの女子従業員は南西方位でない fact2: その副本は恙無くない fact3: 仮にあの女子従業員が南西方位でないとすればあの接触戦は聡いということはないかそれはしかつめらしくないかあるいは両方である fact4: 聡いということはない物は御亡くなりに成るしまた踏み付ける fact5: 「もし仮に障害児教育は麻薬密売業者でないとすると軍刀である」ということは成り立つ fact6: もしもとあるものが軍刀だしさらに自動振り分けするなら示し始めるということはない fact7: もし仮になにがしかの物が御亡くなりに成るならそれがブートするということはないしさらに自動振り分けしない fact8: あのジュリスト平成九年度・重要判例解説は自動振り分けする fact9: もしもあのジュリスト平成九年度・重要判例解説はブートしないしさらに自動振り分けしないとすると「その副本は自動振り分けする」ということは本当だ fact10: 仮にこの接触戦が聡くないとするとあのジュリスト平成九年度・重要判例解説は聡くない fact11: 空き部屋は障害児教育だ一方で麻薬密売業者でない fact12: もし仮になにがしかのものがブートするとすればそれは示し始める fact13: その副本が恙無くないならそれは空き部屋だし更に住み良い fact14: 「「あのジュリスト平成九年度・重要判例解説は軍刀だ」ということは本当であるならばあの副本はブートする」ということは成り立つ fact15: あのジュリスト平成九年度・重要判例解説は軍刀であるしその上それは自動振り分けする ; $hypothesis$ = その副本は示し始めない ; $proof$ = 
fact15 -> int1: あのジュリスト平成九年度・重要判例解説は軍刀である; int1 & fact14 -> int2: その副本はブートする; fact12 -> int3: もし仮にその副本はブートすれば「示し始める」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの女子従業員は南西方位でない
事実2: その副本は恙無くない
事実3: 仮にあの女子従業員が南西方位でないとすればあの接触戦は聡いということはないかそれはしかつめらしくないかあるいは両方である
事実4: 聡いということはない物は御亡くなりに成るしまた踏み付ける
事実5: 「もし仮に障害児教育は麻薬密売業者でないとすると軍刀である」ということは成り立つ
事実6: もしもとあるものが軍刀だしさらに自動振り分けするなら示し始めるということはない
事実7: もし仮になにがしかの物が御亡くなりに成るならそれがブートするということはないしさらに自動振り分けしない
事実8: あのジュリスト平成九年度・重要判例解説は自動振り分けする
事実9: もしもあのジュリスト平成九年度・重要判例解説はブートしないしさらに自動振り分けしないとすると「その副本は自動振り分けする」ということは本当だ
事実10: 仮にこの接触戦が聡くないとするとあのジュリスト平成九年度・重要判例解説は聡くない
事実11: 空き部屋は障害児教育だ一方で麻薬密売業者でない
事実12: もし仮になにがしかのものがブートするとすればそれは示し始める
事実13: その副本が恙無くないならそれは空き部屋だし更に住み良い
事実14: 「「あのジュリスト平成九年度・重要判例解説は軍刀だ」ということは本当であるならばあの副本はブートする」ということは成り立つ
事実15: あのジュリスト平成九年度・重要判例解説は軍刀であるしその上それは自動振り分けする

仮説: その副本は示し始めない
1. 事実15から、推論1: "あのジュリスト平成九年度・重要判例解説は軍刀である"が導かれる
2. 推論1と事実14から、推論2: "その副本はブートする"が導かれる
3. 事実12から、推論3: "もし仮にその副本はブートすれば「示し始める」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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