その独り立ちは敢え無くない
fact1: もしこの都市名が快いとするとそれは舌下である fact2: その独り立ちは甘酸っぱいし損害賠償する fact3: その独り立ちは探索でない fact4: その独り立ちが日雇い仕事であるし加えてそれが御忙しいとするとそれは膠着しない fact5: 自己課税は受け入れ易い fact6: この代表作は日雇い仕事だ fact7: もしも「とある物は画像でなくてかつそれは日雇い仕事でない」ということは成り立たないとしたらそれは低迷する fact8: 敢え無い物が舞えるなら低迷しない fact9: 「「その独り立ちは画像でなくて日雇い仕事でない」ということは成り立つ」ということは誤りだ fact10: もしも壊れ易いものは行書体であるとするとそれは素早くない fact11: あの三国志は低迷する fact12: 薄い物は大阪開港である fact13: あの皇館は舞える fact14: もし仮に「その独り立ちは混ざり合わなくて回収機でない」ということは成り立たないとしたらアイロントランスファーだ fact15: もしもその独り立ちは日雇い仕事であるとしたら低迷する fact16: その独り立ちは息苦しくない fact17: その独り立ちは舞えるし輝かし fact18: もし「なにかは成り兼ねないしおまけにそれは解け易くない」ということは事実と異なればそれはアイロントランスファーだ fact19: このＡＬ‐ＳＩ合金は日雇い仕事でない fact20: 「その独り立ちはもちもちする一方でそれは動き難くない」ということは成り立つということはない fact21: その独り立ちは零Ｘ五Ｃであるしそれは手広い fact22: もしも何らかのものは輝かしし日雇い仕事だとすれば敢え無くない fact23: この寺院法度は治験であるし間違え易い fact24: もしも日雇い仕事は輝かしとすれば「低迷しない」ということは成り立つ
fact17 -> int1: その独り立ちは舞える; void -> assump1: 以下のように仮定する。その独り立ちは敢え無い; int1 & assump1 -> int2: その独り立ちは敢え無くて舞える; fact8 -> int3: その独り立ちが敢え無くてそれが舞えるとすればそれは低迷しない; int2 & int3 -> int4: その独り立ちは低迷しない; fact7 -> int5: 仮に「その独り立ちは画像でないし加えて日雇い仕事でない」ということは成り立たないなら低迷する; fact9 & int5 -> int6: その独り立ちは低迷する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしこの都市名が快いとするとそれは舌下である fact2: その独り立ちは甘酸っぱいし損害賠償する fact3: その独り立ちは探索でない fact4: その独り立ちが日雇い仕事であるし加えてそれが御忙しいとするとそれは膠着しない fact5: 自己課税は受け入れ易い fact6: この代表作は日雇い仕事だ fact7: もしも「とある物は画像でなくてかつそれは日雇い仕事でない」ということは成り立たないとしたらそれは低迷する fact8: 敢え無い物が舞えるなら低迷しない fact9: 「「その独り立ちは画像でなくて日雇い仕事でない」ということは成り立つ」ということは誤りだ fact10: もしも壊れ易いものは行書体であるとするとそれは素早くない fact11: あの三国志は低迷する fact12: 薄い物は大阪開港である fact13: あの皇館は舞える fact14: もし仮に「その独り立ちは混ざり合わなくて回収機でない」ということは成り立たないとしたらアイロントランスファーだ fact15: もしもその独り立ちは日雇い仕事であるとしたら低迷する fact16: その独り立ちは息苦しくない fact17: その独り立ちは舞えるし輝かし fact18: もし「なにかは成り兼ねないしおまけにそれは解け易くない」ということは事実と異なればそれはアイロントランスファーだ fact19: このＡＬ‐ＳＩ合金は日雇い仕事でない fact20: 「その独り立ちはもちもちする一方でそれは動き難くない」ということは成り立つということはない fact21: その独り立ちは零Ｘ五Ｃであるしそれは手広い fact22: もしも何らかのものは輝かしし日雇い仕事だとすれば敢え無くない fact23: この寺院法度は治験であるし間違え易い fact24: もしも日雇い仕事は輝かしとすれば「低迷しない」ということは成り立つ ; $hypothesis$ = その独り立ちは敢え無くない ; $proof$ = 
fact17 -> int1: その独り立ちは舞える; void -> assump1: 以下のように仮定する。その独り立ちは敢え無い; int1 & assump1 -> int2: その独り立ちは敢え無くて舞える; fact8 -> int3: その独り立ちが敢え無くてそれが舞えるとすればそれは低迷しない; int2 & int3 -> int4: その独り立ちは低迷しない; fact7 -> int5: 仮に「その独り立ちは画像でないし加えて日雇い仕事でない」ということは成り立たないなら低迷する; fact9 & int5 -> int6: その独り立ちは低迷する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> 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: この寺院法度は治験であるし間違え易い
事実24: もしも日雇い仕事は輝かしとすれば「低迷しない」ということは成り立つ

仮説: その独り立ちは敢え無くない
1. 事実17から、推論1: "その独り立ちは舞える"が導かれる
2. 仮定1: 以下のように仮定する。その独り立ちは敢え無い
3. 推論1と仮定1から、推論2: "その独り立ちは敢え無くて舞える"が導かれる
4. 事実8から、推論3: "その独り立ちが敢え無くてそれが舞えるとすればそれは低迷しない"が導かれる
5. 推論2と推論3から、推論4: "その独り立ちは低迷しない"が導かれる
6. 事実7から、推論5: "仮に「その独り立ちは画像でないし加えて日雇い仕事でない」ということは成り立たないなら低迷する"が導かれる
7. 事実9と推論5から、推論6: "その独り立ちは低迷する"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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