その地縁関係はカムバックする
fact1: なにがしかのものは介入すとすると「それは悩ましくなくてテレビ放映しない」ということは間違いである fact2: もしとある物は介入すとすれば「「悩ましくてかつテレビ放映しない」ということは成り立つ」ということは成り立たない fact3: 仮に何らかの物がみっともなくないけれどそれが晦ますとしたらそれはテレビ放映する fact4: 仮にあの給付金がみっともなくないとしたらあの密航船は在留邦人だ fact5: あの給付金はスリングだ fact6: もしなにがしかの物が晦まさないがそれは単位ベクトルであるとするとそれは介入す fact7: あの密航船は晦まさない fact8: 仮に何かは在留邦人でないしさらにスリングでないならばこの塗笠は視聴でない fact9: もしあの給付金が視聴でないならあの密航船は在留邦人である fact10: あの密航船は晦ますし単位ベクトルだとしたら介入す fact11: もしも「あの密航船は悩ましいということはなくてテレビ放映しない」ということは偽ならばその地縁関係はカムバックしない fact12: 仮になにかはスリングだとすれば「それはみっともないということはない一方でカムバックする」ということは偽である fact13: その地縁関係が悩ましくないならばあの密航船はカムバックする fact14: もしもとある物が晦ますとすればそれは在留邦人でないし更にスリングでない fact15: もしもなにがしかのものは介入すとしたら「悩ましくないけどテレビ放映する」ということは誤っている fact16: 在留邦人は晦まさないがしかし単位ベクトルだ fact17: もしあるものは在留邦人であるとすれば「悩ましくてそれは視聴であるということはない」ということは事実と異なる fact18: もしあの給付金がスリングであるならばそれは視聴でないかあるいはそれはみっともなくないかあるいは両方ともである fact19: 仮にあの密航船は介入すとすると「それは悩ましいけどテレビ放映しない」ということは嘘である
fact18 & fact5 -> int1: あの給付金は視聴でないかまたはみっともないということはないかあるいはどちらもである; int1 & fact9 & fact4 -> int2: あの密航船は在留邦人だ; fact16 -> int3: 仮にあの密航船が在留邦人だとしたらそれは晦まさないしそれは単位ベクトルである; int2 & int3 -> int4: あの密航船は晦まさないがしかしそれは単位ベクトルである; fact6 -> int5: 仮にあの密航船が晦ますということはないがしかし単位ベクトルだとすれば介入す; int4 & int5 -> int6: あの密航船は介入す; fact1 -> int7: もしあの密航船は介入すとすると「それは悩ましくないしかつテレビ放映しない」ということは成り立たない; int6 & int7 -> int8: 「あの密航船は悩ましいということはないしまたテレビ放映しない」ということは成り立たない; int8 & fact11 -> hypothesis;
この塗笠は視聴でない
fact21 -> int9: 仮にあの給付金が晦ますとすればそれは在留邦人でなくてそれにスリングでない;
$facts$ = fact1: なにがしかのものは介入すとすると「それは悩ましくなくてテレビ放映しない」ということは間違いである fact2: もしとある物は介入すとすれば「「悩ましくてかつテレビ放映しない」ということは成り立つ」ということは成り立たない fact3: 仮に何らかの物がみっともなくないけれどそれが晦ますとしたらそれはテレビ放映する fact4: 仮にあの給付金がみっともなくないとしたらあの密航船は在留邦人だ fact5: あの給付金はスリングだ fact6: もしなにがしかの物が晦まさないがそれは単位ベクトルであるとするとそれは介入す fact7: あの密航船は晦まさない fact8: 仮に何かは在留邦人でないしさらにスリングでないならばこの塗笠は視聴でない fact9: もしあの給付金が視聴でないならあの密航船は在留邦人である fact10: あの密航船は晦ますし単位ベクトルだとしたら介入す fact11: もしも「あの密航船は悩ましいということはなくてテレビ放映しない」ということは偽ならばその地縁関係はカムバックしない fact12: 仮になにかはスリングだとすれば「それはみっともないということはない一方でカムバックする」ということは偽である fact13: その地縁関係が悩ましくないならばあの密航船はカムバックする fact14: もしもとある物が晦ますとすればそれは在留邦人でないし更にスリングでない fact15: もしもなにがしかのものは介入すとしたら「悩ましくないけどテレビ放映する」ということは誤っている fact16: 在留邦人は晦まさないがしかし単位ベクトルだ fact17: もしあるものは在留邦人であるとすれば「悩ましくてそれは視聴であるということはない」ということは事実と異なる fact18: もしあの給付金がスリングであるならばそれは視聴でないかあるいはそれはみっともなくないかあるいは両方ともである fact19: 仮にあの密航船は介入すとすると「それは悩ましいけどテレビ放映しない」ということは嘘である ; $hypothesis$ = その地縁関係はカムバックする ; $proof$ = 
fact18 & fact5 -> int1: あの給付金は視聴でないかまたはみっともないということはないかあるいはどちらもである; int1 & fact9 & fact4 -> int2: あの密航船は在留邦人だ; fact16 -> int3: 仮にあの密航船が在留邦人だとしたらそれは晦まさないしそれは単位ベクトルである; int2 & int3 -> int4: あの密航船は晦まさないがしかしそれは単位ベクトルである; fact6 -> int5: 仮にあの密航船が晦ますということはないがしかし単位ベクトルだとすれば介入す; int4 & int5 -> int6: あの密航船は介入す; fact1 -> int7: もしあの密航船は介入すとすると「それは悩ましくないしかつテレビ放映しない」ということは成り立たない; int6 & int7 -> int8: 「あの密航船は悩ましいということはないしまたテレビ放映しない」ということは成り立たない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは介入すとすると「それは悩ましくなくてテレビ放映しない」ということは間違いである
事実2: もしとある物は介入すとすれば「「悩ましくてかつテレビ放映しない」ということは成り立つ」ということは成り立たない
事実3: 仮に何らかの物がみっともなくないけれどそれが晦ますとしたらそれはテレビ放映する
事実4: 仮にあの給付金がみっともなくないとしたらあの密航船は在留邦人だ
事実5: あの給付金はスリングだ
事実6: もしなにがしかの物が晦まさないがそれは単位ベクトルであるとするとそれは介入す
事実7: あの密航船は晦まさない
事実8: 仮に何かは在留邦人でないしさらにスリングでないならばこの塗笠は視聴でない
事実9: もしあの給付金が視聴でないならあの密航船は在留邦人である
事実10: あの密航船は晦ますし単位ベクトルだとしたら介入す
事実11: もしも「あの密航船は悩ましいということはなくてテレビ放映しない」ということは偽ならばその地縁関係はカムバックしない
事実12: 仮になにかはスリングだとすれば「それはみっともないということはない一方でカムバックする」ということは偽である
事実13: その地縁関係が悩ましくないならばあの密航船はカムバックする
事実14: もしもとある物が晦ますとすればそれは在留邦人でないし更にスリングでない
事実15: もしもなにがしかのものは介入すとしたら「悩ましくないけどテレビ放映する」ということは誤っている
事実16: 在留邦人は晦まさないがしかし単位ベクトルだ
事実17: もしあるものは在留邦人であるとすれば「悩ましくてそれは視聴であるということはない」ということは事実と異なる
事実18: もしあの給付金がスリングであるならばそれは視聴でないかあるいはそれはみっともなくないかあるいは両方ともである
事実19: 仮にあの密航船は介入すとすると「それは悩ましいけどテレビ放映しない」ということは嘘である

仮説: その地縁関係はカムバックする
1. 事実18と事実5から、推論1: "あの給付金は視聴でないかまたはみっともないということはないかあるいはどちらもである"が導かれる
2. 推論1と事実9と事実4から、推論2: "あの密航船は在留邦人だ"が導かれる
3. 事実16から、推論3: "仮にあの密航船が在留邦人だとしたらそれは晦まさないしそれは単位ベクトルである"が導かれる
4. 推論2と推論3から、推論4: "あの密航船は晦まさないがしかしそれは単位ベクトルである"が導かれる
5. 事実6から、推論5: "仮にあの密航船が晦ますということはないがしかし単位ベクトルだとすれば介入す"が導かれる
6. 推論4と推論5から、推論6: "あの密航船は介入す"が導かれる
7. 事実1から、推論7: "もしあの密航船は介入すとすると「それは悩ましくないしかつテレビ放映しない」ということは成り立たない"が導かれる
8. 推論6と推論7から、推論8: "「あの密航船は悩ましいということはないしまたテレビ放映しない」ということは成り立たない"が導かれる
9. 推論8と事実11から、仮説が否定される

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