このＩＰネットワークは酒壺だ
fact1: もし仮にこの保険価額が二十四Ｈであるかあるいはローカルディスクであるかあるいは両方であるならばこのＩＰネットワークは酒壺でない fact2: この保険価額は叩き切らないがざわつく fact3: もしもとあるものは二十四Ｈでないけれど四箇月児であるとしたら酒壺である fact4: もし仮にリストラクチャリングは捨て難いとすると「ローカルディスクだ」ということは確かである fact5: このＩＰネットワークはリストラクチャリングでないけど痛ーい fact6: この保険価額は叩き切らない fact7: もしも何らかのものがリストラクチャリングでないけど捨て難いとしたらそれはローカルディスクだ fact8: ある物が四箇月児でないとすればそれはリストラクチャリングだということはないけど捨て難い fact9: 仮になにかは捨て難いならばそれは酒壺である fact10: もしこの保険価額は叩き切らないけどざわつくとすると「それは四箇月児だということはない」ということは正しい
fact10 & fact2 -> int1: この保険価額は四箇月児でない; fact8 -> int2: 仮に「この保険価額は四箇月児でない」ということは本当であるならそれはリストラクチャリングでないけれど捨て難い; int1 & int2 -> int3: この保険価額はリストラクチャリングでないけれど捨て難い; fact7 -> int4: もし仮にこの保険価額はリストラクチャリングでないけど捨て難いとすればローカルディスクだ; int3 & int4 -> int5: この保険価額はローカルディスクだ; int5 -> int6: この保険価額は二十四Ｈであるかそれはローカルディスクであるかまたはどちらもだ; int6 & fact1 -> hypothesis;
このＩＰネットワークは酒壺である
fact11 -> int7: 仮にこのＩＰネットワークは捨て難いなら「それは酒壺でない」ということは間違いだ;
$facts$ = fact1: もし仮にこの保険価額が二十四Ｈであるかあるいはローカルディスクであるかあるいは両方であるならばこのＩＰネットワークは酒壺でない fact2: この保険価額は叩き切らないがざわつく fact3: もしもとあるものは二十四Ｈでないけれど四箇月児であるとしたら酒壺である fact4: もし仮にリストラクチャリングは捨て難いとすると「ローカルディスクだ」ということは確かである fact5: このＩＰネットワークはリストラクチャリングでないけど痛ーい fact6: この保険価額は叩き切らない fact7: もしも何らかのものがリストラクチャリングでないけど捨て難いとしたらそれはローカルディスクだ fact8: ある物が四箇月児でないとすればそれはリストラクチャリングだということはないけど捨て難い fact9: 仮になにかは捨て難いならばそれは酒壺である fact10: もしこの保険価額は叩き切らないけどざわつくとすると「それは四箇月児だということはない」ということは正しい ; $hypothesis$ = このＩＰネットワークは酒壺だ ; $proof$ = 
fact10 & fact2 -> int1: この保険価額は四箇月児でない; fact8 -> int2: 仮に「この保険価額は四箇月児でない」ということは本当であるならそれはリストラクチャリングでないけれど捨て難い; int1 & int2 -> int3: この保険価額はリストラクチャリングでないけれど捨て難い; fact7 -> int4: もし仮にこの保険価額はリストラクチャリングでないけど捨て難いとすればローカルディスクだ; int3 & int4 -> int5: この保険価額はローカルディスクだ; int5 -> int6: この保険価額は二十四Ｈであるかそれはローカルディスクであるかまたはどちらもだ; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの保険価額が二十四Ｈであるかあるいはローカルディスクであるかあるいは両方であるならばこのＩＰネットワークは酒壺でない
事実2: この保険価額は叩き切らないがざわつく
事実3: もしもとあるものは二十四Ｈでないけれど四箇月児であるとしたら酒壺である
事実4: もし仮にリストラクチャリングは捨て難いとすると「ローカルディスクだ」ということは確かである
事実5: このＩＰネットワークはリストラクチャリングでないけど痛ーい
事実6: この保険価額は叩き切らない
事実7: もしも何らかのものがリストラクチャリングでないけど捨て難いとしたらそれはローカルディスクだ
事実8: ある物が四箇月児でないとすればそれはリストラクチャリングだということはないけど捨て難い
事実9: 仮になにかは捨て難いならばそれは酒壺である
事実10: もしこの保険価額は叩き切らないけどざわつくとすると「それは四箇月児だということはない」ということは正しい

仮説: このＩＰネットワークは酒壺だ
1. 事実10と事実2から、推論1: "この保険価額は四箇月児でない"が導かれる
2. 事実8から、推論2: "仮に「この保険価額は四箇月児でない」ということは本当であるならそれはリストラクチャリングでないけれど捨て難い"が導かれる
3. 推論1と推論2から、推論3: "この保険価額はリストラクチャリングでないけれど捨て難い"が導かれる
4. 事実7から、推論4: "もし仮にこの保険価額はリストラクチャリングでないけど捨て難いとすればローカルディスクだ"が導かれる
5. 推論3と推論4から、推論5: "この保険価額はローカルディスクだ"が導かれる
6. 推論5から、推論6: "この保険価額は二十四Ｈであるかそれはローカルディスクであるかまたはどちらもだ"が導かれる
7. 推論6と事実1から、仮説が否定される

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