「その省略形は横行するしさらに上がれる」ということは嘘である
fact1: もしもその文部が狭ししそれに上がれるとすればその省略形は狭しない fact2: 「あのＬＡＮ内は測らない」ということは成り立つ fact3: もしその吉ヶ浦Ｋが馳駆すればその文部は狭し fact4: 「あの入山者は測らない」ということは成り立つ fact5: その省略形は閉会する fact6: あの入山者は馳駆しない fact7: 仮に「とある物は友人間だがしかし測らない」ということは成り立たないとするとそれは測る fact8: もし仮にその文部が馳駆するとしたらその省略形は友人間だ fact9: 狭しものは横行する fact10: 「もし仮にある物が友人間だとするとそれは上がれる」ということは確かだ fact11: その文部は馳駆する fact12: もし仮に「その文部は狭し」ということは本当だとすれば「「あの入山者は友人間であるが測らない」ということは事実だ」ということは成り立たない fact13: あの一本鞭は友人間でない fact14: あの入山者は狭し fact15: その省略形は測る fact16: もしもあの入山者が測らないとしたらその省略形は狭し
fact16 & fact4 -> int1: その省略形は狭し; fact9 -> int2: もし仮にその省略形が狭しならそれは横行する; int1 & int2 -> int3: その省略形は横行する; fact8 & fact11 -> int4: その省略形は友人間である; fact10 -> int5: もしもその省略形が友人間ならそれは上がれる; int4 & int5 -> int6: 「その省略形は上がれる」ということは偽でない; int3 & int6 -> hypothesis;
「その省略形は横行するしそれに上がれる」ということは間違いである
fact18 -> int7: もし「あの入山者は友人間である一方で測らない」ということは偽なら「測る」ということは事実だ;
$facts$ = fact1: もしもその文部が狭ししそれに上がれるとすればその省略形は狭しない fact2: 「あのＬＡＮ内は測らない」ということは成り立つ fact3: もしその吉ヶ浦Ｋが馳駆すればその文部は狭し fact4: 「あの入山者は測らない」ということは成り立つ fact5: その省略形は閉会する fact6: あの入山者は馳駆しない fact7: 仮に「とある物は友人間だがしかし測らない」ということは成り立たないとするとそれは測る fact8: もし仮にその文部が馳駆するとしたらその省略形は友人間だ fact9: 狭しものは横行する fact10: 「もし仮にある物が友人間だとするとそれは上がれる」ということは確かだ fact11: その文部は馳駆する fact12: もし仮に「その文部は狭し」ということは本当だとすれば「「あの入山者は友人間であるが測らない」ということは事実だ」ということは成り立たない fact13: あの一本鞭は友人間でない fact14: あの入山者は狭し fact15: その省略形は測る fact16: もしもあの入山者が測らないとしたらその省略形は狭し ; $hypothesis$ = 「その省略形は横行するしさらに上がれる」ということは嘘である ; $proof$ = 
fact16 & fact4 -> int1: その省略形は狭し; fact9 -> int2: もし仮にその省略形が狭しならそれは横行する; int1 & int2 -> int3: その省略形は横行する; fact8 & fact11 -> int4: その省略形は友人間である; fact10 -> int5: もしもその省略形が友人間ならそれは上がれる; int4 & int5 -> int6: 「その省略形は上がれる」ということは偽でない; int3 & int6 -> hypothesis; __DISPROVED__
事実1: もしもその文部が狭ししそれに上がれるとすればその省略形は狭しない
事実2: 「あのＬＡＮ内は測らない」ということは成り立つ
事実3: もしその吉ヶ浦Ｋが馳駆すればその文部は狭し
事実4: 「あの入山者は測らない」ということは成り立つ
事実5: その省略形は閉会する
事実6: あの入山者は馳駆しない
事実7: 仮に「とある物は友人間だがしかし測らない」ということは成り立たないとするとそれは測る
事実8: もし仮にその文部が馳駆するとしたらその省略形は友人間だ
事実9: 狭しものは横行する
事実10: 「もし仮にある物が友人間だとするとそれは上がれる」ということは確かだ
事実11: その文部は馳駆する
事実12: もし仮に「その文部は狭し」ということは本当だとすれば「「あの入山者は友人間であるが測らない」ということは事実だ」ということは成り立たない
事実13: あの一本鞭は友人間でない
事実14: あの入山者は狭し
事実15: その省略形は測る
事実16: もしもあの入山者が測らないとしたらその省略形は狭し

仮説: 「その省略形は横行するしさらに上がれる」ということは嘘である
1. 事実16と事実4から、推論1: "その省略形は狭し"が導かれる
2. 事実9から、推論2: "もし仮にその省略形が狭しならそれは横行する"が導かれる
3. 推論1と推論2から、推論3: "その省略形は横行する"が導かれる
4. 事実8と事実11から、推論4: "その省略形は友人間である"が導かれる
5. 事実10から、推論5: "もしもその省略形が友人間ならそれは上がれる"が導かれる
6. 推論4と推論5から、推論6: "「その省略形は上がれる」ということは偽でない"が導かれる
7. 推論3と推論6から、仮説が否定される

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