この相反は競争出来る
fact1: もしもこの親玉は手際良くないとしたら「あの支持ジグは接見するがしかし手際良いということはない」ということは成り立たない fact2: もしもこの親玉が遅しけれど興奮状態でないならこの試合時間は遅しない fact3: もし仮に何らかの物が鳴り渡れば間近くない fact4: 仮に「この監査方針は古臭い」ということは成り立つならその読み誤りは毒々しい fact5: この琥珀が接見しないとしたらあの支持ジグが毒々しいしその上興奮状態である fact6: この親玉は遅し fact7: もし遅しものは興奮状態であるならそれは手際良くない fact8: この監査方針は鳴り渡る fact9: 仮にこの琥珀は間近いとすると「毒々しかない」ということは成り立つ fact10: この親玉は興奮状態でないとしたら「この相反は古臭い」ということは成り立つ fact11: あのトンネル手前は鳴り渡る fact12: もし「あの支持ジグは接見しなくてその上手際良くない」ということは間違いであるとすればあの琥珀は毒々しい fact13: もしもこの琥珀が間近いかもしくは腐り易いかまたは両方ともであるならそれは毒々しかない fact14: 「「あの支持ジグは遅しない」ということは真実であるなら「この親玉は競争出来るし興奮状態である」ということは嘘である」ということは成り立つ fact15: この琥珀は鳴り渡る fact16: もしあの支持ジグが接見すればこの琥珀は毒々しい fact17: このイベントハンドラは興奮状態でない fact18: 毒々しかないものは接見するしその上手際良い fact19: この相反は古臭い fact20: もし仮にその読み誤りは毒々しいとすると「この琥珀は手際良くなくてかつ接見しない」ということは成り立たない fact21: もしもこの親玉は手際良いということはないならば「あの支持ジグは接見しなくて加えて手際良くない」ということは成り立つということはない fact22: この琥珀が鳴り渡るならそれは腐り易い fact23: もし仮に「この監査方針は間近くない」ということは成り立つとすれば古臭いしさらに腐り易い fact24: 仮にこの親玉は興奮状態でないとすると「この相反は古臭くて加えて競争出来る」ということは成り立つ
void -> assump1: 以下のように仮定する。この親玉は興奮状態である; fact6 & assump1 -> int1: この親玉は遅ししまた興奮状態だ; fact7 -> int2: もしこの親玉が遅ししさらに興奮状態だとしたらそれは手際良くない; int1 & int2 -> int3: この親玉は手際良くない; int3 & fact21 -> int4: 「あの支持ジグは接見しなくて手際良くない」ということは嘘である; int4 & fact12 -> int5: この琥珀は毒々しい; fact22 & fact15 -> int6: この琥珀は腐り易い; int6 -> int7: この琥珀は間近いか腐り易いかあるいは両方ともである; fact13 & int7 -> int8: この琥珀は毒々しいということはない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この親玉は興奮状態でない; int10 & fact24 -> int11: この相反は古臭いし加えて競争出来る; int11 -> hypothesis;
「この試合時間は遅しということはない」ということは偽でない
fact26 -> 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: もし仮に「この監査方針は間近くない」ということは成り立つとすれば古臭いしさらに腐り易い fact24: 仮にこの親玉は興奮状態でないとすると「この相反は古臭くて加えて競争出来る」ということは成り立つ ; $hypothesis$ = この相反は競争出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。この親玉は興奮状態である; fact6 & assump1 -> int1: この親玉は遅ししまた興奮状態だ; fact7 -> int2: もしこの親玉が遅ししさらに興奮状態だとしたらそれは手際良くない; int1 & int2 -> int3: この親玉は手際良くない; int3 & fact21 -> int4: 「あの支持ジグは接見しなくて手際良くない」ということは嘘である; int4 & fact12 -> int5: この琥珀は毒々しい; fact22 & fact15 -> int6: この琥珀は腐り易い; int6 -> int7: この琥珀は間近いか腐り易いかあるいは両方ともである; fact13 & int7 -> int8: この琥珀は毒々しいということはない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この親玉は興奮状態でない; int10 & fact24 -> int11: この相反は古臭いし加えて競争出来る; int11 -> 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. 仮定1: 以下のように仮定する。この親玉は興奮状態である
2. 事実6と仮定1から、推論1: "この親玉は遅ししまた興奮状態だ"が導かれる
3. 事実7から、推論2: "もしこの親玉が遅ししさらに興奮状態だとしたらそれは手際良くない"が導かれる
4. 推論1と推論2から、推論3: "この親玉は手際良くない"が導かれる
5. 推論3と事実21から、推論4: "「あの支持ジグは接見しなくて手際良くない」ということは嘘である"が導かれる
6. 推論4と事実12から、推論5: "この琥珀は毒々しい"が導かれる
7. 事実22と事実15から、推論6: "この琥珀は腐り易い"が導かれる
8. 推論6から、推論7: "この琥珀は間近いか腐り易いかあるいは両方ともである"が導かれる
9. 事実13と推論7から、推論8: "この琥珀は毒々しいということはない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この親玉は興奮状態でない"が導かれる
12. 推論10と事実24から、推論11: "この相反は古臭いし加えて競争出来る"が導かれる
13. 推論11から、仮説が導かれる

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