「その神語術師は注力するけれどそれは名義尺度であるということはない」ということは成り立たない
fact1: もし仮にそのアルカイスムが注力しないならばその神語術師は理解し易くない fact2: もし仮にその烏堂が名義尺度であるということはないとすればあの神語術師は名義尺度でない fact3: 「「比較であるということはないし先取りする」ということは嘘な」ものはある fact4: 仮になんらかの物が名義尺度でないとしたらその神語術師は冷め易くないし薬害ＡＩＤＳでない fact5: もしこの静止が先取りしないとすればあのアルカイスムは伸び易くない fact6: そのベトナム側は冷め易くないか理解し易いかあるいはどちらもであるとすると冷め易いということはない fact7: そのアルカイスムは理解し易くない fact8: そのベトナム側は忠実忠実しい fact9: もしも「なにかは忠実忠実しい」ということは確かであるとすると「注力するしそれは名義尺度でない」ということは事実と異なる fact10: 「その神語術師は名義尺度でない」ということは誤りだということはない fact11: 「そのマーケターは薬害ＡＩＤＳでないけど簿記である」ということは本当でない fact12: もし仮に「比較であるということはない」ものがあるとすればそのアルカイスムは先取りしなくて理解し易くない fact13: 「「比較だ」ということは成り立つ」物はある fact14: そのマーケターは忠実忠実しかない fact15: もし仮にそのアルカイスムは比較なら「この静止は理解し易い」ということは事実だ fact16: 忠実忠実しいものは冷め易いけれど縁遠くない fact17: 「仮にそのマーケターが簿記でないとするとこの静止は冷め易くない」ということは成り立つ fact18: 伸び易い物が冷め易くないとしたら比較でない fact19: もしも「比較でない」ものがあるとするとそのアルカイスムは理解し易くない fact20: 「信頼しない」物はある fact21: 「あの薬方は理解し易いし先取りする」ということは間違っている fact22: もし仮にそのアルカイスムが先取りしなくて更にそれが理解し易くないとすればその烏堂は名義尺度でない fact23: もし仮にそのアルカイスムが先取りしないけど理解し易いならその烏堂は名義尺度であるということはない fact24: もし仮に「そのマーケターは薬害ＡＩＤＳでないけれど簿記である」ということは事実と異なるならこの静止は冷め易くない fact25: もし仮にその烏堂が名義尺度でないならその神語術師は注力するがそれは名義尺度でない fact26: 「「比較でないけど先取りする」ということは誤っている」ものがあればそのアルカイスムは比較だ fact27: とある物は忠実忠実しい fact28: そのベトナム側が忠実忠実しいならこの静止は伸び易い
fact28 & fact8 -> int1: この静止は伸び易い; fact11 & fact24 -> int2: この静止は冷め易くない; int1 & int2 -> int3: この静止は伸び易い一方で冷め易くない; fact18 -> int4: もしもこの静止は伸び易いがしかし冷め易くないとすれば比較でない; int3 & int4 -> int5: この静止は比較でない; int5 -> int6: 「比較でない」物はある; int6 & fact12 -> int7: 「そのアルカイスムは先取りしないしその上それは理解し易いということはない」ということは成り立つ; int7 & fact22 -> int8: その烏堂は名義尺度でない; int8 & fact25 -> hypothesis;
あの薬方は冷め易いけど縁遠くない
fact29 -> int9: あの薬方が忠実忠実しいならばそれは冷め易いけど縁遠くない;
$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: もし仮に「そのマーケターは薬害ＡＩＤＳでないけれど簿記である」ということは事実と異なるならこの静止は冷め易くない fact25: もし仮にその烏堂が名義尺度でないならその神語術師は注力するがそれは名義尺度でない fact26: 「「比較でないけど先取りする」ということは誤っている」ものがあればそのアルカイスムは比較だ fact27: とある物は忠実忠実しい fact28: そのベトナム側が忠実忠実しいならこの静止は伸び易い ; $hypothesis$ = 「その神語術師は注力するけれどそれは名義尺度であるということはない」ということは成り立たない ; $proof$ = 
fact28 & fact8 -> int1: この静止は伸び易い; fact11 & fact24 -> int2: この静止は冷め易くない; int1 & int2 -> int3: この静止は伸び易い一方で冷め易くない; fact18 -> int4: もしもこの静止は伸び易いがしかし冷め易くないとすれば比較でない; int3 & int4 -> int5: この静止は比較でない; int5 -> int6: 「比較でない」物はある; int6 & fact12 -> int7: 「そのアルカイスムは先取りしないしその上それは理解し易いということはない」ということは成り立つ; int7 & fact22 -> int8: その烏堂は名義尺度でない; int8 & fact25 -> 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: もし仮に「そのマーケターは薬害ＡＩＤＳでないけれど簿記である」ということは事実と異なるならこの静止は冷め易くない
事実25: もし仮にその烏堂が名義尺度でないならその神語術師は注力するがそれは名義尺度でない
事実26: 「「比較でないけど先取りする」ということは誤っている」ものがあればそのアルカイスムは比較だ
事実27: とある物は忠実忠実しい
事実28: そのベトナム側が忠実忠実しいならこの静止は伸び易い

仮説: 「その神語術師は注力するけれどそれは名義尺度であるということはない」ということは成り立たない
1. 事実28と事実8から、推論1: "この静止は伸び易い"が導かれる
2. 事実11と事実24から、推論2: "この静止は冷め易くない"が導かれる
3. 推論1と推論2から、推論3: "この静止は伸び易い一方で冷め易くない"が導かれる
4. 事実18から、推論4: "もしもこの静止は伸び易いがしかし冷め易くないとすれば比較でない"が導かれる
5. 推論3と推論4から、推論5: "この静止は比較でない"が導かれる
6. 推論5から、推論6: "「比較でない」物はある"が導かれる
7. 推論6と事実12から、推論7: "「そのアルカイスムは先取りしないしその上それは理解し易いということはない」ということは成り立つ"が導かれる
8. 推論7と事実22から、推論8: "その烏堂は名義尺度でない"が導かれる
9. 推論8と事実25から、仮説が否定される

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