この携帯ストラップは脱力感だ
fact1: もし仮にその委託者は十二細胞であるなら遅滞する fact2: もし仮に「「仕方無くないし外的要因だ」ということは成り立たない」ものがあるとしたらこの最新技術は暴行・脅迫である fact3: 「その委託者は口喧しくないけど外的要因だ」ということは誤りだ fact4: 「その委託者は仕方無くない一方で外的要因である」ということは成り立たない fact5: もしとあるものが口喧しいとすればそれは脱力感である fact6: とある物は仕方無くない一方でそれは外的要因だ fact7: 仮に「この最新技術は暴行・脅迫であるけれど口喧しくない」ということは事実と異なればこの携帯ストラップは脱力感でない fact8: 仮に「この最新技術は暴行・脅迫である」ということは本当であるとするとこの携帯ストラップは口喧しい
fact4 -> int1: 「「仕方無くなくてそれに外的要因である」ということは間違いな」ものはある; int1 & fact2 -> int2: この最新技術は暴行・脅迫である; int2 & fact8 -> int3: この携帯ストラップは口喧しい; fact5 -> int4: もしもこの携帯ストラップが口喧しいならそれは脱力感である; int3 & int4 -> hypothesis;
この携帯ストラップは脱力感でない
$facts$ = fact1: もし仮にその委託者は十二細胞であるなら遅滞する fact2: もし仮に「「仕方無くないし外的要因だ」ということは成り立たない」ものがあるとしたらこの最新技術は暴行・脅迫である fact3: 「その委託者は口喧しくないけど外的要因だ」ということは誤りだ fact4: 「その委託者は仕方無くない一方で外的要因である」ということは成り立たない fact5: もしとあるものが口喧しいとすればそれは脱力感である fact6: とある物は仕方無くない一方でそれは外的要因だ fact7: 仮に「この最新技術は暴行・脅迫であるけれど口喧しくない」ということは事実と異なればこの携帯ストラップは脱力感でない fact8: 仮に「この最新技術は暴行・脅迫である」ということは本当であるとするとこの携帯ストラップは口喧しい ; $hypothesis$ = この携帯ストラップは脱力感だ ; $proof$ = 
fact4 -> int1: 「「仕方無くなくてそれに外的要因である」ということは間違いな」ものはある; int1 & fact2 -> int2: この最新技術は暴行・脅迫である; int2 & fact8 -> int3: この携帯ストラップは口喧しい; fact5 -> int4: もしもこの携帯ストラップが口喧しいならそれは脱力感である; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にその委託者は十二細胞であるなら遅滞する
事実2: もし仮に「「仕方無くないし外的要因だ」ということは成り立たない」ものがあるとしたらこの最新技術は暴行・脅迫である
事実3: 「その委託者は口喧しくないけど外的要因だ」ということは誤りだ
事実4: 「その委託者は仕方無くない一方で外的要因である」ということは成り立たない
事実5: もしとあるものが口喧しいとすればそれは脱力感である
事実6: とある物は仕方無くない一方でそれは外的要因だ
事実7: 仮に「この最新技術は暴行・脅迫であるけれど口喧しくない」ということは事実と異なればこの携帯ストラップは脱力感でない
事実8: 仮に「この最新技術は暴行・脅迫である」ということは本当であるとするとこの携帯ストラップは口喧しい

仮説: この携帯ストラップは脱力感だ
1. 事実4から、推論1: "「「仕方無くなくてそれに外的要因である」ということは間違いな」ものはある"が導かれる
2. 推論1と事実2から、推論2: "この最新技術は暴行・脅迫である"が導かれる
3. 推論2と事実8から、推論3: "この携帯ストラップは口喧しい"が導かれる
4. 事実5から、推論4: "もしもこの携帯ストラップが口喧しいならそれは脱力感である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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