「「メタルバードでまた鉄兜な」ものはある」ということは誤っている
fact1: 「この先年は放ち始める一方で寝坊しない」ということは事実と異なる fact2: あの預かりは収めるとすれば「メタルバードである」ということは成り立つ fact3: 「仮に「なんらかの物は御飲みに成る一方で収めない」ということは成り立たないとすればメタルバードである」ということは成り立つ fact4: もし仮にこの単位ベクトルが細かくてそれが臨海公園だとしたらこの外国孫会社は細かくない fact5: あの和洋室は細かい fact6: 仮にあの預かりが細かいとすればそれは支える fact7: 「あの預かりが御飲みに成るしその上それは収める」ということは間違いだ fact8: 「メタルバードである」物はある fact9: あの預かりが細かいならばそれは鉄兜だ fact10: あの預かりは細かくてかつ寝坊する fact11: もしもある物が収めるとしたらそれはメタルバードである fact12: この単位ベクトルは細かいしそれに臨海公園だ fact13: あの預かりは寝坊する fact14: 仮に「何らかのものは寝坊するしメタルバードだ」ということは誤っているとしたらそれはメタルバードでない fact15: もし仮にある物はメタルバードでないとすると「鉄兜であるということはないしそれは来易くない」ということは嘘である fact16: あの預かりは来易い fact17: 仮にあの預かりは来易いならば「御飲みに成るしかつ収めない」ということは嘘である
fact3 -> int1: もしも「あの預かりは御飲みに成る一方で収めない」ということは間違いならばそれはメタルバードである; fact17 & fact16 -> int2: 「あの預かりは御飲みに成る一方で収めない」ということは間違いだ; int1 & int2 -> int3: 「あの預かりはメタルバードである」ということは成り立つ; fact10 -> int4: あの預かりは細かい; fact9 & int4 -> int5: あの預かりは鉄兜だ; int3 & int5 -> int6: あの預かりはメタルバードだし加えて鉄兜だ; int6 -> hypothesis;
あの生態学は来易い
fact18 -> int7: もし仮にこの外国孫会社はメタルバードであるということはないとすれば「鉄兜でないしさらに来易くない」ということは成り立たない; fact21 -> int8: 仮に「この外国孫会社は寝坊するしおまけにそれはメタルバードだ」ということは成り立たないとしたらメタルバードでない; fact19 & fact20 -> int9: この外国孫会社は細かくない;
$facts$ = fact1: 「この先年は放ち始める一方で寝坊しない」ということは事実と異なる fact2: あの預かりは収めるとすれば「メタルバードである」ということは成り立つ fact3: 「仮に「なんらかの物は御飲みに成る一方で収めない」ということは成り立たないとすればメタルバードである」ということは成り立つ fact4: もし仮にこの単位ベクトルが細かくてそれが臨海公園だとしたらこの外国孫会社は細かくない fact5: あの和洋室は細かい fact6: 仮にあの預かりが細かいとすればそれは支える fact7: 「あの預かりが御飲みに成るしその上それは収める」ということは間違いだ fact8: 「メタルバードである」物はある fact9: あの預かりが細かいならばそれは鉄兜だ fact10: あの預かりは細かくてかつ寝坊する fact11: もしもある物が収めるとしたらそれはメタルバードである fact12: この単位ベクトルは細かいしそれに臨海公園だ fact13: あの預かりは寝坊する fact14: 仮に「何らかのものは寝坊するしメタルバードだ」ということは誤っているとしたらそれはメタルバードでない fact15: もし仮にある物はメタルバードでないとすると「鉄兜であるということはないしそれは来易くない」ということは嘘である fact16: あの預かりは来易い fact17: 仮にあの預かりは来易いならば「御飲みに成るしかつ収めない」ということは嘘である ; $hypothesis$ = 「「メタルバードでまた鉄兜な」ものはある」ということは誤っている ; $proof$ = 
fact3 -> int1: もしも「あの預かりは御飲みに成る一方で収めない」ということは間違いならばそれはメタルバードである; fact17 & fact16 -> int2: 「あの預かりは御飲みに成る一方で収めない」ということは間違いだ; int1 & int2 -> int3: 「あの預かりはメタルバードである」ということは成り立つ; fact10 -> int4: あの預かりは細かい; fact9 & int4 -> int5: あの預かりは鉄兜だ; int3 & int5 -> int6: あの預かりはメタルバードだし加えて鉄兜だ; int6 -> hypothesis; __DISPROVED__
事実1: 「この先年は放ち始める一方で寝坊しない」ということは事実と異なる
事実2: あの預かりは収めるとすれば「メタルバードである」ということは成り立つ
事実3: 「仮に「なんらかの物は御飲みに成る一方で収めない」ということは成り立たないとすればメタルバードである」ということは成り立つ
事実4: もし仮にこの単位ベクトルが細かくてそれが臨海公園だとしたらこの外国孫会社は細かくない
事実5: あの和洋室は細かい
事実6: 仮にあの預かりが細かいとすればそれは支える
事実7: 「あの預かりが御飲みに成るしその上それは収める」ということは間違いだ
事実8: 「メタルバードである」物はある
事実9: あの預かりが細かいならばそれは鉄兜だ
事実10: あの預かりは細かくてかつ寝坊する
事実11: もしもある物が収めるとしたらそれはメタルバードである
事実12: この単位ベクトルは細かいしそれに臨海公園だ
事実13: あの預かりは寝坊する
事実14: 仮に「何らかのものは寝坊するしメタルバードだ」ということは誤っているとしたらそれはメタルバードでない
事実15: もし仮にある物はメタルバードでないとすると「鉄兜であるということはないしそれは来易くない」ということは嘘である
事実16: あの預かりは来易い
事実17: 仮にあの預かりは来易いならば「御飲みに成るしかつ収めない」ということは嘘である

仮説: 「「メタルバードでまた鉄兜な」ものはある」ということは誤っている
1. 事実3から、推論1: "もしも「あの預かりは御飲みに成る一方で収めない」ということは間違いならばそれはメタルバードである"が導かれる
2. 事実17と事実16から、推論2: "「あの預かりは御飲みに成る一方で収めない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "「あの預かりはメタルバードである」ということは成り立つ"が導かれる
4. 事実10から、推論4: "あの預かりは細かい"が導かれる
5. 事実9と推論4から、推論5: "あの預かりは鉄兜だ"が導かれる
6. 推論3と推論5から、推論6: "あの預かりはメタルバードだし加えて鉄兜だ"が導かれる
7. 推論6から、仮説が否定される

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