この高度技術はＳＵＢワンでない
fact1: 「その選手権は明星だがそれは思い出深くない」ということは嘘である fact2: その選手権は受け入れられ易いということはない fact3: もしその仲人役は生み難いなら「明星である」ということは正しい fact4: もし「その仲人役は底堅くなくて生み難くない」ということは成り立たないとすると明星である fact5: 仮に何かは明星であるということはないかもしくはそれは緩み易くないかまたは両方ともであるとしたら緩み易いということはない fact6: その選手権は緩み易くないとすると「それは生み難くなくてその上思い出深くない」ということは成り立つ fact7: 仮に「この高度技術はＳＵＢワンでないしかつそれは緩み易くない」ということは嘘ならばそれは生み難い fact8: もしもその仲人役が明星ならばあの高度技術はＳＵＢワンだ fact9: その選手権は生み難くないとしたら「その仲人役は底堅くないしそれに生み難くない」ということは誤っている fact10: その選手権は緩み易いということはない
fact6 & fact10 -> int1: その選手権は生み難いということはないしさらに思い出深くない; int1 -> int2: その選手権は生み難くない; int2 & fact9 -> int3: 「その仲人役は底堅いということはないし生み難くない」ということは成り立たない; int3 & fact4 -> int4: その仲人役は明星だ; int4 & fact8 -> hypothesis;
「この高度技術は緩み易くない」ということは成り立つ
fact11 -> int5: もし仮にこの高度技術が明星でないかもしくは緩み易くないかあるいは両方ともならば緩み易くない;
$facts$ = fact1: 「その選手権は明星だがそれは思い出深くない」ということは嘘である fact2: その選手権は受け入れられ易いということはない fact3: もしその仲人役は生み難いなら「明星である」ということは正しい fact4: もし「その仲人役は底堅くなくて生み難くない」ということは成り立たないとすると明星である fact5: 仮に何かは明星であるということはないかもしくはそれは緩み易くないかまたは両方ともであるとしたら緩み易いということはない fact6: その選手権は緩み易くないとすると「それは生み難くなくてその上思い出深くない」ということは成り立つ fact7: 仮に「この高度技術はＳＵＢワンでないしかつそれは緩み易くない」ということは嘘ならばそれは生み難い fact8: もしもその仲人役が明星ならばあの高度技術はＳＵＢワンだ fact9: その選手権は生み難くないとしたら「その仲人役は底堅くないしそれに生み難くない」ということは誤っている fact10: その選手権は緩み易いということはない ; $hypothesis$ = この高度技術はＳＵＢワンでない ; $proof$ = 
fact6 & fact10 -> int1: その選手権は生み難いということはないしさらに思い出深くない; int1 -> int2: その選手権は生み難くない; int2 & fact9 -> int3: 「その仲人役は底堅いということはないし生み難くない」ということは成り立たない; int3 & fact4 -> int4: その仲人役は明星だ; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: 「その選手権は明星だがそれは思い出深くない」ということは嘘である
事実2: その選手権は受け入れられ易いということはない
事実3: もしその仲人役は生み難いなら「明星である」ということは正しい
事実4: もし「その仲人役は底堅くなくて生み難くない」ということは成り立たないとすると明星である
事実5: 仮に何かは明星であるということはないかもしくはそれは緩み易くないかまたは両方ともであるとしたら緩み易いということはない
事実6: その選手権は緩み易くないとすると「それは生み難くなくてその上思い出深くない」ということは成り立つ
事実7: 仮に「この高度技術はＳＵＢワンでないしかつそれは緩み易くない」ということは嘘ならばそれは生み難い
事実8: もしもその仲人役が明星ならばあの高度技術はＳＵＢワンだ
事実9: その選手権は生み難くないとしたら「その仲人役は底堅くないしそれに生み難くない」ということは誤っている
事実10: その選手権は緩み易いということはない

仮説: この高度技術はＳＵＢワンでない
1. 事実6と事実10から、推論1: "その選手権は生み難いということはないしさらに思い出深くない"が導かれる
2. 推論1から、推論2: "その選手権は生み難くない"が導かれる
3. 推論2と事実9から、推論3: "「その仲人役は底堅いということはないし生み難くない」ということは成り立たない"が導かれる
4. 推論3と事実4から、推論4: "その仲人役は明星だ"が導かれる
5. 推論4と事実8から、仮説が否定される

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