その肌着は上げ難くない
fact1: その肌着は国分市屎尿処理場事件でない fact2: もし仮に何らかのものが国分市屎尿処理場事件でないかもしくは埋葬しないなら探し始める fact3: あの石は刻印しない fact4: 「あの石は刻印する」ということは誤っているとするとそのカットオフは国分市屎尿処理場事件でないかもしくはそれは埋葬しないか両方ともである fact5: もし何らかのものが難工事ならば上げ難い fact6: 「この学資は金融取り引きでない」ということは正しい fact7: もし何らかの物は国分市屎尿処理場事件でないなら探し始める fact8: もし仮にこの僧達が難工事であるとしたらその肌着は負担能力である fact9: 仮にその肌着が負担能力でかつ上げ難いならばあの学資は前立腺肥大でない fact10: もし仮にそのカットオフが探し始めるとしたらこの僧達は難工事である fact11: なんらかの物は上げ難くないかあるいは金融取り引きであるということはないかあるいは両方であるなら探し始める fact12: あの指導性は刻印しない fact13: もし仮にこの学資は金融取り引きでないとするとそれは前立腺肥大だ
fact2 -> int1: もしそのカットオフが国分市屎尿処理場事件でないか埋葬しないとしたら探し始める; fact4 & fact3 -> int2: そのカットオフは国分市屎尿処理場事件でないかまたは埋葬しないかまたはどちらもだ; int1 & int2 -> int3: そのカットオフは探し始める; int3 & fact10 -> int4: この僧達は難工事である; int4 & fact8 -> int5: その肌着は負担能力である; void -> assump1: 以下のように仮定する。その肌着は上げ難い; int5 & assump1 -> int6: その肌着が負担能力だし更に上げ難い; int6 & fact9 -> int7: この学資は前立腺肥大でない; fact6 & fact13 -> int8: この学資は前立腺肥大である; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その肌着は上げ難い
fact14 -> int10: もしその肌着は難工事であるとすれば上げ難い;
$facts$ = fact1: その肌着は国分市屎尿処理場事件でない fact2: もし仮に何らかのものが国分市屎尿処理場事件でないかもしくは埋葬しないなら探し始める fact3: あの石は刻印しない fact4: 「あの石は刻印する」ということは誤っているとするとそのカットオフは国分市屎尿処理場事件でないかもしくはそれは埋葬しないか両方ともである fact5: もし何らかのものが難工事ならば上げ難い fact6: 「この学資は金融取り引きでない」ということは正しい fact7: もし何らかの物は国分市屎尿処理場事件でないなら探し始める fact8: もし仮にこの僧達が難工事であるとしたらその肌着は負担能力である fact9: 仮にその肌着が負担能力でかつ上げ難いならばあの学資は前立腺肥大でない fact10: もし仮にそのカットオフが探し始めるとしたらこの僧達は難工事である fact11: なんらかの物は上げ難くないかあるいは金融取り引きであるということはないかあるいは両方であるなら探し始める fact12: あの指導性は刻印しない fact13: もし仮にこの学資は金融取り引きでないとするとそれは前立腺肥大だ ; $hypothesis$ = その肌着は上げ難くない ; $proof$ = 
fact2 -> int1: もしそのカットオフが国分市屎尿処理場事件でないか埋葬しないとしたら探し始める; fact4 & fact3 -> int2: そのカットオフは国分市屎尿処理場事件でないかまたは埋葬しないかまたはどちらもだ; int1 & int2 -> int3: そのカットオフは探し始める; int3 & fact10 -> int4: この僧達は難工事である; int4 & fact8 -> int5: その肌着は負担能力である; void -> assump1: 以下のように仮定する。その肌着は上げ難い; int5 & assump1 -> int6: その肌着が負担能力だし更に上げ難い; int6 & fact9 -> int7: この学資は前立腺肥大でない; fact6 & fact13 -> int8: この学資は前立腺肥大である; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その肌着は国分市屎尿処理場事件でない
事実2: もし仮に何らかのものが国分市屎尿処理場事件でないかもしくは埋葬しないなら探し始める
事実3: あの石は刻印しない
事実4: 「あの石は刻印する」ということは誤っているとするとそのカットオフは国分市屎尿処理場事件でないかもしくはそれは埋葬しないか両方ともである
事実5: もし何らかのものが難工事ならば上げ難い
事実6: 「この学資は金融取り引きでない」ということは正しい
事実7: もし何らかの物は国分市屎尿処理場事件でないなら探し始める
事実8: もし仮にこの僧達が難工事であるとしたらその肌着は負担能力である
事実9: 仮にその肌着が負担能力でかつ上げ難いならばあの学資は前立腺肥大でない
事実10: もし仮にそのカットオフが探し始めるとしたらこの僧達は難工事である
事実11: なんらかの物は上げ難くないかあるいは金融取り引きであるということはないかあるいは両方であるなら探し始める
事実12: あの指導性は刻印しない
事実13: もし仮にこの学資は金融取り引きでないとするとそれは前立腺肥大だ

仮説: その肌着は上げ難くない
1. 事実2から、推論1: "もしそのカットオフが国分市屎尿処理場事件でないか埋葬しないとしたら探し始める"が導かれる
2. 事実4と事実3から、推論2: "そのカットオフは国分市屎尿処理場事件でないかまたは埋葬しないかまたはどちらもだ"が導かれる
3. 推論1と推論2から、推論3: "そのカットオフは探し始める"が導かれる
4. 推論3と事実10から、推論4: "この僧達は難工事である"が導かれる
5. 推論4と事実8から、推論5: "その肌着は負担能力である"が導かれる
6. 仮定1: 以下のように仮定する。その肌着は上げ難い
7. 推論5と仮定1から、推論6: "その肌着が負担能力だし更に上げ難い"が導かれる
8. 推論6と事実9から、推論7: "この学資は前立腺肥大でない"が導かれる
9. 事実6と事実13から、推論8: "この学資は前立腺肥大である"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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