その羊肉は超克する一方で叩けない
fact1: もし何らかの物が二倍するなら債券先物取り引きだということはない fact2: 「あの動かし方は長過ぎる一方で債券先物取り引きだということはない」ということは誤りである fact3: あの動かし方は好ましない fact4: もし仮にあの動かし方は超克するということはないなら「その羊肉は超克するけど叩けない」ということは偽である fact5: あのカジュアルは二倍しないなら「あの動かし方は二倍する一方でそれは超克しない」ということは事実と異なる fact6: その警察官等は区別すらない fact7: もしもあのカジュアルは伝わり易くないなら「あの動かし方は伝わり易いが二発でない」ということは誤りだ fact8: この叩き梅は二倍しない fact9: もし「あの動かし方は伝わり易いけれど二倍しない」ということは間違いだとしたらそれは債券先物取り引きだということはない fact10: 「その羊肉は債券先物取り引きだ一方で叩けるということはない」ということは偽ならばそれは伝わり易くない fact11: もしあのカジュアルは二倍しないなら「あの動かし方は二倍するが伝わり易くない」ということは事実と異なる fact12: もし仮に「あるものは伝わり易いけどそれは長過ぎない」ということは成り立たないならばそれは超克しない fact13: 仮にある物が超克しないなら叩けない fact14: 「あのカジュアルは財物で加えて叩ける」ということは成り立たない fact15: もしも何かは二発でないなら超克するしその上叩けない fact16: もし「あのカジュアルは伝わり易くない」ということは成り立てば「あの動かし方は伝わり易いが長過ぎるということはない」ということは成り立たない fact17: 「その羊肉は二倍するけれど超克しない」ということは間違っている fact18: 「あの符号化は疚しいしその上欠ける」ということは確かである fact19: あの動かし方は代位しない fact20: あのカジュアルは二発であるし加えて二倍する fact21: 仮になにがしかのものが点滅すれば冗談ぽくない fact22: あの動かし方は如くということはない fact23: もしも「何らかのものは債券先物取り引きでない」ということは確かであるとするとそれは区別すらないし加えてそれは伝わり易くない fact24: その羊肉は二倍しない fact25: 「あの動かし方は二発でそれに素晴らし」ということは間違いである
fact20 -> int1: あのカジュアルは二倍する; fact1 -> int2: 仮にあのカジュアルが二倍するとすればそれは債券先物取り引きでない; int1 & int2 -> int3: あのカジュアルは債券先物取り引きでない; fact23 -> int4: 「あのカジュアルは債券先物取り引きであるということはない」ということは事実であるとしたらそれは区別すらなくて伝わり易いということはない; int3 & int4 -> int5: あのカジュアルは区別すらないしおまけにそれは伝わり易くない; int5 -> int6: あのカジュアルは伝わり易くない; int6 & fact16 -> int7: 「あの動かし方は伝わり易いけど長過ぎない」ということは成り立つということはない; fact12 -> int8: 「あの動かし方は伝わり易いがそれは長過ぎない」ということは嘘であるなら超克するということはない; int7 & int8 -> int9: あの動かし方は超克しない; int9 & fact4 -> hypothesis;
その羊肉は超克するがしかし叩けない
fact26 -> int10: もしもその羊肉が二発でないとしたら超克するし叩けない;
$facts$ = fact1: もし何らかの物が二倍するなら債券先物取り引きだということはない fact2: 「あの動かし方は長過ぎる一方で債券先物取り引きだということはない」ということは誤りである fact3: あの動かし方は好ましない fact4: もし仮にあの動かし方は超克するということはないなら「その羊肉は超克するけど叩けない」ということは偽である fact5: あのカジュアルは二倍しないなら「あの動かし方は二倍する一方でそれは超克しない」ということは事実と異なる fact6: その警察官等は区別すらない fact7: もしもあのカジュアルは伝わり易くないなら「あの動かし方は伝わり易いが二発でない」ということは誤りだ fact8: この叩き梅は二倍しない fact9: もし「あの動かし方は伝わり易いけれど二倍しない」ということは間違いだとしたらそれは債券先物取り引きだということはない fact10: 「その羊肉は債券先物取り引きだ一方で叩けるということはない」ということは偽ならばそれは伝わり易くない fact11: もしあのカジュアルは二倍しないなら「あの動かし方は二倍するが伝わり易くない」ということは事実と異なる fact12: もし仮に「あるものは伝わり易いけどそれは長過ぎない」ということは成り立たないならばそれは超克しない fact13: 仮にある物が超克しないなら叩けない fact14: 「あのカジュアルは財物で加えて叩ける」ということは成り立たない fact15: もしも何かは二発でないなら超克するしその上叩けない fact16: もし「あのカジュアルは伝わり易くない」ということは成り立てば「あの動かし方は伝わり易いが長過ぎるということはない」ということは成り立たない fact17: 「その羊肉は二倍するけれど超克しない」ということは間違っている fact18: 「あの符号化は疚しいしその上欠ける」ということは確かである fact19: あの動かし方は代位しない fact20: あのカジュアルは二発であるし加えて二倍する fact21: 仮になにがしかのものが点滅すれば冗談ぽくない fact22: あの動かし方は如くということはない fact23: もしも「何らかのものは債券先物取り引きでない」ということは確かであるとするとそれは区別すらないし加えてそれは伝わり易くない fact24: その羊肉は二倍しない fact25: 「あの動かし方は二発でそれに素晴らし」ということは間違いである ; $hypothesis$ = その羊肉は超克する一方で叩けない ; $proof$ = 
fact20 -> int1: あのカジュアルは二倍する; fact1 -> int2: 仮にあのカジュアルが二倍するとすればそれは債券先物取り引きでない; int1 & int2 -> int3: あのカジュアルは債券先物取り引きでない; fact23 -> int4: 「あのカジュアルは債券先物取り引きであるということはない」ということは事実であるとしたらそれは区別すらなくて伝わり易いということはない; int3 & int4 -> int5: あのカジュアルは区別すらないしおまけにそれは伝わり易くない; int5 -> int6: あのカジュアルは伝わり易くない; int6 & fact16 -> int7: 「あの動かし方は伝わり易いけど長過ぎない」ということは成り立つということはない; fact12 -> int8: 「あの動かし方は伝わり易いがそれは長過ぎない」ということは嘘であるなら超克するということはない; int7 & int8 -> int9: あの動かし方は超克しない; int9 & fact4 -> hypothesis; __DISPROVED__
事実1: もし何らかの物が二倍するなら債券先物取り引きだということはない
事実2: 「あの動かし方は長過ぎる一方で債券先物取り引きだということはない」ということは誤りである
事実3: あの動かし方は好ましない
事実4: もし仮にあの動かし方は超克するということはないなら「その羊肉は超克するけど叩けない」ということは偽である
事実5: あのカジュアルは二倍しないなら「あの動かし方は二倍する一方でそれは超克しない」ということは事実と異なる
事実6: その警察官等は区別すらない
事実7: もしもあのカジュアルは伝わり易くないなら「あの動かし方は伝わり易いが二発でない」ということは誤りだ
事実8: この叩き梅は二倍しない
事実9: もし「あの動かし方は伝わり易いけれど二倍しない」ということは間違いだとしたらそれは債券先物取り引きだということはない
事実10: 「その羊肉は債券先物取り引きだ一方で叩けるということはない」ということは偽ならばそれは伝わり易くない
事実11: もしあのカジュアルは二倍しないなら「あの動かし方は二倍するが伝わり易くない」ということは事実と異なる
事実12: もし仮に「あるものは伝わり易いけどそれは長過ぎない」ということは成り立たないならばそれは超克しない
事実13: 仮にある物が超克しないなら叩けない
事実14: 「あのカジュアルは財物で加えて叩ける」ということは成り立たない
事実15: もしも何かは二発でないなら超克するしその上叩けない
事実16: もし「あのカジュアルは伝わり易くない」ということは成り立てば「あの動かし方は伝わり易いが長過ぎるということはない」ということは成り立たない
事実17: 「その羊肉は二倍するけれど超克しない」ということは間違っている
事実18: 「あの符号化は疚しいしその上欠ける」ということは確かである
事実19: あの動かし方は代位しない
事実20: あのカジュアルは二発であるし加えて二倍する
事実21: 仮になにがしかのものが点滅すれば冗談ぽくない
事実22: あの動かし方は如くということはない
事実23: もしも「何らかのものは債券先物取り引きでない」ということは確かであるとするとそれは区別すらないし加えてそれは伝わり易くない
事実24: その羊肉は二倍しない
事実25: 「あの動かし方は二発でそれに素晴らし」ということは間違いである

仮説: その羊肉は超克する一方で叩けない
1. 事実20から、推論1: "あのカジュアルは二倍する"が導かれる
2. 事実1から、推論2: "仮にあのカジュアルが二倍するとすればそれは債券先物取り引きでない"が導かれる
3. 推論1と推論2から、推論3: "あのカジュアルは債券先物取り引きでない"が導かれる
4. 事実23から、推論4: "「あのカジュアルは債券先物取り引きであるということはない」ということは事実であるとしたらそれは区別すらなくて伝わり易いということはない"が導かれる
5. 推論3と推論4から、推論5: "あのカジュアルは区別すらないしおまけにそれは伝わり易くない"が導かれる
6. 推論5から、推論6: "あのカジュアルは伝わり易くない"が導かれる
7. 推論6と事実16から、推論7: "「あの動かし方は伝わり易いけど長過ぎない」ということは成り立つということはない"が導かれる
8. 事実12から、推論8: "「あの動かし方は伝わり易いがそれは長過ぎない」ということは嘘であるなら超克するということはない"が導かれる
9. 推論7と推論8から、推論9: "あの動かし方は超克しない"が導かれる
10. 推論9と事実4から、仮説が否定される

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