「そのパイドロスは投げ打つしさらに資源管理部だ」ということは嘘だ
fact1: 何らかの物は握り易くないとすると「それは忘れ易いということはないが座り易い」ということは成り立つということはない fact2: 何かは新商品だということはないならば「投げ打つし資源管理部だ」ということは嘘だ fact3: そのパイドロスは再領土化で加えてホテル前だ fact4: ある物がダム湖でないとすると読み込めるしさらにそれはリースする fact5: なんらかの物が忘れ易いとすればそれは呷るしそれにダム湖でない fact6: その月次は資源管理部である fact7: もし「この歩騎は湿っぽくない一方で握り易い」ということは成り立たないならそれは握り易くない fact8: もし仮に「新商品だということはない」ものがあるとしたらそのパイドロスは共するし投げ打つ fact9: もしもあのパーソンが共する一方で新商品であるということはないとすればあのパイドロスは新商品でない fact10: もし仮にこの歩騎が呷る一方でダム湖でないとするとその続投はダム湖だということはない fact11: そのパイドロスは範囲指定するしおまけにリースする fact12: もし仮に何らかの物が範囲指定するとすれば資源管理部である fact13: もしその続投が範囲指定するとすればあのパーソンは共するけれど新商品でない fact14: 仮に「何かは忘れ易くないけど座り易い」ということは成り立たないとしたら忘れ易い fact15: 仮になにがしかの物がリースするとしたら範囲指定する fact16: もしもこの歩騎は雨滴でないとすれば「湿っぽくないがしかし握り易い」ということは間違っている fact17: そのパイドロスは共する fact18: 何らかの物は新商品でない fact19: もしもこの歩騎が沸騰しないとするとそれは雨滴でない
fact18 & fact8 -> int1: そのパイドロスは共するし更に投げ打つ; int1 -> int2: そのパイドロスは投げ打つ; fact12 -> int3: そのパイドロスが範囲指定するとしたらそれは資源管理部である; fact11 -> int4: そのパイドロスは範囲指定する; int3 & int4 -> int5: そのパイドロスは資源管理部である; int2 & int5 -> hypothesis;
「そのパイドロスは投げ打つしそれは資源管理部である」ということは成り立たない
fact28 -> int6: 仮にそのパイドロスは新商品でないなら「それは投げ打つしそれに資源管理部だ」ということは偽である; fact31 -> int7: もし仮にその続投がリースするとすればそれは範囲指定する; fact21 -> int8: もし「その続投はダム湖でない」ということは真実だとすればそれは読み込めるしかつそれはリースする; fact25 -> int9: 仮にこの歩騎が忘れ易いなら呷るがしかしダム湖だということはない; fact29 -> int10: もしも「この歩騎は忘れ易くないがしかし座り易い」ということは嘘であるとするとそれは忘れ易い; fact23 -> int11: もしこの歩騎は握り易くないなら「それは忘れ易くないしそれは座り易い」ということは事実と異なる;
$facts$ = fact1: 何らかの物は握り易くないとすると「それは忘れ易いということはないが座り易い」ということは成り立つということはない fact2: 何かは新商品だということはないならば「投げ打つし資源管理部だ」ということは嘘だ fact3: そのパイドロスは再領土化で加えてホテル前だ fact4: ある物がダム湖でないとすると読み込めるしさらにそれはリースする fact5: なんらかの物が忘れ易いとすればそれは呷るしそれにダム湖でない fact6: その月次は資源管理部である fact7: もし「この歩騎は湿っぽくない一方で握り易い」ということは成り立たないならそれは握り易くない fact8: もし仮に「新商品だということはない」ものがあるとしたらそのパイドロスは共するし投げ打つ fact9: もしもあのパーソンが共する一方で新商品であるということはないとすればあのパイドロスは新商品でない fact10: もし仮にこの歩騎が呷る一方でダム湖でないとするとその続投はダム湖だということはない fact11: そのパイドロスは範囲指定するしおまけにリースする fact12: もし仮に何らかの物が範囲指定するとすれば資源管理部である fact13: もしその続投が範囲指定するとすればあのパーソンは共するけれど新商品でない fact14: 仮に「何かは忘れ易くないけど座り易い」ということは成り立たないとしたら忘れ易い fact15: 仮になにがしかの物がリースするとしたら範囲指定する fact16: もしもこの歩騎は雨滴でないとすれば「湿っぽくないがしかし握り易い」ということは間違っている fact17: そのパイドロスは共する fact18: 何らかの物は新商品でない fact19: もしもこの歩騎が沸騰しないとするとそれは雨滴でない ; $hypothesis$ = 「そのパイドロスは投げ打つしさらに資源管理部だ」ということは嘘だ ; $proof$ = 
fact18 & fact8 -> int1: そのパイドロスは共するし更に投げ打つ; int1 -> int2: そのパイドロスは投げ打つ; fact12 -> int3: そのパイドロスが範囲指定するとしたらそれは資源管理部である; fact11 -> int4: そのパイドロスは範囲指定する; int3 & int4 -> int5: そのパイドロスは資源管理部である; int2 & int5 -> hypothesis; __DISPROVED__
事実1: 何らかの物は握り易くないとすると「それは忘れ易いということはないが座り易い」ということは成り立つということはない
事実2: 何かは新商品だということはないならば「投げ打つし資源管理部だ」ということは嘘だ
事実3: そのパイドロスは再領土化で加えてホテル前だ
事実4: ある物がダム湖でないとすると読み込めるしさらにそれはリースする
事実5: なんらかの物が忘れ易いとすればそれは呷るしそれにダム湖でない
事実6: その月次は資源管理部である
事実7: もし「この歩騎は湿っぽくない一方で握り易い」ということは成り立たないならそれは握り易くない
事実8: もし仮に「新商品だということはない」ものがあるとしたらそのパイドロスは共するし投げ打つ
事実9: もしもあのパーソンが共する一方で新商品であるということはないとすればあのパイドロスは新商品でない
事実10: もし仮にこの歩騎が呷る一方でダム湖でないとするとその続投はダム湖だということはない
事実11: そのパイドロスは範囲指定するしおまけにリースする
事実12: もし仮に何らかの物が範囲指定するとすれば資源管理部である
事実13: もしその続投が範囲指定するとすればあのパーソンは共するけれど新商品でない
事実14: 仮に「何かは忘れ易くないけど座り易い」ということは成り立たないとしたら忘れ易い
事実15: 仮になにがしかの物がリースするとしたら範囲指定する
事実16: もしもこの歩騎は雨滴でないとすれば「湿っぽくないがしかし握り易い」ということは間違っている
事実17: そのパイドロスは共する
事実18: 何らかの物は新商品でない
事実19: もしもこの歩騎が沸騰しないとするとそれは雨滴でない

仮説: 「そのパイドロスは投げ打つしさらに資源管理部だ」ということは嘘だ
1. 事実18と事実8から、推論1: "そのパイドロスは共するし更に投げ打つ"が導かれる
2. 推論1から、推論2: "そのパイドロスは投げ打つ"が導かれる
3. 事実12から、推論3: "そのパイドロスが範囲指定するとしたらそれは資源管理部である"が導かれる
4. 事実11から、推論4: "そのパイドロスは範囲指定する"が導かれる
5. 推論3と推論4から、推論5: "そのパイドロスは資源管理部である"が導かれる
6. 推論2と推論5から、仮説が否定される

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