その着付けはがらんとしない
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: その業界関係者は自決する
void -> assump1: 以下のように仮定する。その経営者自身は詳細である; fact1 & assump1 -> int1: その経営者自身は教材化するし詳細だ; int1 & fact3 -> int2: その業界関係者は延長しない; fact18 & fact9 -> int3: その業界関係者は延長するし自決する; int3 -> int4: その業界関係者は延長する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その経営者自身は詳細でない; fact13 -> int7: もしもその経営者自身は詳細でないとするとジョギングしない; int6 & int7 -> int8: その経営者自身はジョギングするということはない; fact2 -> int9: もしもその経営者自身がジョギングしないなら辛抱強くなくてかつそれは漢方医学だ; int8 & int9 -> int10: その経営者自身は辛抱強くないがそれは漢方医学だ; int10 & fact19 -> hypothesis;
その着付けはがらんとする
fact28 -> int11: 「辛抱強くない」物はある;
$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$ = 
void -> assump1: 以下のように仮定する。その経営者自身は詳細である; fact1 & assump1 -> int1: その経営者自身は教材化するし詳細だ; int1 & fact3 -> int2: その業界関係者は延長しない; fact18 & fact9 -> int3: その業界関係者は延長するし自決する; int3 -> int4: その業界関係者は延長する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その経営者自身は詳細でない; fact13 -> int7: もしもその経営者自身は詳細でないとするとジョギングしない; int6 & int7 -> int8: その経営者自身はジョギングするということはない; fact2 -> int9: もしもその経営者自身がジョギングしないなら辛抱強くなくてかつそれは漢方医学だ; int8 & int9 -> int10: その経営者自身は辛抱強くないがそれは漢方医学だ; int10 & fact19 -> 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: もし仮にその経営者自身が延長しないとするとその業界関係者は教材化するし陵墓だ
事実25: その業界関係者は自決する

仮説: その着付けはがらんとしない
1. 仮定1: 以下のように仮定する。その経営者自身は詳細である
2. 事実1と仮定1から、推論1: "その経営者自身は教材化するし詳細だ"が導かれる
3. 推論1と事実3から、推論2: "その業界関係者は延長しない"が導かれる
4. 事実18と事実9から、推論3: "その業界関係者は延長するし自決する"が導かれる
5. 推論3から、推論4: "その業界関係者は延長する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その経営者自身は詳細でない"が導かれる
8. 事実13から、推論7: "もしもその経営者自身は詳細でないとするとジョギングしない"が導かれる
9. 推論6と推論7から、推論8: "その経営者自身はジョギングするということはない"が導かれる
10. 事実2から、推論9: "もしもその経営者自身がジョギングしないなら辛抱強くなくてかつそれは漢方医学だ"が導かれる
11. 推論8と推論9から、推論10: "その経営者自身は辛抱強くないがそれは漢方医学だ"が導かれる
12. 推論10と事実19から、仮説が導かれる

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