この元禄年間は国威でない
fact1: もし「この元禄年間は引き出し易い」ということは確かなら「先立たないし更にそれは受け合わない」ということは偽だ fact2: もしも「この病原体保有者は餅踏みでない」ということは事実ならあのエネルギー帯図は御座るかもしくは探索しないかあるいは両方である fact3: もし「「「餅踏みでないし先立たない」ということは真実である」ということは正しくない」ものはあるとすると「あのリスクフリーレートは先立つ」ということは成り立つ fact4: もしもあるものは片付かないとしたら「それは餅踏みでないし加えて先立たない」ということは嘘である fact5: あのエネルギー帯図が御座るとするとあのリスクフリーレートは不動産鑑定である fact6: もしもなにかは不動産鑑定であるし片付くならこの元禄年間は引き出し易い fact7: もしもあのエネルギー帯図が探索しないとするとあのリスクフリーレートは不動産鑑定だ fact8: もしも「何らかの物は先立たないしそれに受け合わない」ということは間違いだとすれば「それは国威でない」ということは成り立つ fact9: あのリスクフリーレートは片付く fact10: 「この病原体保有者は餅踏みでない」ということは事実である fact11: あのエネルギー帯図は引き出し易くないしおまけに片付かない
fact2 & fact10 -> int1: あのエネルギー帯図は御座るかあるいはそれは探索しないか両方である; int1 & fact5 & fact7 -> int2: あのリスクフリーレートは不動産鑑定だ; int2 & fact9 -> int3: あのリスクフリーレートは不動産鑑定だししかも片付く; int3 -> int4: 「不動産鑑定であるしさらに片付く」物はある; int4 & fact6 -> int5: この元禄年間は引き出し易い; int5 & fact1 -> int6: 「この元禄年間は先立たないし受け合うということはない」ということは誤りだ; fact8 -> int7: もしも「この元禄年間は先立たないし受け合わない」ということは嘘ならそれは国威でない; int6 & int7 -> hypothesis;
あのリスクフリーレートは先立つしおまけにそれは挫折する
fact14 -> int8: もしもあのエネルギー帯図は片付くということはないとすると「それは餅踏みでないしまた先立たない」ということは偽である; fact12 -> int9: あのエネルギー帯図は片付かない; int8 & int9 -> int10: 「あのエネルギー帯図は餅踏みでないし先立たない」ということは成り立たない; int10 -> int11: 「「餅踏みでないし先立つということはない」ということは成り立たない」ものはある; int11 & fact13 -> int12: あのリスクフリーレートは先立つ;
$facts$ = fact1: もし「この元禄年間は引き出し易い」ということは確かなら「先立たないし更にそれは受け合わない」ということは偽だ fact2: もしも「この病原体保有者は餅踏みでない」ということは事実ならあのエネルギー帯図は御座るかもしくは探索しないかあるいは両方である fact3: もし「「「餅踏みでないし先立たない」ということは真実である」ということは正しくない」ものはあるとすると「あのリスクフリーレートは先立つ」ということは成り立つ fact4: もしもあるものは片付かないとしたら「それは餅踏みでないし加えて先立たない」ということは嘘である fact5: あのエネルギー帯図が御座るとするとあのリスクフリーレートは不動産鑑定である fact6: もしもなにかは不動産鑑定であるし片付くならこの元禄年間は引き出し易い fact7: もしもあのエネルギー帯図が探索しないとするとあのリスクフリーレートは不動産鑑定だ fact8: もしも「何らかの物は先立たないしそれに受け合わない」ということは間違いだとすれば「それは国威でない」ということは成り立つ fact9: あのリスクフリーレートは片付く fact10: 「この病原体保有者は餅踏みでない」ということは事実である fact11: あのエネルギー帯図は引き出し易くないしおまけに片付かない ; $hypothesis$ = この元禄年間は国威でない ; $proof$ = 
fact2 & fact10 -> int1: あのエネルギー帯図は御座るかあるいはそれは探索しないか両方である; int1 & fact5 & fact7 -> int2: あのリスクフリーレートは不動産鑑定だ; int2 & fact9 -> int3: あのリスクフリーレートは不動産鑑定だししかも片付く; int3 -> int4: 「不動産鑑定であるしさらに片付く」物はある; int4 & fact6 -> int5: この元禄年間は引き出し易い; int5 & fact1 -> int6: 「この元禄年間は先立たないし受け合うということはない」ということは誤りだ; fact8 -> int7: もしも「この元禄年間は先立たないし受け合わない」ということは嘘ならそれは国威でない; int6 & int7 -> hypothesis; __PROVED__
事実1: もし「この元禄年間は引き出し易い」ということは確かなら「先立たないし更にそれは受け合わない」ということは偽だ
事実2: もしも「この病原体保有者は餅踏みでない」ということは事実ならあのエネルギー帯図は御座るかもしくは探索しないかあるいは両方である
事実3: もし「「「餅踏みでないし先立たない」ということは真実である」ということは正しくない」ものはあるとすると「あのリスクフリーレートは先立つ」ということは成り立つ
事実4: もしもあるものは片付かないとしたら「それは餅踏みでないし加えて先立たない」ということは嘘である
事実5: あのエネルギー帯図が御座るとするとあのリスクフリーレートは不動産鑑定である
事実6: もしもなにかは不動産鑑定であるし片付くならこの元禄年間は引き出し易い
事実7: もしもあのエネルギー帯図が探索しないとするとあのリスクフリーレートは不動産鑑定だ
事実8: もしも「何らかの物は先立たないしそれに受け合わない」ということは間違いだとすれば「それは国威でない」ということは成り立つ
事実9: あのリスクフリーレートは片付く
事実10: 「この病原体保有者は餅踏みでない」ということは事実である
事実11: あのエネルギー帯図は引き出し易くないしおまけに片付かない

仮説: この元禄年間は国威でない
1. 事実2と事実10から、推論1: "あのエネルギー帯図は御座るかあるいはそれは探索しないか両方である"が導かれる
2. 推論1と事実5と事実7から、推論2: "あのリスクフリーレートは不動産鑑定だ"が導かれる
3. 推論2と事実9から、推論3: "あのリスクフリーレートは不動産鑑定だししかも片付く"が導かれる
4. 推論3から、推論4: "「不動産鑑定であるしさらに片付く」物はある"が導かれる
5. 推論4と事実6から、推論5: "この元禄年間は引き出し易い"が導かれる
6. 推論5と事実1から、推論6: "「この元禄年間は先立たないし受け合うということはない」ということは誤りだ"が導かれる
7. 事実8から、推論7: "もしも「この元禄年間は先立たないし受け合わない」ということは嘘ならそれは国威でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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