あの所行は調べ易い
fact1: もしこの朝霧が製造出来るとしたらそのテレビ放送は関連付ける fact2: この朝霧が調べ易くないとしたらあの所行は調べ易くない fact3: 「神経板である」ものはある fact4: もしも「あの所行は重々しい」ということは嘘だということはないとするとこの朝霧は製造出来る fact5: もしそのテレビ放送が関連付けるならばあの所行は交通する fact6: あの所行はぶっとい fact7: もしなんらかの物が交通するとすればそれは調べ易い fact8: 仮にそのテレビ放送は調べ易くないけど製造出来るならそれは関連付ける fact9: もしも重々しいということはない物が生み落とさないとすればそれは製造出来る fact10: もし仮にそのテレビ放送が調べ易いとすると関連付ける fact11: もしもそのテレビ放送が製造出来ないけれどそれが重々しいとするとこの朝霧は重々しかない fact12: もしなにがしかの物が神経板であるならばこの朝霧は重々しいということはなくてそれに生み落とさない
fact3 & fact12 -> int1: この朝霧は重々しかないしまた生み落とさない; fact9 -> int2: もしもこの朝霧が重々しかないしその上生み落とさないならそれは製造出来る; int1 & int2 -> int3: この朝霧は製造出来る; int3 & fact1 -> int4: そのテレビ放送は関連付ける; int4 & fact5 -> int5: あの所行は交通する; fact7 -> int6: 仮にあの所行が交通すれば調べ易い; int5 & int6 -> hypothesis;
あの所行は調べ易くない
$facts$ = fact1: もしこの朝霧が製造出来るとしたらそのテレビ放送は関連付ける fact2: この朝霧が調べ易くないとしたらあの所行は調べ易くない fact3: 「神経板である」ものはある fact4: もしも「あの所行は重々しい」ということは嘘だということはないとするとこの朝霧は製造出来る fact5: もしそのテレビ放送が関連付けるならばあの所行は交通する fact6: あの所行はぶっとい fact7: もしなんらかの物が交通するとすればそれは調べ易い fact8: 仮にそのテレビ放送は調べ易くないけど製造出来るならそれは関連付ける fact9: もしも重々しいということはない物が生み落とさないとすればそれは製造出来る fact10: もし仮にそのテレビ放送が調べ易いとすると関連付ける fact11: もしもそのテレビ放送が製造出来ないけれどそれが重々しいとするとこの朝霧は重々しかない fact12: もしなにがしかの物が神経板であるならばこの朝霧は重々しいということはなくてそれに生み落とさない ; $hypothesis$ = あの所行は調べ易い ; $proof$ = 
fact3 & fact12 -> int1: この朝霧は重々しかないしまた生み落とさない; fact9 -> int2: もしもこの朝霧が重々しかないしその上生み落とさないならそれは製造出来る; int1 & int2 -> int3: この朝霧は製造出来る; int3 & fact1 -> int4: そのテレビ放送は関連付ける; int4 & fact5 -> int5: あの所行は交通する; fact7 -> int6: 仮にあの所行が交通すれば調べ易い; int5 & int6 -> hypothesis; __PROVED__
事実1: もしこの朝霧が製造出来るとしたらそのテレビ放送は関連付ける
事実2: この朝霧が調べ易くないとしたらあの所行は調べ易くない
事実3: 「神経板である」ものはある
事実4: もしも「あの所行は重々しい」ということは嘘だということはないとするとこの朝霧は製造出来る
事実5: もしそのテレビ放送が関連付けるならばあの所行は交通する
事実6: あの所行はぶっとい
事実7: もしなんらかの物が交通するとすればそれは調べ易い
事実8: 仮にそのテレビ放送は調べ易くないけど製造出来るならそれは関連付ける
事実9: もしも重々しいということはない物が生み落とさないとすればそれは製造出来る
事実10: もし仮にそのテレビ放送が調べ易いとすると関連付ける
事実11: もしもそのテレビ放送が製造出来ないけれどそれが重々しいとするとこの朝霧は重々しかない
事実12: もしなにがしかの物が神経板であるならばこの朝霧は重々しいということはなくてそれに生み落とさない

仮説: あの所行は調べ易い
1. 事実3と事実12から、推論1: "この朝霧は重々しかないしまた生み落とさない"が導かれる
2. 事実9から、推論2: "もしもこの朝霧が重々しかないしその上生み落とさないならそれは製造出来る"が導かれる
3. 推論1と推論2から、推論3: "この朝霧は製造出来る"が導かれる
4. 推論3と事実1から、推論4: "そのテレビ放送は関連付ける"が導かれる
5. 推論4と事実5から、推論5: "あの所行は交通する"が導かれる
6. 事実7から、推論6: "仮にあの所行が交通すれば調べ易い"が導かれる
7. 推論5と推論6から、仮説が導かれる

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