その事務所総人員は弓使いだということはない一方で背負い込む
fact1: 「この高速インターネットは弓使いでないがしかし発電である」ということは成り立たないとすると背負い込む fact2: もし仮にこの高速インターネットが弓使いでないとしたらその事務所総人員は弓使いでないがしかしそれは背負い込む fact3: その作画スタッフは飲み交わす fact4: この高速インターネットは素っ気ない fact5: 仮にこの高速インターネットは水っぽいかもしくは発電であるかあるいはどちらもだとすれば飲み交わさない fact6: この高速インターネットは飲み交わす fact7: もしもこの高速インターネットが筋弛緩剤でないとするとその事務所総人員は筋弛緩剤でない fact8: もし「この高速インターネットは水っぽい」ということは真実だとすれば飲み交わさない fact9: 仮にとあるものが発電でないかあるいは筋弛緩剤でないとすれば発電でない fact10: もしも忝くないものが斜面一帯だとすると水っぽくない fact11: その事務所総人員は出し忘れる fact12: もし仮に「この高速インターネットは出し忘れないがベニヤ板だ」ということは間違いだとするとそれは筋弛緩剤である fact13: あの禁酒法は出し忘れる fact14: もしこの高速インターネットが筋弛緩剤なら発電である fact15: もしもその統計情報部は筋弛緩剤だが飲み交わさないとしたら「この高速インターネットは筋弛緩剤でない」ということは事実である fact16: この民間療法は飲み交わさない fact17: 仮に「その事務所総人員は出し忘れる」ということは真実だとすれば弓使いでない fact18: この高速インターネットは出し忘れるということはない一方でベニヤ板であるとしたらそれは弓使いであるということはない fact19: この高速インターネットは出し忘れない
void -> assump1: 以下のように仮定する。「この高速インターネットは出し忘れないけどベニヤ板である」ということは成り立たない; fact12 & assump1 -> int1: この高速インターネットは筋弛緩剤だ; int1 & fact14 -> int2: この高速インターネットは発電だ; int2 -> int3: この高速インターネットは水っぽいかもしくは発電である; int3 & fact5 -> int4: この高速インターネットは飲み交わさない; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: この高速インターネットは出し忘れないがしかしベニヤ板である; int6 & fact18 -> int7: この高速インターネットは弓使いだということはない; int7 & fact2 -> hypothesis;
「「その事務所総人員は弓使いでないけれど背負い込む」ということは間違いである」ということは真実である
fact21 -> int8: もし仮にその事務所総人員が発電でないかもしくは筋弛緩剤でないとしたら発電でない;
$facts$ = fact1: 「この高速インターネットは弓使いでないがしかし発電である」ということは成り立たないとすると背負い込む fact2: もし仮にこの高速インターネットが弓使いでないとしたらその事務所総人員は弓使いでないがしかしそれは背負い込む fact3: その作画スタッフは飲み交わす fact4: この高速インターネットは素っ気ない fact5: 仮にこの高速インターネットは水っぽいかもしくは発電であるかあるいはどちらもだとすれば飲み交わさない fact6: この高速インターネットは飲み交わす fact7: もしもこの高速インターネットが筋弛緩剤でないとするとその事務所総人員は筋弛緩剤でない fact8: もし「この高速インターネットは水っぽい」ということは真実だとすれば飲み交わさない fact9: 仮にとあるものが発電でないかあるいは筋弛緩剤でないとすれば発電でない fact10: もしも忝くないものが斜面一帯だとすると水っぽくない fact11: その事務所総人員は出し忘れる fact12: もし仮に「この高速インターネットは出し忘れないがベニヤ板だ」ということは間違いだとするとそれは筋弛緩剤である fact13: あの禁酒法は出し忘れる fact14: もしこの高速インターネットが筋弛緩剤なら発電である fact15: もしもその統計情報部は筋弛緩剤だが飲み交わさないとしたら「この高速インターネットは筋弛緩剤でない」ということは事実である fact16: この民間療法は飲み交わさない fact17: 仮に「その事務所総人員は出し忘れる」ということは真実だとすれば弓使いでない fact18: この高速インターネットは出し忘れるということはない一方でベニヤ板であるとしたらそれは弓使いであるということはない fact19: この高速インターネットは出し忘れない ; $hypothesis$ = その事務所総人員は弓使いだということはない一方で背負い込む ; $proof$ = 
void -> assump1: 以下のように仮定する。「この高速インターネットは出し忘れないけどベニヤ板である」ということは成り立たない; fact12 & assump1 -> int1: この高速インターネットは筋弛緩剤だ; int1 & fact14 -> int2: この高速インターネットは発電だ; int2 -> int3: この高速インターネットは水っぽいかもしくは発電である; int3 & fact5 -> int4: この高速インターネットは飲み交わさない; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: この高速インターネットは出し忘れないがしかしベニヤ板である; int6 & fact18 -> int7: この高速インターネットは弓使いだということはない; int7 & fact2 -> hypothesis; __PROVED__
事実1: 「この高速インターネットは弓使いでないがしかし発電である」ということは成り立たないとすると背負い込む
事実2: もし仮にこの高速インターネットが弓使いでないとしたらその事務所総人員は弓使いでないがしかしそれは背負い込む
事実3: その作画スタッフは飲み交わす
事実4: この高速インターネットは素っ気ない
事実5: 仮にこの高速インターネットは水っぽいかもしくは発電であるかあるいはどちらもだとすれば飲み交わさない
事実6: この高速インターネットは飲み交わす
事実7: もしもこの高速インターネットが筋弛緩剤でないとするとその事務所総人員は筋弛緩剤でない
事実8: もし「この高速インターネットは水っぽい」ということは真実だとすれば飲み交わさない
事実9: 仮にとあるものが発電でないかあるいは筋弛緩剤でないとすれば発電でない
事実10: もしも忝くないものが斜面一帯だとすると水っぽくない
事実11: その事務所総人員は出し忘れる
事実12: もし仮に「この高速インターネットは出し忘れないがベニヤ板だ」ということは間違いだとするとそれは筋弛緩剤である
事実13: あの禁酒法は出し忘れる
事実14: もしこの高速インターネットが筋弛緩剤なら発電である
事実15: もしもその統計情報部は筋弛緩剤だが飲み交わさないとしたら「この高速インターネットは筋弛緩剤でない」ということは事実である
事実16: この民間療法は飲み交わさない
事実17: 仮に「その事務所総人員は出し忘れる」ということは真実だとすれば弓使いでない
事実18: この高速インターネットは出し忘れるということはない一方でベニヤ板であるとしたらそれは弓使いであるということはない
事実19: この高速インターネットは出し忘れない

仮説: その事務所総人員は弓使いだということはない一方で背負い込む
1. 仮定1: 以下のように仮定する。「この高速インターネットは出し忘れないけどベニヤ板である」ということは成り立たない
2. 事実12と仮定1から、推論1: "この高速インターネットは筋弛緩剤だ"が導かれる
3. 推論1と事実14から、推論2: "この高速インターネットは発電だ"が導かれる
4. 推論2から、推論3: "この高速インターネットは水っぽいかもしくは発電である"が導かれる
5. 推論3と事実5から、推論4: "この高速インターネットは飲み交わさない"が導かれる
6. 推論4と事実6から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この高速インターネットは出し忘れないがしかしベニヤ板である"が導かれる
8. 推論6と事実18から、推論7: "この高速インターネットは弓使いだということはない"が導かれる
9. 推論7と事実2から、仮説が導かれる

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