この飛行教育航空隊は事等である
fact1: もし「あの折り紙付きは女子登攀クラブであるしそれにサンドだ」ということは事実と異なるなら「それは女子登攀クラブでない」ということは確かだ fact2: もしもこの逆流が起こり易くなくてその上各市町村長でないならこの飛行教育航空隊は事等でない fact3: もし仮に「悪戯っぽい」ものがあればあの折り紙付きは亜分類しない fact4: 仮にこの逆流が起こり易いとするとそのベルボーイは起こり易い fact5: 仮に「「鉄道工事であるし悪戯っぽくない」ということは成り立たない」物があるならばあの折り紙付きは亜分類するということはない fact6: そのベルボーイは各市町村長でない fact7: もし「この逆流は各市町村長だしその上三重苦である」ということは間違いであるならば各市町村長でない fact8: もし仮にそのベルボーイが末恐ろしいかまたは光速度であるかまたは両方であるとしたらこの逆流は起こり易くない fact9: 仮にあの折り紙付きが亜分類しない一方で女子登攀クラブであるとしたらそのベルボーイは末恐ろしい fact10: もしそのベルボーイは起こり易いなら「末恐ろしいということはなくて光速度だ」ということは成り立たない fact11: もし仮にこの逆流はサンドでないなら「それは各市町村長であるしかつ三重苦だ」ということは間違っている fact12: 「「鉄道工事であるしかつ悪戯っぽい」ということは偽である」物はある fact13: この逆流はサンドでない fact14: 「あのオスマン・トルコ帝国は鉄道工事であるがしかし悪戯っぽくない」ということは間違っている fact15: あのオスマン・トルコ帝国は末恐ろしくない一方でそれは転付命令である fact16: 「あの折り紙付きは光速度であるしさらに女子登攀クラブだ」ということは成り立たない fact17: 「あのオスマン・トルコ帝国は鉄道工事であるしまた悪戯っぽい」ということは嘘だ fact18: この飛行教育航空隊はサンドでない fact19: あの折り紙付きは女子登攀クラブだ fact20: 「何かは鉄道工事であるがしかし悪戯っぽくない」ということは成り立つ fact21: 「この逆流は光速度だし起こり易い」ということは事実と異なる fact22: もしこの逆流が光速度であるかまたは起こり易いかもしくはどちらもだとしたらそのベルボーイは女子登攀クラブでない fact23: もしもそのベルボーイが光速度であるならこの逆流は起こり易くない fact24: この逆流は事等だということはないしそれに嫌味っぽくない
fact14 -> int1: 「「鉄道工事であるがしかし悪戯っぽくない」ということは間違いである」物はある; int1 & fact5 -> int2: あの折り紙付きは亜分類しない; int2 & fact19 -> int3: あの折り紙付きは亜分類しないけれど女子登攀クラブである; int3 & fact9 -> int4: そのベルボーイは末恐ろしい; int4 -> int5: そのベルボーイは末恐ろしいか光速度であるかあるいは両方である; int5 & fact8 -> int6: この逆流は起こり易くない; fact13 & fact11 -> int7: 「この逆流は各市町村長であるし加えてそれは三重苦だ」ということは間違いだ; int7 & fact7 -> int8: この逆流は各市町村長でない; int6 & int8 -> int9: この逆流は起こり易くなくて各市町村長でない; int9 & fact2 -> hypothesis;
この飛行教育航空隊は事等である
$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: この逆流は事等だということはないしそれに嫌味っぽくない ; $hypothesis$ = この飛行教育航空隊は事等である ; $proof$ = 
fact14 -> int1: 「「鉄道工事であるがしかし悪戯っぽくない」ということは間違いである」物はある; int1 & fact5 -> int2: あの折り紙付きは亜分類しない; int2 & fact19 -> int3: あの折り紙付きは亜分類しないけれど女子登攀クラブである; int3 & fact9 -> int4: そのベルボーイは末恐ろしい; int4 -> int5: そのベルボーイは末恐ろしいか光速度であるかあるいは両方である; int5 & fact8 -> int6: この逆流は起こり易くない; fact13 & fact11 -> int7: 「この逆流は各市町村長であるし加えてそれは三重苦だ」ということは間違いだ; int7 & fact7 -> int8: この逆流は各市町村長でない; int6 & int8 -> int9: この逆流は起こり易くなくて各市町村長でない; int9 & fact2 -> 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: この逆流は事等だということはないしそれに嫌味っぽくない

仮説: この飛行教育航空隊は事等である
1. 事実14から、推論1: "「「鉄道工事であるがしかし悪戯っぽくない」ということは間違いである」物はある"が導かれる
2. 推論1と事実5から、推論2: "あの折り紙付きは亜分類しない"が導かれる
3. 推論2と事実19から、推論3: "あの折り紙付きは亜分類しないけれど女子登攀クラブである"が導かれる
4. 推論3と事実9から、推論4: "そのベルボーイは末恐ろしい"が導かれる
5. 推論4から、推論5: "そのベルボーイは末恐ろしいか光速度であるかあるいは両方である"が導かれる
6. 推論5と事実8から、推論6: "この逆流は起こり易くない"が導かれる
7. 事実13と事実11から、推論7: "「この逆流は各市町村長であるし加えてそれは三重苦だ」ということは間違いだ"が導かれる
8. 推論7と事実7から、推論8: "この逆流は各市町村長でない"が導かれる
9. 推論6と推論8から、推論9: "この逆流は起こり易くなくて各市町村長でない"が導かれる
10. 推論9と事実2から、仮説が否定される

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