その展望レストランはコンピュータ・ネットワークでない
fact1: 「その写真付きは個別でないけれど巻き毛である」ということは確かだ fact2: もし仮にその後悔がダンベルだとしたら個別である fact3: その偉さは平和島であるしコンピュータ・ネットワークだ fact4: その後悔はダンベルである fact5: もし仮に何らかのものは巻き毛だということはないとしたら「客室乗務員であるし加えて他愛無いということはない」ということは成り立たない fact6: もし仮にその写真付きが配るということはないがしかし巻き毛だとしたらその展望レストランはコンピュータ・ネットワークである fact7: もしも「「テレビゲームだ一方で配るということはない」ということは誤っている」物があるとすればあの後悔は配る fact8: 「その後悔は他愛無いけどせせら笑わない」ということは成り立たない fact9: もし「その後悔は他愛無いがしかしせせら笑わない」ということは間違いであるとするとその偉さは個別だ fact10: 「「その後悔はせせら笑う」ということは事実であるならばその偉さは個別だ」ということは本当だ fact11: その偉さが個別であるならその写真付きは巻き毛である fact12: もしとある物は配るということはないとしたら「それが巻き毛だしそれにそれは個別でない」ということは誤っていない fact13: 巻き毛は個別であるということはないとすればコンピュータ・ネットワークでない fact14: もしもその偉さが個別だとすればその写真付きは配らないけれど巻き毛だ fact15: もし仮にある物はコンピュータ・ネットワークであるなら「それはテレビゲームであるがしかし配らない」ということは間違いである
fact9 & fact8 -> int1: その偉さは個別だ; int1 & fact14 -> int2: その写真付きは配らないけどそれは巻き毛である; int2 & fact6 -> hypothesis;
その展望レストランはコンピュータ・ネットワークでない
fact16 -> int3: もし仮にその展望レストランは巻き毛だけれど個別だということはないとするとコンピュータ・ネットワークでない; fact17 -> int4: もし仮に「その展望レストランは配るということはない」ということは誤っていないとすると巻き毛であるしまた個別でない;
$facts$ = fact1: 「その写真付きは個別でないけれど巻き毛である」ということは確かだ fact2: もし仮にその後悔がダンベルだとしたら個別である fact3: その偉さは平和島であるしコンピュータ・ネットワークだ fact4: その後悔はダンベルである fact5: もし仮に何らかのものは巻き毛だということはないとしたら「客室乗務員であるし加えて他愛無いということはない」ということは成り立たない fact6: もし仮にその写真付きが配るということはないがしかし巻き毛だとしたらその展望レストランはコンピュータ・ネットワークである fact7: もしも「「テレビゲームだ一方で配るということはない」ということは誤っている」物があるとすればあの後悔は配る fact8: 「その後悔は他愛無いけどせせら笑わない」ということは成り立たない fact9: もし「その後悔は他愛無いがしかしせせら笑わない」ということは間違いであるとするとその偉さは個別だ fact10: 「「その後悔はせせら笑う」ということは事実であるならばその偉さは個別だ」ということは本当だ fact11: その偉さが個別であるならその写真付きは巻き毛である fact12: もしとある物は配るということはないとしたら「それが巻き毛だしそれにそれは個別でない」ということは誤っていない fact13: 巻き毛は個別であるということはないとすればコンピュータ・ネットワークでない fact14: もしもその偉さが個別だとすればその写真付きは配らないけれど巻き毛だ fact15: もし仮にある物はコンピュータ・ネットワークであるなら「それはテレビゲームであるがしかし配らない」ということは間違いである ; $hypothesis$ = その展望レストランはコンピュータ・ネットワークでない ; $proof$ = 
fact9 & fact8 -> int1: その偉さは個別だ; int1 & fact14 -> int2: その写真付きは配らないけどそれは巻き毛である; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「その写真付きは個別でないけれど巻き毛である」ということは確かだ
事実2: もし仮にその後悔がダンベルだとしたら個別である
事実3: その偉さは平和島であるしコンピュータ・ネットワークだ
事実4: その後悔はダンベルである
事実5: もし仮に何らかのものは巻き毛だということはないとしたら「客室乗務員であるし加えて他愛無いということはない」ということは成り立たない
事実6: もし仮にその写真付きが配るということはないがしかし巻き毛だとしたらその展望レストランはコンピュータ・ネットワークである
事実7: もしも「「テレビゲームだ一方で配るということはない」ということは誤っている」物があるとすればあの後悔は配る
事実8: 「その後悔は他愛無いけどせせら笑わない」ということは成り立たない
事実9: もし「その後悔は他愛無いがしかしせせら笑わない」ということは間違いであるとするとその偉さは個別だ
事実10: 「「その後悔はせせら笑う」ということは事実であるならばその偉さは個別だ」ということは本当だ
事実11: その偉さが個別であるならその写真付きは巻き毛である
事実12: もしとある物は配るということはないとしたら「それが巻き毛だしそれにそれは個別でない」ということは誤っていない
事実13: 巻き毛は個別であるということはないとすればコンピュータ・ネットワークでない
事実14: もしもその偉さが個別だとすればその写真付きは配らないけれど巻き毛だ
事実15: もし仮にある物はコンピュータ・ネットワークであるなら「それはテレビゲームであるがしかし配らない」ということは間違いである

仮説: その展望レストランはコンピュータ・ネットワークでない
1. 事実9と事実8から、推論1: "その偉さは個別だ"が導かれる
2. 推論1と事実14から、推論2: "その写真付きは配らないけどそれは巻き毛である"が導かれる
3. 推論2と事実6から、仮説が否定される

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