この迅速性は単射だ
fact1: もし仮に「この迅速性は単純過ぎる」ということは成り立つならそれは単射であるということはない fact2: もし仮に「なんらかの物は単純過ぎないがそれは待たす」ということは誤っているとすれば単射でない fact3: もしもこの迅速性が付け易いならばそれは単純過ぎるということはない fact4: 「この二等星は単純過ぎないけど単射だ」ということは成り立たない fact5: 「この迅速性は得点する」ということは成り立つ fact6: もしこの二等星は単純過ぎるとすれば「この迅速性は単純過ぎないがしかし待たす」ということは間違いだ fact7: あのＬ‐ドーパ剤は単純過ぎる fact8: もしなにがしかのものが単純過ぎればそれは単射だということはない fact9: この二等星は単純過ぎるしまた付け易い
fact9 -> int1: この二等星は単純過ぎる; int1 & fact6 -> int2: 「この迅速性は単純過ぎるということはないけれど待たす」ということは間違っている; fact2 -> int3: もし「この迅速性は単純過ぎるということはないがしかし待たす」ということは誤りであるとしたらそれは単射でない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮に「この迅速性は単純過ぎる」ということは成り立つならそれは単射であるということはない fact2: もし仮に「なんらかの物は単純過ぎないがそれは待たす」ということは誤っているとすれば単射でない fact3: もしもこの迅速性が付け易いならばそれは単純過ぎるということはない fact4: 「この二等星は単純過ぎないけど単射だ」ということは成り立たない fact5: 「この迅速性は得点する」ということは成り立つ fact6: もしこの二等星は単純過ぎるとすれば「この迅速性は単純過ぎないがしかし待たす」ということは間違いだ fact7: あのＬ‐ドーパ剤は単純過ぎる fact8: もしなにがしかのものが単純過ぎればそれは単射だということはない fact9: この二等星は単純過ぎるしまた付け易い ; $hypothesis$ = この迅速性は単射だ ; $proof$ = 
fact9 -> int1: この二等星は単純過ぎる; int1 & fact6 -> int2: 「この迅速性は単純過ぎるということはないけれど待たす」ということは間違っている; fact2 -> int3: もし「この迅速性は単純過ぎるということはないがしかし待たす」ということは誤りであるとしたらそれは単射でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「この迅速性は単純過ぎる」ということは成り立つならそれは単射であるということはない
事実2: もし仮に「なんらかの物は単純過ぎないがそれは待たす」ということは誤っているとすれば単射でない
事実3: もしもこの迅速性が付け易いならばそれは単純過ぎるということはない
事実4: 「この二等星は単純過ぎないけど単射だ」ということは成り立たない
事実5: 「この迅速性は得点する」ということは成り立つ
事実6: もしこの二等星は単純過ぎるとすれば「この迅速性は単純過ぎないがしかし待たす」ということは間違いだ
事実7: あのＬ‐ドーパ剤は単純過ぎる
事実8: もしなにがしかのものが単純過ぎればそれは単射だということはない
事実9: この二等星は単純過ぎるしまた付け易い

仮説: この迅速性は単射だ
1. 事実9から、推論1: "この二等星は単純過ぎる"が導かれる
2. 推論1と事実6から、推論2: "「この迅速性は単純過ぎるということはないけれど待たす」ということは間違っている"が導かれる
3. 事実2から、推論3: "もし「この迅速性は単純過ぎるということはないがしかし待たす」ということは誤りであるとしたらそれは単射でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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