「あの蒼龍は重たいけどテレンス・スタンプだということはない」ということは事実と異なる
fact1: 「あの蒼龍は襲来するけどそれは執念深くない」ということは成り立たない fact2: 「あの蒼龍は水平的統合だ一方でテレンス・スタンプでない」ということは確かだ fact3: 仮にあの設置促進は水平的統合であるけれどめぼしくないとすればそれは重たくない fact4: 「なんらかのものは運営委員会でないけれど水平的統合である」ということは成り立たないならばテレンス・スタンプでない fact5: 「あの設置促進は運営委員会であるし水平的統合である」ということは誤りだ fact6: もしもこの五者は運営委員会だということはないとしたら「あの設置促進は運営委員会であるということはないけれど水平的統合である」ということは間違っている fact7: 仮に「あの蒼龍は運営委員会である」ということは真実だとすればそれは重たい fact8: もし仮にこの五者がめぼしいがパック入りでないならばそれは運営委員会でない fact9: 仮にあの蒼龍はテレンス・スタンプであるけれど運営委員会でないとしたら「それはめぼしくない」ということは正しい fact10: あの設置促進はテレンス・スタンプでないならば「あの蒼龍はテレンス・スタンプでそれに運営委員会だ」ということは誤っている fact11: もしもこの五者が重たいがそれはパック入りであるということはないならば「運営委員会でない」ということは真実である fact12: もしもこの五者がパック入りならテレンス・スタンプでない fact13: もしもあの設置促進はテレンス・スタンプでないとすると「あの蒼龍は重たいけれどテレンス・スタンプでない」ということは成り立たない fact14: この五者はめぼしい一方でパック入りでない fact15: 「この五者はパック入りであるししかも水平的統合だ」ということは成り立つということはない
fact8 & fact14 -> int1: この五者は運営委員会でない; int1 & fact6 -> int2: 「あの設置促進は運営委員会でないがしかしそれは水平的統合である」ということは成り立たない; fact4 -> int3: もし仮に「あの設置促進は運営委員会であるということはないけど水平的統合だ」ということは成り立たないなら「それはテレンス・スタンプでない」ということは本当である; int2 & int3 -> int4: あの設置促進はテレンス・スタンプでない; int4 & fact13 -> hypothesis;
あの蒼龍は重たいがしかしそれはテレンス・スタンプでない
$facts$ = fact1: 「あの蒼龍は襲来するけどそれは執念深くない」ということは成り立たない fact2: 「あの蒼龍は水平的統合だ一方でテレンス・スタンプでない」ということは確かだ fact3: 仮にあの設置促進は水平的統合であるけれどめぼしくないとすればそれは重たくない fact4: 「なんらかのものは運営委員会でないけれど水平的統合である」ということは成り立たないならばテレンス・スタンプでない fact5: 「あの設置促進は運営委員会であるし水平的統合である」ということは誤りだ fact6: もしもこの五者は運営委員会だということはないとしたら「あの設置促進は運営委員会であるということはないけれど水平的統合である」ということは間違っている fact7: 仮に「あの蒼龍は運営委員会である」ということは真実だとすればそれは重たい fact8: もし仮にこの五者がめぼしいがパック入りでないならばそれは運営委員会でない fact9: 仮にあの蒼龍はテレンス・スタンプであるけれど運営委員会でないとしたら「それはめぼしくない」ということは正しい fact10: あの設置促進はテレンス・スタンプでないならば「あの蒼龍はテレンス・スタンプでそれに運営委員会だ」ということは誤っている fact11: もしもこの五者が重たいがそれはパック入りであるということはないならば「運営委員会でない」ということは真実である fact12: もしもこの五者がパック入りならテレンス・スタンプでない fact13: もしもあの設置促進はテレンス・スタンプでないとすると「あの蒼龍は重たいけれどテレンス・スタンプでない」ということは成り立たない fact14: この五者はめぼしい一方でパック入りでない fact15: 「この五者はパック入りであるししかも水平的統合だ」ということは成り立つということはない ; $hypothesis$ = 「あの蒼龍は重たいけどテレンス・スタンプだということはない」ということは事実と異なる ; $proof$ = 
fact8 & fact14 -> int1: この五者は運営委員会でない; int1 & fact6 -> int2: 「あの設置促進は運営委員会でないがしかしそれは水平的統合である」ということは成り立たない; fact4 -> int3: もし仮に「あの設置促進は運営委員会であるということはないけど水平的統合だ」ということは成り立たないなら「それはテレンス・スタンプでない」ということは本当である; int2 & int3 -> int4: あの設置促進はテレンス・スタンプでない; int4 & fact13 -> hypothesis; __PROVED__
事実1: 「あの蒼龍は襲来するけどそれは執念深くない」ということは成り立たない
事実2: 「あの蒼龍は水平的統合だ一方でテレンス・スタンプでない」ということは確かだ
事実3: 仮にあの設置促進は水平的統合であるけれどめぼしくないとすればそれは重たくない
事実4: 「なんらかのものは運営委員会でないけれど水平的統合である」ということは成り立たないならばテレンス・スタンプでない
事実5: 「あの設置促進は運営委員会であるし水平的統合である」ということは誤りだ
事実6: もしもこの五者は運営委員会だということはないとしたら「あの設置促進は運営委員会であるということはないけれど水平的統合である」ということは間違っている
事実7: 仮に「あの蒼龍は運営委員会である」ということは真実だとすればそれは重たい
事実8: もし仮にこの五者がめぼしいがパック入りでないならばそれは運営委員会でない
事実9: 仮にあの蒼龍はテレンス・スタンプであるけれど運営委員会でないとしたら「それはめぼしくない」ということは正しい
事実10: あの設置促進はテレンス・スタンプでないならば「あの蒼龍はテレンス・スタンプでそれに運営委員会だ」ということは誤っている
事実11: もしもこの五者が重たいがそれはパック入りであるということはないならば「運営委員会でない」ということは真実である
事実12: もしもこの五者がパック入りならテレンス・スタンプでない
事実13: もしもあの設置促進はテレンス・スタンプでないとすると「あの蒼龍は重たいけれどテレンス・スタンプでない」ということは成り立たない
事実14: この五者はめぼしい一方でパック入りでない
事実15: 「この五者はパック入りであるししかも水平的統合だ」ということは成り立つということはない

仮説: 「あの蒼龍は重たいけどテレンス・スタンプだということはない」ということは事実と異なる
1. 事実8と事実14から、推論1: "この五者は運営委員会でない"が導かれる
2. 推論1と事実6から、推論2: "「あの設置促進は運営委員会でないがしかしそれは水平的統合である」ということは成り立たない"が導かれる
3. 事実4から、推論3: "もし仮に「あの設置促進は運営委員会であるということはないけど水平的統合だ」ということは成り立たないなら「それはテレンス・スタンプでない」ということは本当である"が導かれる
4. 推論2と推論3から、推論4: "あの設置促進はテレンス・スタンプでない"が導かれる
5. 推論4と事実13から、仮説が導かれる

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