そのパーツ交換はファーストでかつ受注出来る
fact1: その目代が模写するということはないかあるいは後ろ暗いならそれは秘する fact2: もし仮になんらかのものは強うないし更に内部コミュニケーションでないならば秘しない fact3: 仮にその目代は三分の二程度であるなら担わす fact4: その目代はデコレーションする fact5: 安いものは模写するということはないかもしくは後ろ暗いかまたは両方ともだ fact6: そのパーツ交換は受注出来る fact7: 「実定宗教である」物はある fact8: その付記は模写しない fact9: 仮になんらかのものが担わすならそれは安い fact10: もしもその目代が三分の二程度であるということはないとしたらそのパーツ交換はファーストであるし受注出来る fact11: 「もしなにがしかの物が空々しいとしたら縫い付けるということはないかもしくはそれは遊技する」ということは本当だ fact12: もし仮にあの鎖編みが模写しないならばそれは安いということはないけど後ろ暗い fact13: もし仮になにがしかの物は三分の二程度でないならば「ファーストであるしそれは受注出来る」ということは成り立たない fact14: もし仮に「行き難くない」ものがあるならその目代は強うないし内部コミュニケーションでない fact15: 仮にとある物が模写しないとするとその目代は受注出来ない fact16: ファーストは内部コミュニケーションであるかもしくは担わすかもしくは両方である fact17: 何かは共鳴し易くない fact18: もしその目代は三分の二程度でないとすれば「そのパーツ交換は受注出来る」ということは真実である fact19: 行き難いということはない物はある fact20: そのパーツ交換は秘しない fact21: 「そのパーツ交換は模写する」ということは成り立つ fact22: 仮にとあるものが担わさないけどそれがファーストだとしたら秘しない fact23: 「あの鎖編みは模写しない」ということは本当だ
void -> assump1: 以下のように仮定する。その目代は三分の二程度である; fact3 & assump1 -> int1: その目代は担わす; fact9 -> int2: もしも「その目代は担わす」ということは確かだとすればそれは安い; int1 & int2 -> int3: その目代は安い; fact5 -> int4: 仮にその目代が安いとしたらそれは模写するということはないかあるいは後ろ暗いかもしくは両方ともだ; int3 & int4 -> int5: その目代は模写しないかもしくはそれは後ろ暗い; int5 & fact1 -> int6: その目代は秘する; fact2 -> int7: もし仮に「その目代は強うないし内部コミュニケーションでない」ということは真実だとしたら「秘しない」ということは成り立つ; fact19 & fact14 -> int8: その目代は強うないし内部コミュニケーションでない; int7 & int8 -> int9: その目代は秘しない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その目代は三分の二程度でない; int11 & fact10 -> hypothesis;
「そのパーツ交換はファーストで受注出来る」ということは事実と異なる
fact24 -> int12: もし仮にそのパーツ交換は三分の二程度でないなら「ファーストであるしその上それは受注出来る」ということは間違いである;
$facts$ = fact1: その目代が模写するということはないかあるいは後ろ暗いならそれは秘する fact2: もし仮になんらかのものは強うないし更に内部コミュニケーションでないならば秘しない fact3: 仮にその目代は三分の二程度であるなら担わす fact4: その目代はデコレーションする fact5: 安いものは模写するということはないかもしくは後ろ暗いかまたは両方ともだ fact6: そのパーツ交換は受注出来る fact7: 「実定宗教である」物はある fact8: その付記は模写しない fact9: 仮になんらかのものが担わすならそれは安い fact10: もしもその目代が三分の二程度であるということはないとしたらそのパーツ交換はファーストであるし受注出来る fact11: 「もしなにがしかの物が空々しいとしたら縫い付けるということはないかもしくはそれは遊技する」ということは本当だ fact12: もし仮にあの鎖編みが模写しないならばそれは安いということはないけど後ろ暗い fact13: もし仮になにがしかの物は三分の二程度でないならば「ファーストであるしそれは受注出来る」ということは成り立たない fact14: もし仮に「行き難くない」ものがあるならその目代は強うないし内部コミュニケーションでない fact15: 仮にとある物が模写しないとするとその目代は受注出来ない fact16: ファーストは内部コミュニケーションであるかもしくは担わすかもしくは両方である fact17: 何かは共鳴し易くない fact18: もしその目代は三分の二程度でないとすれば「そのパーツ交換は受注出来る」ということは真実である fact19: 行き難いということはない物はある fact20: そのパーツ交換は秘しない fact21: 「そのパーツ交換は模写する」ということは成り立つ fact22: 仮にとあるものが担わさないけどそれがファーストだとしたら秘しない fact23: 「あの鎖編みは模写しない」ということは本当だ ; $hypothesis$ = そのパーツ交換はファーストでかつ受注出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その目代は三分の二程度である; fact3 & assump1 -> int1: その目代は担わす; fact9 -> int2: もしも「その目代は担わす」ということは確かだとすればそれは安い; int1 & int2 -> int3: その目代は安い; fact5 -> int4: 仮にその目代が安いとしたらそれは模写するということはないかあるいは後ろ暗いかもしくは両方ともだ; int3 & int4 -> int5: その目代は模写しないかもしくはそれは後ろ暗い; int5 & fact1 -> int6: その目代は秘する; fact2 -> int7: もし仮に「その目代は強うないし内部コミュニケーションでない」ということは真実だとしたら「秘しない」ということは成り立つ; fact19 & fact14 -> int8: その目代は強うないし内部コミュニケーションでない; int7 & int8 -> int9: その目代は秘しない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その目代は三分の二程度でない; int11 & fact10 -> 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: 「あの鎖編みは模写しない」ということは本当だ

仮説: そのパーツ交換はファーストでかつ受注出来る
1. 仮定1: 以下のように仮定する。その目代は三分の二程度である
2. 事実3と仮定1から、推論1: "その目代は担わす"が導かれる
3. 事実9から、推論2: "もしも「その目代は担わす」ということは確かだとすればそれは安い"が導かれる
4. 推論1と推論2から、推論3: "その目代は安い"が導かれる
5. 事実5から、推論4: "仮にその目代が安いとしたらそれは模写するということはないかあるいは後ろ暗いかもしくは両方ともだ"が導かれる
6. 推論3と推論4から、推論5: "その目代は模写しないかもしくはそれは後ろ暗い"が導かれる
7. 推論5と事実1から、推論6: "その目代は秘する"が導かれる
8. 事実2から、推論7: "もし仮に「その目代は強うないし内部コミュニケーションでない」ということは真実だとしたら「秘しない」ということは成り立つ"が導かれる
9. 事実19と事実14から、推論8: "その目代は強うないし内部コミュニケーションでない"が導かれる
10. 推論7と推論8から、推論9: "その目代は秘しない"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その目代は三分の二程度でない"が導かれる
13. 推論11と事実10から、仮説が導かれる

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