「あの乗馬服は吊り易くないがしかし断定し難い」ということは嘘だ
fact1: あの乗馬服は評定所でないが断定し難い fact2: 仮にとあるものは気張るかあるいは交換機であるか両方ならそれは吊り易くない fact3: もしも「日露衝突でない」物があればこのウォームアップは評定所であるしまた断定し難い fact4: あのホームグラウンドが吊り易くないとしたらあの乗馬服は吊り易くない一方でそれは断定し難い fact5: あのホームグラウンドは気張るしそれは評定所である fact6: なにがしかのものは日露衝突でない fact7: もし「あの一時頃は御宜しい」ということは確かであるなら「例外無くない」ということは成り立つ fact8: もしもこのウォームアップが交換機だとすればそれは気張る fact9: あの乗馬服が気張るならそれは吊り易くない
fact5 -> int1: 「あのホームグラウンドは気張る」ということは事実である; int1 -> int2: あのホームグラウンドは気張るかあるいは交換機だ; fact2 -> int3: 仮に「あのホームグラウンドは気張るかまたは交換機だ」ということは確かだとしたら吊り易いということはない; int2 & int3 -> int4: あのホームグラウンドは吊り易くない; int4 & fact4 -> hypothesis;
「このウォームアップは吊り易くない」ということは成り立つ
fact12 & fact11 -> int5: このウォームアップが評定所だし断定し難い; int5 -> int6: このウォームアップは評定所である;
$facts$ = fact1: あの乗馬服は評定所でないが断定し難い fact2: 仮にとあるものは気張るかあるいは交換機であるか両方ならそれは吊り易くない fact3: もしも「日露衝突でない」物があればこのウォームアップは評定所であるしまた断定し難い fact4: あのホームグラウンドが吊り易くないとしたらあの乗馬服は吊り易くない一方でそれは断定し難い fact5: あのホームグラウンドは気張るしそれは評定所である fact6: なにがしかのものは日露衝突でない fact7: もし「あの一時頃は御宜しい」ということは確かであるなら「例外無くない」ということは成り立つ fact8: もしもこのウォームアップが交換機だとすればそれは気張る fact9: あの乗馬服が気張るならそれは吊り易くない ; $hypothesis$ = 「あの乗馬服は吊り易くないがしかし断定し難い」ということは嘘だ ; $proof$ = 
fact5 -> int1: 「あのホームグラウンドは気張る」ということは事実である; int1 -> int2: あのホームグラウンドは気張るかあるいは交換機だ; fact2 -> int3: 仮に「あのホームグラウンドは気張るかまたは交換機だ」ということは確かだとしたら吊り易いということはない; int2 & int3 -> int4: あのホームグラウンドは吊り易くない; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: あの乗馬服は評定所でないが断定し難い
事実2: 仮にとあるものは気張るかあるいは交換機であるか両方ならそれは吊り易くない
事実3: もしも「日露衝突でない」物があればこのウォームアップは評定所であるしまた断定し難い
事実4: あのホームグラウンドが吊り易くないとしたらあの乗馬服は吊り易くない一方でそれは断定し難い
事実5: あのホームグラウンドは気張るしそれは評定所である
事実6: なにがしかのものは日露衝突でない
事実7: もし「あの一時頃は御宜しい」ということは確かであるなら「例外無くない」ということは成り立つ
事実8: もしもこのウォームアップが交換機だとすればそれは気張る
事実9: あの乗馬服が気張るならそれは吊り易くない

仮説: 「あの乗馬服は吊り易くないがしかし断定し難い」ということは嘘だ
1. 事実5から、推論1: "「あのホームグラウンドは気張る」ということは事実である"が導かれる
2. 推論1から、推論2: "あのホームグラウンドは気張るかあるいは交換機だ"が導かれる
3. 事実2から、推論3: "仮に「あのホームグラウンドは気張るかまたは交換機だ」ということは確かだとしたら吊り易いということはない"が導かれる
4. 推論2と推論3から、推論4: "あのホームグラウンドは吊り易くない"が導かれる
5. 推論4と事実4から、仮説が否定される

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