とある物は割れ難いかまたは自由化するかあるいは両方だ
fact1: 「その各国公使は割れ難くない」ということは成り立つ fact2: その譜例は外国語能力だ fact3: もしあの連邦が公費負担しないならそれは丸っこいということはない fact4: もしある物が疲れ易いとすると心理的影響だ fact5: あの連邦は丸っこくない fact6: あの連邦は受講するけれど割れ難くない fact7: あの連邦は不必要であるかもしくは公費負担するかまたは両方ともである fact8: 「あの連邦は伝導するし丸っこい」ということは真実でない fact9: もしもなにかは公費負担しないとしたらそれは丸っこいということはない fact10: 「あの連邦は淡くないかそれは統治でないかあるいは両方ともだ」ということは成り立たない fact11: この文法性判断タスクが時間条件的無でなくてその上派しないとしたらその飛蝗は時間条件的無でない fact12: 「もし仮に「その各国公使は時間条件的無であるということはないかあるいは不必要でないかあるいはどちらもである」ということは間違いならあの連邦は時間条件的無でない」ということは成り立つ fact13: もしもあるものは公費負担するとすると「それは自由化する」ということは成り立つ fact14: 「その各国公使は時間条件的無だということはないかまたはそれは不必要でない」ということは成り立たない fact15: 「その飛蝗は割れ難いということはないかもしくはそれは自由化しないかあるいは両方である」ということは成り立たないとすればあの各国公使は公費負担する fact16: あの連邦は不必要であるかまたは時間条件的無であるかあるいはどちらもだ fact17: もし「あの連邦は時間条件的無であるということはない」ということは本当であるならば「それは伝導するしおまけに丸っこい」ということは成り立つということはない fact18: もしも「その各国公使は時間条件的無であるかまたは不必要でないかまたはどちらもである」ということは成り立たないとすればあの連邦は時間条件的無でない fact19: 仮に「何らかのものは時間条件的無でない」ということは正しいとすると「それは伝導するけど丸っこくない」ということは成り立つということはない fact20: もしも何らかのものは時間条件的無でないとすると「それは伝導するし加えて丸っこい」ということは事実と異なる fact21: もしもとある物が公費負担しないならそれは伝導する一方で丸っこいということはない fact22: その各国公使は時間条件的無である fact23: 「あの連邦は低迷しないかまたはそれは不必要でないかまたは両方ともである」ということは間違っている fact24: あの雇用システムは発表物であるということはない
fact21 -> int1: もしも「あの連邦は公費負担しない」ということは成り立つとしたらそれは伝導するしそれは丸っこくない; void -> assump1: 以下のように仮定する。あの連邦は公費負担しない; int1 & assump1 -> int2: あの連邦は伝導するけど丸っこくない; fact14 & fact12 -> int3: あの連邦は時間条件的無でない; fact19 -> int4: もしもあの連邦は時間条件的無でないなら「伝導するしおまけに丸っこくない」ということは成り立たない; int3 & int4 -> int5: 「あの連邦は伝導する一方でそれは丸っこくない」ということは間違いだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの連邦は公費負担する; fact13 -> int8: もしあの連邦が公費負担すればそれは自由化する; int7 & int8 -> int9: あの連邦は自由化する; int9 -> int10: あの連邦は割れ難いかもしくは自由化するかもしくは両方だ; int10 -> 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$ = 
fact21 -> int1: もしも「あの連邦は公費負担しない」ということは成り立つとしたらそれは伝導するしそれは丸っこくない; void -> assump1: 以下のように仮定する。あの連邦は公費負担しない; int1 & assump1 -> int2: あの連邦は伝導するけど丸っこくない; fact14 & fact12 -> int3: あの連邦は時間条件的無でない; fact19 -> int4: もしもあの連邦は時間条件的無でないなら「伝導するしおまけに丸っこくない」ということは成り立たない; int3 & int4 -> int5: 「あの連邦は伝導する一方でそれは丸っこくない」ということは間違いだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの連邦は公費負担する; fact13 -> int8: もしあの連邦が公費負担すればそれは自由化する; int7 & int8 -> int9: あの連邦は自由化する; int9 -> int10: あの連邦は割れ難いかもしくは自由化するかもしくは両方だ; int10 -> 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. 事実21から、推論1: "もしも「あの連邦は公費負担しない」ということは成り立つとしたらそれは伝導するしそれは丸っこくない"が導かれる
2. 仮定1: 以下のように仮定する。あの連邦は公費負担しない
3. 推論1と仮定1から、推論2: "あの連邦は伝導するけど丸っこくない"が導かれる
4. 事実14と事実12から、推論3: "あの連邦は時間条件的無でない"が導かれる
5. 事実19から、推論4: "もしもあの連邦は時間条件的無でないなら「伝導するしおまけに丸っこくない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「あの連邦は伝導する一方でそれは丸っこくない」ということは間違いだ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの連邦は公費負担する"が導かれる
9. 事実13から、推論8: "もしあの連邦が公費負担すればそれは自由化する"が導かれる
10. 推論7と推論8から、推論9: "あの連邦は自由化する"が導かれる
11. 推論9から、推論10: "あの連邦は割れ難いかもしくは自由化するかもしくは両方だ"が導かれる
12. 推論10から、仮説が導かれる

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