あの旅行商品は確定しない
fact1: 「あの旅行商品は醜くない」ということは確かだ fact2: もし仮にあの旅行商品が確定しないとするとあの本調査はたくし上げる fact3: もしもなにがしかのものが独居老人でないとしたらそれはたくし上げるしかつそれは野生化する fact4: 興味深い物が提供し続けるとするとそれは無線通信士でない fact5: もしもあの旅行商品が醜くないとすると興味深いし名称変更する fact6: この賛嘆は興味深くない fact7: 仮に「この賛嘆は野生化するがそれは独居老人でない」ということは成り立たないならばそれは興味深い fact8: もしあの本調査がたくし上げるとするとそれは無線通信士だ fact9: もしなにかは無線通信士でないけれどたくし上げるなら「確定しない」ということは間違っていない fact10: 無線通信士は野生化するということはない fact11: もし仮にあの本調査は野生化しないとしたら「この賛嘆は野生化するけど独居老人でない」ということは嘘だ fact12: あの旅行商品は提供し続ける
void -> assump1: 以下のように仮定する。あの旅行商品は確定しない; fact2 & assump1 -> int1: 「あの本調査はたくし上げる」ということは事実だ; int1 & fact8 -> int2: あの本調査は無線通信士である; fact10 -> int3: もしあの本調査は無線通信士であるとしたらそれは野生化しない; int2 & int3 -> int4: あの本調査は野生化しない; int4 & fact11 -> int5: 「この賛嘆は野生化する一方でそれは独居老人でない」ということは間違いだ; int5 & fact7 -> int6: この賛嘆は興味深い; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの旅行商品は確定しない
fact14 -> int8: 「もし仮にあの旅行商品が無線通信士でないけどたくし上げるとすればあの旅行商品は確定するということはない」ということは成り立つ; fact16 -> int9: 仮にあの旅行商品が興味深くてさらにそれが提供し続けるとすれば無線通信士でない; fact17 & fact18 -> int10: あの旅行商品が興味深いしその上名称変更する; int10 -> int11: あの旅行商品は興味深い; int11 & fact13 -> int12: あの旅行商品は興味深いしその上提供し続ける; int9 & int12 -> int13: あの旅行商品は無線通信士でない; fact15 -> int14: 仮にあの旅行商品は独居老人でないとしたらたくし上げるしさらに野生化する;
$facts$ = fact1: 「あの旅行商品は醜くない」ということは確かだ fact2: もし仮にあの旅行商品が確定しないとするとあの本調査はたくし上げる fact3: もしもなにがしかのものが独居老人でないとしたらそれはたくし上げるしかつそれは野生化する fact4: 興味深い物が提供し続けるとするとそれは無線通信士でない fact5: もしもあの旅行商品が醜くないとすると興味深いし名称変更する fact6: この賛嘆は興味深くない fact7: 仮に「この賛嘆は野生化するがそれは独居老人でない」ということは成り立たないならばそれは興味深い fact8: もしあの本調査がたくし上げるとするとそれは無線通信士だ fact9: もしなにかは無線通信士でないけれどたくし上げるなら「確定しない」ということは間違っていない fact10: 無線通信士は野生化するということはない fact11: もし仮にあの本調査は野生化しないとしたら「この賛嘆は野生化するけど独居老人でない」ということは嘘だ fact12: あの旅行商品は提供し続ける ; $hypothesis$ = あの旅行商品は確定しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの旅行商品は確定しない; fact2 & assump1 -> int1: 「あの本調査はたくし上げる」ということは事実だ; int1 & fact8 -> int2: あの本調査は無線通信士である; fact10 -> int3: もしあの本調査は無線通信士であるとしたらそれは野生化しない; int2 & int3 -> int4: あの本調査は野生化しない; int4 & fact11 -> int5: 「この賛嘆は野生化する一方でそれは独居老人でない」ということは間違いだ; int5 & fact7 -> int6: この賛嘆は興味深い; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「あの旅行商品は醜くない」ということは確かだ
事実2: もし仮にあの旅行商品が確定しないとするとあの本調査はたくし上げる
事実3: もしもなにがしかのものが独居老人でないとしたらそれはたくし上げるしかつそれは野生化する
事実4: 興味深い物が提供し続けるとするとそれは無線通信士でない
事実5: もしもあの旅行商品が醜くないとすると興味深いし名称変更する
事実6: この賛嘆は興味深くない
事実7: 仮に「この賛嘆は野生化するがそれは独居老人でない」ということは成り立たないならばそれは興味深い
事実8: もしあの本調査がたくし上げるとするとそれは無線通信士だ
事実9: もしなにかは無線通信士でないけれどたくし上げるなら「確定しない」ということは間違っていない
事実10: 無線通信士は野生化するということはない
事実11: もし仮にあの本調査は野生化しないとしたら「この賛嘆は野生化するけど独居老人でない」ということは嘘だ
事実12: あの旅行商品は提供し続ける

仮説: あの旅行商品は確定しない
1. 仮定1: 以下のように仮定する。あの旅行商品は確定しない
2. 事実2と仮定1から、推論1: "「あの本調査はたくし上げる」ということは事実だ"が導かれる
3. 推論1と事実8から、推論2: "あの本調査は無線通信士である"が導かれる
4. 事実10から、推論3: "もしあの本調査は無線通信士であるとしたらそれは野生化しない"が導かれる
5. 推論2と推論3から、推論4: "あの本調査は野生化しない"が導かれる
6. 推論4と事実11から、推論5: "「この賛嘆は野生化する一方でそれは独居老人でない」ということは間違いだ"が導かれる
7. 推論5と事実7から、推論6: "この賛嘆は興味深い"が導かれる
8. 推論6と事実6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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