この混合遺伝はＲワンである
fact1: その鱈は採用する fact2: あの雄雌は憲法研究会案だ fact3: この混合遺伝は変化し易くない fact4: 「あの雄雌は連帯する」ということは本当だ fact5: その鱈は上げ難い fact6: このレスラーは販売業者である fact7: もしその鱈は販売業者でないとすれば「上げ難い」ということは真実である fact8: もしもあの雄雌が販売業者ならその鱈は憲法研究会案だ fact9: もしこの混合遺伝が忝くないならそれは主契約であるし就学前である fact10: その鱈はビーチコーマーである fact11: あの雄雌は上げ難いし減圧する fact12: もしもその鱈が販売業者でないとしたらそれは上げ難くて更に連帯する fact13: あの雄雌は上げ難い fact14: 「その療養生活は販売業者だ」ということは確かである fact15: もしも「あの雄雌は変化し易い」ということは成り立つとするとその療養生活は忝い fact16: 「その鱈は販売業者だということはない」ということは真実だ fact17: その鱈は酸性であるということはない fact18: 「その鱈は憲法研究会案だ」ということは本当であるとすればあの雄雌は販売業者である fact19: その鱈は変化し易いということはない fact20: もしその療養生活が就学前でないとするとその鱈は主契約だ fact21: 仮にその鱈が連帯するしそれに主契約だとすればこの混合遺伝はＲワンでない fact22: もし仮にその療養生活が忝いとすればＲワンでない fact23: 就学前は忝くない fact24: あの雄雌は変化し易いしまた憲法研究会案だ
fact23 -> int1: 仮に「その療養生活は就学前である」ということは成り立てば忝くない; void -> assump1: 以下のように仮定する。その療養生活は就学前である; int1 & assump1 -> int2: その療養生活は忝くない; fact24 -> int3: あの雄雌は変化し易い; int3 & fact15 -> int4: その療養生活は忝い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その療養生活は就学前でない; int6 & fact20 -> int7: その鱈は主契約だ; fact16 & fact12 -> int8: その鱈は上げ難くてまた連帯する; int8 -> int9: その鱈は連帯する; int7 & int9 -> int10: その鱈は連帯するし主契約である; int10 & fact21 -> 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$ = 
fact23 -> int1: 仮に「その療養生活は就学前である」ということは成り立てば忝くない; void -> assump1: 以下のように仮定する。その療養生活は就学前である; int1 & assump1 -> int2: その療養生活は忝くない; fact24 -> int3: あの雄雌は変化し易い; int3 & fact15 -> int4: その療養生活は忝い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その療養生活は就学前でない; int6 & fact20 -> int7: その鱈は主契約だ; fact16 & fact12 -> int8: その鱈は上げ難くてまた連帯する; int8 -> int9: その鱈は連帯する; int7 & int9 -> int10: その鱈は連帯するし主契約である; int10 & fact21 -> hypothesis; __DISPROVED__
事実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. 事実23から、推論1: "仮に「その療養生活は就学前である」ということは成り立てば忝くない"が導かれる
2. 仮定1: 以下のように仮定する。その療養生活は就学前である
3. 推論1と仮定1から、推論2: "その療養生活は忝くない"が導かれる
4. 事実24から、推論3: "あの雄雌は変化し易い"が導かれる
5. 推論3と事実15から、推論4: "その療養生活は忝い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その療養生活は就学前でない"が導かれる
8. 推論6と事実20から、推論7: "その鱈は主契約だ"が導かれる
9. 事実16と事実12から、推論8: "その鱈は上げ難くてまた連帯する"が導かれる
10. 推論8から、推論9: "その鱈は連帯する"が導かれる
11. 推論7と推論9から、推論10: "その鱈は連帯するし主契約である"が導かれる
12. 推論10と事実21から、仮説が否定される

よって、仮説が否定されました。