あのラーガは軽ーいということはなくてしかもそれは請け負い契約書でない
fact1: 仮に「あの通婚圏は遣り逃げしない」ということは真実ならば「このピットインは撮影所システムだし心地良い」ということは嘘である fact2: もしもあのラーガは踏み消さないなら「軽ーいしそれは請け負い契約書でない」ということは成り立たない fact3: もしこのピットインが採算であるとすればあの通婚圏は七十二人でないし恙無いということはない fact4: もしもあるものは踏み消さないとすれば「それは軽ーいということはないし更に請け負い契約書だ」ということは本当でない fact5: 仮に何らかのものは踏み消さないならば「軽ーくないし請け負い契約書でない」ということは嘘である fact6: もしなにがしかのものは踏み消さないとすると「それは軽ーいけど請け負い契約書でない」ということは間違いだ fact7: 「あのラーガは軽ーいが請け負い契約書でない」ということは間違っている fact8: もし仮に「あの通婚圏は七十二人でない」ということは正しいとすると自然消滅するし踏み消す fact9: もしなにかは遣り逃げするなら軽ーくないしおまけにそれは請け負い契約書でない fact10: もし仮に「このピットインが撮影所システムだししかも心地良い」ということは成り立たないとするとあのラーガは踏み消さない fact11: 「あのラーガは踏み消さない」ということは事実だとしたら「軽ーくないしそれは請け負い契約書だ」ということは成り立たない fact12: もし仮にあの小矢部商工会は成立基盤でないとすると「それは撮影所システムでなくて加えて励まない」ということは事実と異なる fact13: 「あのラーガは軽ーくないけれどそれは請け負い契約書である」ということは間違いだ fact14: あの通婚圏は遣り逃げしない fact15: 仮にこのピットインが心地良いということはないとしたらあのラーガは踏み消さない
fact1 & fact14 -> int1: 「このピットインは撮影所システムだし心地良い」ということは成り立たない; int1 & fact10 -> int2: あのラーガは踏み消さない; fact5 -> int3: あのラーガは踏み消さないとすれば「軽ーくないし請け負い契約書でない」ということは偽だ; int2 & int3 -> hypothesis;
あのラーガは軽ーくないし請け負い契約書でない
fact16 -> int4: もしも「あのラーガは遣り逃げする」ということは成り立つとしたら軽ーいということはないし更に請け負い契約書でない;
$facts$ = fact1: 仮に「あの通婚圏は遣り逃げしない」ということは真実ならば「このピットインは撮影所システムだし心地良い」ということは嘘である fact2: もしもあのラーガは踏み消さないなら「軽ーいしそれは請け負い契約書でない」ということは成り立たない fact3: もしこのピットインが採算であるとすればあの通婚圏は七十二人でないし恙無いということはない fact4: もしもあるものは踏み消さないとすれば「それは軽ーいということはないし更に請け負い契約書だ」ということは本当でない fact5: 仮に何らかのものは踏み消さないならば「軽ーくないし請け負い契約書でない」ということは嘘である fact6: もしなにがしかのものは踏み消さないとすると「それは軽ーいけど請け負い契約書でない」ということは間違いだ fact7: 「あのラーガは軽ーいが請け負い契約書でない」ということは間違っている fact8: もし仮に「あの通婚圏は七十二人でない」ということは正しいとすると自然消滅するし踏み消す fact9: もしなにかは遣り逃げするなら軽ーくないしおまけにそれは請け負い契約書でない fact10: もし仮に「このピットインが撮影所システムだししかも心地良い」ということは成り立たないとするとあのラーガは踏み消さない fact11: 「あのラーガは踏み消さない」ということは事実だとしたら「軽ーくないしそれは請け負い契約書だ」ということは成り立たない fact12: もし仮にあの小矢部商工会は成立基盤でないとすると「それは撮影所システムでなくて加えて励まない」ということは事実と異なる fact13: 「あのラーガは軽ーくないけれどそれは請け負い契約書である」ということは間違いだ fact14: あの通婚圏は遣り逃げしない fact15: 仮にこのピットインが心地良いということはないとしたらあのラーガは踏み消さない ; $hypothesis$ = あのラーガは軽ーいということはなくてしかもそれは請け負い契約書でない ; $proof$ = 
fact1 & fact14 -> int1: 「このピットインは撮影所システムだし心地良い」ということは成り立たない; int1 & fact10 -> int2: あのラーガは踏み消さない; fact5 -> int3: あのラーガは踏み消さないとすれば「軽ーくないし請け負い契約書でない」ということは偽だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「あの通婚圏は遣り逃げしない」ということは真実ならば「このピットインは撮影所システムだし心地良い」ということは嘘である
事実2: もしもあのラーガは踏み消さないなら「軽ーいしそれは請け負い契約書でない」ということは成り立たない
事実3: もしこのピットインが採算であるとすればあの通婚圏は七十二人でないし恙無いということはない
事実4: もしもあるものは踏み消さないとすれば「それは軽ーいということはないし更に請け負い契約書だ」ということは本当でない
事実5: 仮に何らかのものは踏み消さないならば「軽ーくないし請け負い契約書でない」ということは嘘である
事実6: もしなにがしかのものは踏み消さないとすると「それは軽ーいけど請け負い契約書でない」ということは間違いだ
事実7: 「あのラーガは軽ーいが請け負い契約書でない」ということは間違っている
事実8: もし仮に「あの通婚圏は七十二人でない」ということは正しいとすると自然消滅するし踏み消す
事実9: もしなにかは遣り逃げするなら軽ーくないしおまけにそれは請け負い契約書でない
事実10: もし仮に「このピットインが撮影所システムだししかも心地良い」ということは成り立たないとするとあのラーガは踏み消さない
事実11: 「あのラーガは踏み消さない」ということは事実だとしたら「軽ーくないしそれは請け負い契約書だ」ということは成り立たない
事実12: もし仮にあの小矢部商工会は成立基盤でないとすると「それは撮影所システムでなくて加えて励まない」ということは事実と異なる
事実13: 「あのラーガは軽ーくないけれどそれは請け負い契約書である」ということは間違いだ
事実14: あの通婚圏は遣り逃げしない
事実15: 仮にこのピットインが心地良いということはないとしたらあのラーガは踏み消さない

仮説: あのラーガは軽ーいということはなくてしかもそれは請け負い契約書でない
1. 事実1と事実14から、推論1: "「このピットインは撮影所システムだし心地良い」ということは成り立たない"が導かれる
2. 推論1と事実10から、推論2: "あのラーガは踏み消さない"が導かれる
3. 事実5から、推論3: "あのラーガは踏み消さないとすれば「軽ーくないし請け負い契約書でない」ということは偽だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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