あの有機物は触れるし加えて無痛である
fact1: その通貨記号は分泌する fact2: あの有機物は分泌する fact3: あの有機物が盗賊だしそれにそれが分泌するならこのコーナーコマンドは発現し易くない fact4: 「このコーナーコマンドは発現し易い」ということは確かだ fact5: もしもあのＬドラは中島家であるならそれは図り難い fact6: このコーナーコマンドは分泌する fact7: あの有機物は無痛である fact8: あの有機物が分解され難いとするとキー入力する fact9: 仮にあの有機物がキー入力するとしたら触れる fact10: 仮にあの有機物が盗賊でないとすればそれは分解され難い
void -> assump1: 以下のように仮定する。あの有機物は盗賊だ; assump1 & fact2 -> int1: あの有機物は盗賊であるしまた分泌する; int1 & fact3 -> int2: このコーナーコマンドは発現し易くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの有機物は盗賊でない; int4 & fact10 -> int5: あの有機物は分解され難い; int5 & fact8 -> int6: 「あの有機物はキー入力する」ということは確かである; int6 & fact9 -> int7: あの有機物は触れる; int7 & fact7 -> hypothesis;
$facts$ = fact1: その通貨記号は分泌する fact2: あの有機物は分泌する fact3: あの有機物が盗賊だしそれにそれが分泌するならこのコーナーコマンドは発現し易くない fact4: 「このコーナーコマンドは発現し易い」ということは確かだ fact5: もしもあのＬドラは中島家であるならそれは図り難い fact6: このコーナーコマンドは分泌する fact7: あの有機物は無痛である fact8: あの有機物が分解され難いとするとキー入力する fact9: 仮にあの有機物がキー入力するとしたら触れる fact10: 仮にあの有機物が盗賊でないとすればそれは分解され難い ; $hypothesis$ = あの有機物は触れるし加えて無痛である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの有機物は盗賊だ; assump1 & fact2 -> int1: あの有機物は盗賊であるしまた分泌する; int1 & fact3 -> int2: このコーナーコマンドは発現し易くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの有機物は盗賊でない; int4 & fact10 -> int5: あの有機物は分解され難い; int5 & fact8 -> int6: 「あの有機物はキー入力する」ということは確かである; int6 & fact9 -> int7: あの有機物は触れる; int7 & fact7 -> hypothesis; __PROVED__
事実1: その通貨記号は分泌する
事実2: あの有機物は分泌する
事実3: あの有機物が盗賊だしそれにそれが分泌するならこのコーナーコマンドは発現し易くない
事実4: 「このコーナーコマンドは発現し易い」ということは確かだ
事実5: もしもあのＬドラは中島家であるならそれは図り難い
事実6: このコーナーコマンドは分泌する
事実7: あの有機物は無痛である
事実8: あの有機物が分解され難いとするとキー入力する
事実9: 仮にあの有機物がキー入力するとしたら触れる
事実10: 仮にあの有機物が盗賊でないとすればそれは分解され難い

仮説: あの有機物は触れるし加えて無痛である
1. 仮定1: 以下のように仮定する。あの有機物は盗賊だ
2. 仮定1と事実2から、推論1: "あの有機物は盗賊であるしまた分泌する"が導かれる
3. 推論1と事実3から、推論2: "このコーナーコマンドは発現し易くない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの有機物は盗賊でない"が導かれる
6. 推論4と事実10から、推論5: "あの有機物は分解され難い"が導かれる
7. 推論5と事実8から、推論6: "「あの有機物はキー入力する」ということは確かである"が導かれる
8. 推論6と事実9から、推論7: "あの有機物は触れる"が導かれる
9. 推論7と事実7から、仮説が導かれる

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