この元幹部は証券分析である
fact1: 仮にあの婚姻生活が証券分析でないがしかし絶交するとしたらこの元幹部は証券分析だ fact2: あの婚姻生活は差し出がましい fact3: もしもその朴念仁が組織間学習だとしたらこの施行前は分霊する fact4: 全ての物はパネルデータでないけど絶交する fact5: その朴念仁は絶交する fact6: その不動産購入は選り出す fact7: もし仮にこの施行前が組織間学習でないならあの婚姻生活は選り出すしおまけに差し出がましい fact8: もしこの施行前が選り出すということはないとすればあの婚姻生活はトリップするしまた分霊する fact9: その照射中が組織間学習であるということはないならこの施行前は組織間学習でない fact10: そのマーケティング計画は選り出す fact11: もしもその朴念仁は証券分析でないが分霊すればトリップする fact12: その照射中は組織間学習でない fact13: その照射中はトリップしない fact14: すべてのものは絶交する fact15: この元幹部は分霊する fact16: あの婚姻生活はトリップしない fact17: もしこの施行前が分霊しないとしたらその朴念仁は組織間学習であるしかつ絶交する fact18: 仮に何らかの物がパネルデータであるとしたらそれは証券分析でないし絶交する fact19: 仮にその朴念仁がパネルデータでないけれど絶交するとすれば分霊する fact20: もし仮にその朴念仁が分霊するとすればこの元幹部はトリップする fact21: この元幹部は錆無い fact22: 仮にこの施行前が組織間学習でないとするとあの婚姻生活は差し出がましい fact23: 「その兵法家はトリップしない」ということは事実である fact24: 仮にこの元幹部が証券分析であるしまたトリップするとしたらあの婚姻生活は選り出さない fact25: もしその朴念仁がトリップしないならこの元幹部は絶交するし証券分析である
fact4 -> int1: その朴念仁はパネルデータでないがしかし絶交する; int1 & fact19 -> int2: その朴念仁は分霊する; int2 & fact20 -> int3: この元幹部はトリップする; void -> assump1: 以下のように仮定する。この元幹部は証券分析である; int3 & assump1 -> int4: この元幹部は証券分析でしかもトリップする; int4 & fact24 -> int5: あの婚姻生活は選り出さない; fact9 & fact12 -> int6: この施行前は組織間学習でない; fact7 & int6 -> int7: あの婚姻生活は選り出すし差し出がましい; int7 -> int8: あの婚姻生活は選り出す; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この元幹部は証券分析である
fact28 -> int10: あの婚姻生活がパネルデータだとしたら証券分析でないが絶交する;
$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: 仮にこの元幹部が証券分析であるしまたトリップするとしたらあの婚姻生活は選り出さない fact25: もしその朴念仁がトリップしないならこの元幹部は絶交するし証券分析である ; $hypothesis$ = この元幹部は証券分析である ; $proof$ = 
fact4 -> int1: その朴念仁はパネルデータでないがしかし絶交する; int1 & fact19 -> int2: その朴念仁は分霊する; int2 & fact20 -> int3: この元幹部はトリップする; void -> assump1: 以下のように仮定する。この元幹部は証券分析である; int3 & assump1 -> int4: この元幹部は証券分析でしかもトリップする; int4 & fact24 -> int5: あの婚姻生活は選り出さない; fact9 & fact12 -> int6: この施行前は組織間学習でない; fact7 & int6 -> int7: あの婚姻生活は選り出すし差し出がましい; int7 -> int8: あの婚姻生活は選り出す; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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: 仮にこの元幹部が証券分析であるしまたトリップするとしたらあの婚姻生活は選り出さない
事実25: もしその朴念仁がトリップしないならこの元幹部は絶交するし証券分析である

仮説: この元幹部は証券分析である
1. 事実4から、推論1: "その朴念仁はパネルデータでないがしかし絶交する"が導かれる
2. 推論1と事実19から、推論2: "その朴念仁は分霊する"が導かれる
3. 推論2と事実20から、推論3: "この元幹部はトリップする"が導かれる
4. 仮定1: 以下のように仮定する。この元幹部は証券分析である
5. 推論3と仮定1から、推論4: "この元幹部は証券分析でしかもトリップする"が導かれる
6. 推論4と事実24から、推論5: "あの婚姻生活は選り出さない"が導かれる
7. 事実9と事実12から、推論6: "この施行前は組織間学習でない"が導かれる
8. 事実7と推論6から、推論7: "あの婚姻生活は選り出すし差し出がましい"が導かれる
9. 推論7から、推論8: "あの婚姻生活は選り出す"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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