もしこの主行動サンプリングがレンチだとしたらその牧師は主翼内でない
fact1: 二歳年上は温い fact2: この地表近くは二歳年上である fact3: 温いものは待ちする fact4: もしもこの主行動サンプリングが待ちするとすればその牧師はコンシューマーだ fact5: その牧師がコンシューマーであるかもしくはレンチであるとすればそれは二歳年上だということはない fact6: その牧師は主翼内だ fact7: この主行動サンプリングはコンシューマーでない fact8: 仮にこの主行動サンプリングがレンチだとするとそれは二歳年上である fact9: その牧師は捻り出す fact10: もし仮にこの主行動サンプリングがレンチであるとすればその牧師は主翼内である fact11: 仮にその牧師がコンシューマーであるかもしくはそれは逃亡生活であるかまたはどちらもであるとしたらそれは主翼内でない fact12: 仮にその牧師がコンシューマーであるかまたは逃亡生活であるかあるいはどちらもだとすると主翼内である fact13: この主行動サンプリングは温いかまたは主翼内であるか両方だ fact14: その牧師は逃亡生活であるとするとそれは主翼内でない fact15: この地表近くはコンシューマーである
void -> assump1: 以下のように仮定する。この主行動サンプリングはレンチだ; fact8 & assump1 -> int1: この主行動サンプリングは二歳年上である; fact1 -> int2: 仮に「この主行動サンプリングは二歳年上だ」ということは真実だとすれば温い; int1 & int2 -> int3: この主行動サンプリングは温い; fact3 -> int4: もし仮にこの主行動サンプリングが温いとしたらそれは待ちする; int3 & int4 -> int5: この主行動サンプリングは待ちする; int5 & fact4 -> int6: 「その牧師はコンシューマーだ」ということは真実だ; int6 -> int7: その牧師はコンシューマーであるか逃亡生活であるかもしくはどちらもである; int7 & fact11 -> int8: その牧師は主翼内でない; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 二歳年上は温い fact2: この地表近くは二歳年上である fact3: 温いものは待ちする fact4: もしもこの主行動サンプリングが待ちするとすればその牧師はコンシューマーだ fact5: その牧師がコンシューマーであるかもしくはレンチであるとすればそれは二歳年上だということはない fact6: その牧師は主翼内だ fact7: この主行動サンプリングはコンシューマーでない fact8: 仮にこの主行動サンプリングがレンチだとするとそれは二歳年上である fact9: その牧師は捻り出す fact10: もし仮にこの主行動サンプリングがレンチであるとすればその牧師は主翼内である fact11: 仮にその牧師がコンシューマーであるかもしくはそれは逃亡生活であるかまたはどちらもであるとしたらそれは主翼内でない fact12: 仮にその牧師がコンシューマーであるかまたは逃亡生活であるかあるいはどちらもだとすると主翼内である fact13: この主行動サンプリングは温いかまたは主翼内であるか両方だ fact14: その牧師は逃亡生活であるとするとそれは主翼内でない fact15: この地表近くはコンシューマーである ; $hypothesis$ = もしこの主行動サンプリングがレンチだとしたらその牧師は主翼内でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この主行動サンプリングはレンチだ; fact8 & assump1 -> int1: この主行動サンプリングは二歳年上である; fact1 -> int2: 仮に「この主行動サンプリングは二歳年上だ」ということは真実だとすれば温い; int1 & int2 -> int3: この主行動サンプリングは温い; fact3 -> int4: もし仮にこの主行動サンプリングが温いとしたらそれは待ちする; int3 & int4 -> int5: この主行動サンプリングは待ちする; int5 & fact4 -> int6: 「その牧師はコンシューマーだ」ということは真実だ; int6 -> int7: その牧師はコンシューマーであるか逃亡生活であるかもしくはどちらもである; int7 & fact11 -> int8: その牧師は主翼内でない; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 二歳年上は温い
事実2: この地表近くは二歳年上である
事実3: 温いものは待ちする
事実4: もしもこの主行動サンプリングが待ちするとすればその牧師はコンシューマーだ
事実5: その牧師がコンシューマーであるかもしくはレンチであるとすればそれは二歳年上だということはない
事実6: その牧師は主翼内だ
事実7: この主行動サンプリングはコンシューマーでない
事実8: 仮にこの主行動サンプリングがレンチだとするとそれは二歳年上である
事実9: その牧師は捻り出す
事実10: もし仮にこの主行動サンプリングがレンチであるとすればその牧師は主翼内である
事実11: 仮にその牧師がコンシューマーであるかもしくはそれは逃亡生活であるかまたはどちらもであるとしたらそれは主翼内でない
事実12: 仮にその牧師がコンシューマーであるかまたは逃亡生活であるかあるいはどちらもだとすると主翼内である
事実13: この主行動サンプリングは温いかまたは主翼内であるか両方だ
事実14: その牧師は逃亡生活であるとするとそれは主翼内でない
事実15: この地表近くはコンシューマーである

仮説: もしこの主行動サンプリングがレンチだとしたらその牧師は主翼内でない
1. 仮定1: 以下のように仮定する。この主行動サンプリングはレンチだ
2. 事実8と仮定1から、推論1: "この主行動サンプリングは二歳年上である"が導かれる
3. 事実1から、推論2: "仮に「この主行動サンプリングは二歳年上だ」ということは真実だとすれば温い"が導かれる
4. 推論1と推論2から、推論3: "この主行動サンプリングは温い"が導かれる
5. 事実3から、推論4: "もし仮にこの主行動サンプリングが温いとしたらそれは待ちする"が導かれる
6. 推論3と推論4から、推論5: "この主行動サンプリングは待ちする"が導かれる
7. 推論5と事実4から、推論6: "「その牧師はコンシューマーだ」ということは真実だ"が導かれる
8. 推論6から、推論7: "その牧師はコンシューマーであるか逃亡生活であるかもしくはどちらもである"が導かれる
9. 推論7と事実11から、推論8: "その牧師は主翼内でない"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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