このエリヤは目覚ましくない
fact1: もし仮になんらかの物が目標値・基準値であるかまたはハッピータイムであるなら異議無しであるということはない fact2: 仮に何かは異議無しであるなら「この風景は目標値・基準値でないけどハッピータイムである」ということは偽だ fact3: 「異議無しである」ものはあれば「この風景は目標値・基準値であるがハッピータイムでない」ということは誤りだ fact4: もし仮に「この風景は目標値・基準値でなくて加えてそれはハッピータイムでない」ということは誤っているとすればこのエリヤは策動する fact5: 「この風景は目標値・基準値だがしかしハッピータイムでない」ということは確かでない fact6: もしも何かは策動するとすると「目覚ましくない」ということは事実と異なる fact7: 「「異議無しである」ということは真実である」物はある fact8: もし「異議無しな」ものはあるなら「この風景は目標値・基準値でないし加えてハッピータイムでない」ということは嘘だ fact9: あのモダン都市は目標値・基準値だ fact10: 仮にこの風景が目標値・基準値であるし目覚ましいならこのエリヤは目覚ましくない fact11: 「この風景は目標値・基準値でないがそれはハッピータイムである」ということは事実と異なる
fact7 & fact8 -> int1: 「「この風景は目標値・基準値でないしその上ハッピータイムだということはない」ということは事実である」ということは真実でない; int1 & fact4 -> int2: このエリヤは策動する; fact6 -> int3: もしこのエリヤが策動するとすると目覚ましい; int2 & int3 -> hypothesis;
fact7 & fact8 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact4 -> int2: {D}{b}; fact6 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
このエリヤは目覚ましくない
$facts$ = fact1: もし仮になんらかの物が目標値・基準値であるかまたはハッピータイムであるなら異議無しであるということはない fact2: 仮に何かは異議無しであるなら「この風景は目標値・基準値でないけどハッピータイムである」ということは偽だ fact3: 「異議無しである」ものはあれば「この風景は目標値・基準値であるがハッピータイムでない」ということは誤りだ fact4: もし仮に「この風景は目標値・基準値でなくて加えてそれはハッピータイムでない」ということは誤っているとすればこのエリヤは策動する fact5: 「この風景は目標値・基準値だがしかしハッピータイムでない」ということは確かでない fact6: もしも何かは策動するとすると「目覚ましくない」ということは事実と異なる fact7: 「「異議無しである」ということは真実である」物はある fact8: もし「異議無しな」ものはあるなら「この風景は目標値・基準値でないし加えてハッピータイムでない」ということは嘘だ fact9: あのモダン都市は目標値・基準値だ fact10: 仮にこの風景が目標値・基準値であるし目覚ましいならこのエリヤは目覚ましくない fact11: 「この風景は目標値・基準値でないがそれはハッピータイムである」ということは事実と異なる ; $hypothesis$ = このエリヤは目覚ましくない ; $proof$ = 
fact7 & fact8 -> int1: 「「この風景は目標値・基準値でないしその上ハッピータイムだということはない」ということは事実である」ということは真実でない; int1 & fact4 -> int2: このエリヤは策動する; fact6 -> int3: もしこのエリヤが策動するとすると目覚ましい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物が目標値・基準値であるかまたはハッピータイムであるなら異議無しであるということはない
事実2: 仮に何かは異議無しであるなら「この風景は目標値・基準値でないけどハッピータイムである」ということは偽だ
事実3: 「異議無しである」ものはあれば「この風景は目標値・基準値であるがハッピータイムでない」ということは誤りだ
事実4: もし仮に「この風景は目標値・基準値でなくて加えてそれはハッピータイムでない」ということは誤っているとすればこのエリヤは策動する
事実5: 「この風景は目標値・基準値だがしかしハッピータイムでない」ということは確かでない
事実6: もしも何かは策動するとすると「目覚ましくない」ということは事実と異なる
事実7: 「「異議無しである」ということは真実である」物はある
事実8: もし「異議無しな」ものはあるなら「この風景は目標値・基準値でないし加えてハッピータイムでない」ということは嘘だ
事実9: あのモダン都市は目標値・基準値だ
事実10: 仮にこの風景が目標値・基準値であるし目覚ましいならこのエリヤは目覚ましくない
事実11: 「この風景は目標値・基準値でないがそれはハッピータイムである」ということは事実と異なる

仮説: このエリヤは目覚ましくない
1. 事実7と事実8から、推論1: "「「この風景は目標値・基準値でないしその上ハッピータイムだということはない」ということは事実である」ということは真実でない"が導かれる
2. 推論1と事実4から、推論2: "このエリヤは策動する"が導かれる
3. 事実6から、推論3: "もしこのエリヤが策動するとすると目覚ましい"が導かれる
4. 推論2と推論3から、仮説が否定される

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