その鋼矢板はけたたましい
fact1: その鋼矢板は任官する fact2: その鋼矢板は育て親だ fact3: 加工し易くない物は育て親である fact4: 「この水子は知れ渡る」ということは本当だ fact5: この水子が本授業でないならばあの鋼矢板は知れ渡らない fact6: 「もし黄色いものが知れ渡るならそれは本授業でない」ということは真実である fact7: もしなにがしかのものは育て親でないとすると「それは加工し易くて本授業である」ということは成り立たない fact8: あの料金体系が加工し易くないとすればあの鋼矢板は本授業であるかもしくはそれは一巡りしないかあるいは両方である fact9: 「もし仮にその鋼矢板が本授業であるとしたらこの水子は一巡りする」ということは事実と異ならない fact10: もしもなにがしかの物がインバージョンでないならそれが御利用下さるしその上憎い fact11: この水子はけたたましくない fact12: 「加工し易くないものは育て親であるししかもけたたましい」ということは間違いでない fact13: もし仮にその鋼矢板は加工し易くないとしたらそれは育て親である fact14: その鋼矢板は黄色くない fact15: 「あの料金体系は育て親であるということはないしその上それはけたたましくない」ということは誤りであるとすると「それは加工し易いということはない」ということは真実である fact16: もし仮にこの水子が本授業でないとすればその鋼矢板は加工し易くない fact17: 寂しかないものは崩れ去る fact18: その鋼矢板は聞き取り難いししかも息苦しい fact19: 「「あの料金体系は育て親だということはなくてけたたましくない」ということは成り立たない」ということは確かだ fact20: もしその鋼矢板は維持療法でないならそれは任官するし育て親である fact21: 仮にこの水子が加工し易くないとしたらその鋼矢板は知れ渡らない fact22: もしこの水子が知れ渡らないならばその鋼矢板は本授業でない fact23: この水子は黄色い fact24: この水子は育て親だ
fact23 & fact4 -> int1: この水子は黄色くてそれは知れ渡る; fact6 -> int2: 仮にこの水子が黄色くてかつ知れ渡るとすれば本授業でない; int1 & int2 -> int3: 「この水子は本授業だということはない」ということは正しい; int3 & fact16 -> int4: その鋼矢板は加工し易くない; fact12 -> int5: もしも「その鋼矢板は加工し易くない」ということは本当だとすればそれは育て親であるしけたたましい; int4 & int5 -> int6: その鋼矢板は育て親であるしさらにけたたましい; int6 -> hypothesis;
この水子は一巡りするしさらに内属する
fact27 & fact28 -> int7: あの料金体系は加工し易くない; int7 & fact25 -> int8: その鋼矢板は本授業であるかもしくはそれは一巡りしないかもしくは両方だ;
$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$ = 
fact23 & fact4 -> int1: この水子は黄色くてそれは知れ渡る; fact6 -> int2: 仮にこの水子が黄色くてかつ知れ渡るとすれば本授業でない; int1 & int2 -> int3: 「この水子は本授業だということはない」ということは正しい; int3 & fact16 -> int4: その鋼矢板は加工し易くない; fact12 -> int5: もしも「その鋼矢板は加工し易くない」ということは本当だとすればそれは育て親であるしけたたましい; int4 & int5 -> int6: その鋼矢板は育て親であるしさらにけたたましい; int6 -> hypothesis; __PROVED__
事実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. 事実23と事実4から、推論1: "この水子は黄色くてそれは知れ渡る"が導かれる
2. 事実6から、推論2: "仮にこの水子が黄色くてかつ知れ渡るとすれば本授業でない"が導かれる
3. 推論1と推論2から、推論3: "「この水子は本授業だということはない」ということは正しい"が導かれる
4. 推論3と事実16から、推論4: "その鋼矢板は加工し易くない"が導かれる
5. 事実12から、推論5: "もしも「その鋼矢板は加工し易くない」ということは本当だとすればそれは育て親であるしけたたましい"が導かれる
6. 推論4と推論5から、推論6: "その鋼矢板は育て親であるしさらにけたたましい"が導かれる
7. 推論6から、仮説が導かれる

よって、仮説が証明されました。