「この乗り味は三ｄＢハイブリッドカプラーだし移住者達である」ということは成り立たない
fact1: もし「「すばしこいということはないしその上安全性確保である」ということは成り立つということはない」ものがあるならあの薄衣は平べったくない fact2: 「「十年生まれであるしまたあらましである」ということは事実と異なる」物はある fact3: もし仮にこの乗り味があらましだとしたらそれは事務管理だ fact4: 「もし仮にあの薄衣は平べったくないとしたら「あの大連合は寒しけれどそれは十年生まれでない」ということは成り立たない」ということは真実である fact5: なにかは事務管理だとしたら「それは左手人差し指であるということはないけどあらましである」ということは事実と異なる fact6: 「「移住者達であるしかつ十年生まれだ」ということは成り立たない」ものはある fact7: もし仮に「「あらましでないが広域行政だ」ということは成り立たない」物があるとしたらこの乗り味はあらましだ fact8: もしも「「寒しけれど十年生まれだということはない」ということは誤りな」ものがあるとするとあの東京圏は事務管理だ fact9: 「「破断しないがしかし統計学上である」ということは誤りである」ものはある fact10: 「その発展途上は移住者達でないけど十年生まれである」ということは間違っている fact11: この乗り味はあらましだ fact12: 「その発展途上は移住者達であるしまた十年生まれだ」ということは成り立たない fact13: 「「すばしこくない物であり安全性確保だ」ということは嘘な」物はある fact14: 事務管理は三ｄＢハイブリッドカプラーだ fact15: 仮に「「移住者達でないがしかし十年生まれだ」ということは成り立つということはない」ものがあるとするとこの乗り味は移住者達だ
fact3 & fact11 -> int1: この乗り味は事務管理だ; fact14 -> int2: 仮にこの乗り味が事務管理だとすればそれは三ｄＢハイブリッドカプラーだ; int1 & int2 -> int3: この乗り味は三ｄＢハイブリッドカプラーである; fact10 -> int4: 「「移住者達でないしその上十年生まれである」ということは成り立たない」物はある; int4 & fact15 -> int5: この乗り味は移住者達だ; int3 & int5 -> hypothesis;
fact3 & fact11 -> int1: {B}{a}; fact14 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact10 -> int4: (Ex): ¬(¬{D}x & {F}x); int4 & fact15 -> int5: {D}{a}; int3 & int5 -> hypothesis;
「この乗り味は三ｄＢハイブリッドカプラーだしそれに移住者達である」ということは成り立たない
fact19 -> int6: もし仮にあの東京圏は事務管理だとしたら「「左手人差し指でないしさらにあらましだ」ということは成り立つ」ということは誤っている; fact18 & fact17 -> int7: あの薄衣は平べったいということはない; fact20 & int7 -> int8: 「あの大連合は寒しけれど十年生まれでない」ということは間違っている; int8 -> int9: 「「寒しがしかし十年生まれでない」ということは間違いな」ものはある; int9 & fact16 -> int10: あの東京圏は事務管理である; int6 & int10 -> int11: 「あの東京圏は左手人差し指であるということはないがしかしそれはあらましだ」ということは偽である; int11 -> int12: 「「左手人差し指でないけれどあらましである」ということは間違いな」物はある;
$facts$ = fact1: もし「「すばしこいということはないしその上安全性確保である」ということは成り立つということはない」ものがあるならあの薄衣は平べったくない fact2: 「「十年生まれであるしまたあらましである」ということは事実と異なる」物はある fact3: もし仮にこの乗り味があらましだとしたらそれは事務管理だ fact4: 「もし仮にあの薄衣は平べったくないとしたら「あの大連合は寒しけれどそれは十年生まれでない」ということは成り立たない」ということは真実である fact5: なにかは事務管理だとしたら「それは左手人差し指であるということはないけどあらましである」ということは事実と異なる fact6: 「「移住者達であるしかつ十年生まれだ」ということは成り立たない」ものはある fact7: もし仮に「「あらましでないが広域行政だ」ということは成り立たない」物があるとしたらこの乗り味はあらましだ fact8: もしも「「寒しけれど十年生まれだということはない」ということは誤りな」ものがあるとするとあの東京圏は事務管理だ fact9: 「「破断しないがしかし統計学上である」ということは誤りである」ものはある fact10: 「その発展途上は移住者達でないけど十年生まれである」ということは間違っている fact11: この乗り味はあらましだ fact12: 「その発展途上は移住者達であるしまた十年生まれだ」ということは成り立たない fact13: 「「すばしこくない物であり安全性確保だ」ということは嘘な」物はある fact14: 事務管理は三ｄＢハイブリッドカプラーだ fact15: 仮に「「移住者達でないがしかし十年生まれだ」ということは成り立つということはない」ものがあるとするとこの乗り味は移住者達だ ; $hypothesis$ = 「この乗り味は三ｄＢハイブリッドカプラーだし移住者達である」ということは成り立たない ; $proof$ = 
fact3 & fact11 -> int1: この乗り味は事務管理だ; fact14 -> int2: 仮にこの乗り味が事務管理だとすればそれは三ｄＢハイブリッドカプラーだ; int1 & int2 -> int3: この乗り味は三ｄＢハイブリッドカプラーである; fact10 -> int4: 「「移住者達でないしその上十年生まれである」ということは成り立たない」物はある; int4 & fact15 -> int5: この乗り味は移住者達だ; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もし「「すばしこいということはないしその上安全性確保である」ということは成り立つということはない」ものがあるならあの薄衣は平べったくない
事実2: 「「十年生まれであるしまたあらましである」ということは事実と異なる」物はある
事実3: もし仮にこの乗り味があらましだとしたらそれは事務管理だ
事実4: 「もし仮にあの薄衣は平べったくないとしたら「あの大連合は寒しけれどそれは十年生まれでない」ということは成り立たない」ということは真実である
事実5: なにかは事務管理だとしたら「それは左手人差し指であるということはないけどあらましである」ということは事実と異なる
事実6: 「「移住者達であるしかつ十年生まれだ」ということは成り立たない」ものはある
事実7: もし仮に「「あらましでないが広域行政だ」ということは成り立たない」物があるとしたらこの乗り味はあらましだ
事実8: もしも「「寒しけれど十年生まれだということはない」ということは誤りな」ものがあるとするとあの東京圏は事務管理だ
事実9: 「「破断しないがしかし統計学上である」ということは誤りである」ものはある
事実10: 「その発展途上は移住者達でないけど十年生まれである」ということは間違っている
事実11: この乗り味はあらましだ
事実12: 「その発展途上は移住者達であるしまた十年生まれだ」ということは成り立たない
事実13: 「「すばしこくない物であり安全性確保だ」ということは嘘な」物はある
事実14: 事務管理は三ｄＢハイブリッドカプラーだ
事実15: 仮に「「移住者達でないがしかし十年生まれだ」ということは成り立つということはない」ものがあるとするとこの乗り味は移住者達だ

仮説: 「この乗り味は三ｄＢハイブリッドカプラーだし移住者達である」ということは成り立たない
1. 事実3と事実11から、推論1: "この乗り味は事務管理だ"が導かれる
2. 事実14から、推論2: "仮にこの乗り味が事務管理だとすればそれは三ｄＢハイブリッドカプラーだ"が導かれる
3. 推論1と推論2から、推論3: "この乗り味は三ｄＢハイブリッドカプラーである"が導かれる
4. 事実10から、推論4: "「「移住者達でないしその上十年生まれである」ということは成り立たない」物はある"が導かれる
5. 推論4と事実15から、推論5: "この乗り味は移住者達だ"が導かれる
6. 推論3と推論5から、仮説が否定される

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