もし仮にその縫合不全が恥ずかしくないならばあの訓電は洋画家達である一方でそれは重いということはない
fact1: この訓電は重くない fact2: 仮にとある物は買い物袋でないならば「伝授する一方で恥ずかしくない」ということは嘘である fact3: この訓電は買い物袋だとしたら「その縫合不全は恥ずかしい」ということは真実だ fact4: もし仮に「その縫合不全は伝授する」ということは本当であるならばこの訓電は重い fact5: もしもこの訓電が伝授しないならその縫合不全は洋画家達であるけれど恥ずかしくない fact6: この訓電は突出する fact7: この安定状態は洋画家達でない fact8: もしなにがしかの物が伝授しないとすれば洋画家達だ fact9: その縫合不全は堅苦しくない fact10: 仮にその縫合不全が大腸癌でない一方でそれが買い物袋であるとするとこの訓電は買い物袋であるということはない fact11: その縫合不全は重くない fact12: この訓電が伝授するとするとそれは買い物袋である fact13: その縫合不全が恥ずかしいとすればあの訓電は洋画家達であるけれど重くない fact14: なにかは誤導しないとするとそれは器形だ fact15: その調査票配布が補完出来れば重い fact16: もし仮に「この訓電は伝授するがしかしそれは恥ずかしくない」ということは成り立つということはないならばその観光客用は伝授しない fact17: この訓電は上がり難いけど犯し易くない fact18: その団体旅行は買い物袋である fact19: このヘッダー・フッター文字が洋画家達であるとするとその縫合不全は洋画家達である
void -> assump2: 以下のように仮定する。この訓電は伝授する; fact12 & assump2 -> int1: この訓電は買い物袋である; int1 & fact3 -> int2: その縫合不全は恥ずかしい; void -> assump1: 以下のように仮定する。その縫合不全は恥ずかしくない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この訓電は伝授しない; fact8 -> int5: この訓電が伝授しないとすればそれは洋画家達である; int4 & int5 -> int6: この訓電は洋画家達だ; int6 & fact1 -> int7: この訓電は洋画家達であるけど重くない; [assump1] & int7 -> hypothesis;
その観光客用は重い
fact23 -> int8: 仮にこの訓電は買い物袋でないなら「それは伝授するししかも恥ずかしくない」ということは間違っている;
$facts$ = fact1: この訓電は重くない fact2: 仮にとある物は買い物袋でないならば「伝授する一方で恥ずかしくない」ということは嘘である fact3: この訓電は買い物袋だとしたら「その縫合不全は恥ずかしい」ということは真実だ fact4: もし仮に「その縫合不全は伝授する」ということは本当であるならばこの訓電は重い fact5: もしもこの訓電が伝授しないならその縫合不全は洋画家達であるけれど恥ずかしくない fact6: この訓電は突出する fact7: この安定状態は洋画家達でない fact8: もしなにがしかの物が伝授しないとすれば洋画家達だ fact9: その縫合不全は堅苦しくない fact10: 仮にその縫合不全が大腸癌でない一方でそれが買い物袋であるとするとこの訓電は買い物袋であるということはない fact11: その縫合不全は重くない fact12: この訓電が伝授するとするとそれは買い物袋である fact13: その縫合不全が恥ずかしいとすればあの訓電は洋画家達であるけれど重くない fact14: なにかは誤導しないとするとそれは器形だ fact15: その調査票配布が補完出来れば重い fact16: もし仮に「この訓電は伝授するがしかしそれは恥ずかしくない」ということは成り立つということはないならばその観光客用は伝授しない fact17: この訓電は上がり難いけど犯し易くない fact18: その団体旅行は買い物袋である fact19: このヘッダー・フッター文字が洋画家達であるとするとその縫合不全は洋画家達である ; $hypothesis$ = もし仮にその縫合不全が恥ずかしくないならばあの訓電は洋画家達である一方でそれは重いということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。この訓電は伝授する; fact12 & assump2 -> int1: この訓電は買い物袋である; int1 & fact3 -> int2: その縫合不全は恥ずかしい; void -> assump1: 以下のように仮定する。その縫合不全は恥ずかしくない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この訓電は伝授しない; fact8 -> int5: この訓電が伝授しないとすればそれは洋画家達である; int4 & int5 -> int6: この訓電は洋画家達だ; int6 & fact1 -> int7: この訓電は洋画家達であるけど重くない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: この訓電は重くない
事実2: 仮にとある物は買い物袋でないならば「伝授する一方で恥ずかしくない」ということは嘘である
事実3: この訓電は買い物袋だとしたら「その縫合不全は恥ずかしい」ということは真実だ
事実4: もし仮に「その縫合不全は伝授する」ということは本当であるならばこの訓電は重い
事実5: もしもこの訓電が伝授しないならその縫合不全は洋画家達であるけれど恥ずかしくない
事実6: この訓電は突出する
事実7: この安定状態は洋画家達でない
事実8: もしなにがしかの物が伝授しないとすれば洋画家達だ
事実9: その縫合不全は堅苦しくない
事実10: 仮にその縫合不全が大腸癌でない一方でそれが買い物袋であるとするとこの訓電は買い物袋であるということはない
事実11: その縫合不全は重くない
事実12: この訓電が伝授するとするとそれは買い物袋である
事実13: その縫合不全が恥ずかしいとすればあの訓電は洋画家達であるけれど重くない
事実14: なにかは誤導しないとするとそれは器形だ
事実15: その調査票配布が補完出来れば重い
事実16: もし仮に「この訓電は伝授するがしかしそれは恥ずかしくない」ということは成り立つということはないならばその観光客用は伝授しない
事実17: この訓電は上がり難いけど犯し易くない
事実18: その団体旅行は買い物袋である
事実19: このヘッダー・フッター文字が洋画家達であるとするとその縫合不全は洋画家達である

仮説: もし仮にその縫合不全が恥ずかしくないならばあの訓電は洋画家達である一方でそれは重いということはない
1. 仮定2: 以下のように仮定する。この訓電は伝授する
2. 事実12と仮定2から、推論1: "この訓電は買い物袋である"が導かれる
3. 推論1と事実3から、推論2: "その縫合不全は恥ずかしい"が導かれる
4. 仮定1: 以下のように仮定する。その縫合不全は恥ずかしくない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この訓電は伝授しない"が導かれる
7. 事実8から、推論5: "この訓電が伝授しないとすればそれは洋画家達である"が導かれる
8. 推論4と推論5から、推論6: "この訓電は洋画家達だ"が導かれる
9. 推論6と事実1から、推論7: "この訓電は洋画家達であるけど重くない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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