あの隠しフォルダは狙い澄まさないけれど改革路線だ
fact1: もし仮にある物が退化しない一方でそれが狙い澄ますならアルキッド樹脂でない fact2: 仮に何らかの物はアルキッド樹脂でないとしたら「発揮し易いということはなくてそれは鎮痛だ」ということは成り立つということはない fact3: 「二分子膜である」ものはある fact4: なにがしかのものは部首でないしかつ発揮し易くない fact5: 仮になんらかの物がアルキッド樹脂でないしさらに退化するということはないならあの隠しフォルダは狙い澄ますということはない fact6: あの隠しフォルダは環境会議である fact7: 「あの隠しフォルダは改革路線でないがしかし退化する」ということは成り立たない fact8: もし「「アルキッド樹脂でなくて退化しない」ということは嘘な」物があるとしたらあの茎工房は改革路線だということはない fact9: 下ろし易い物は技術力だ fact10: 「「「退化しなくて改革路線でない」ということは成り立たない」物はある」ということは本当である fact11: あの隠しフォルダは御越し頂かない fact12: もし仮に「「部首でないし発揮し易くない」ということは成り立たない」物があるとするとあの茎工房は退化しない fact13: あの四家は判別し難くない fact14: アルキッド樹脂は退化する fact15: もしもそのミルがパーク内でないならあの四家はアルキッド樹脂でないししかもそれは退化しない fact16: 「アルキッド樹脂だということはない」ものはあるなら「あの隠しフォルダは狙い澄まさないけれど改革路線である」ということは成り立たない fact17: とろい物は算定し難い fact18: 「「部首でないし加えて発揮し易くない」ということは誤りな」ものはある
fact14 -> int1: 「あの茎工房がアルキッド樹脂だとしたらあの茎工房は退化する」ということは本当だ; void -> assump1: 以下のように仮定する。あの茎工房はアルキッド樹脂である; int1 & assump1 -> int2: あの茎工房は退化する; fact18 & fact12 -> int3: あの茎工房は退化しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの茎工房はアルキッド樹脂であるということはない; int5 -> int6: ある物はアルキッド樹脂でない; int6 & fact16 -> hypothesis;
「このインターフェイスは発揮し易くないけれど鎮痛である」ということは間違いである
fact21 -> int7: もし仮にこのインターフェイスはアルキッド樹脂だということはないならば「それは発揮し易くないがしかし鎮痛である」ということは偽だ; fact20 -> int8: もしもこのインターフェイスが退化しないけれど狙い澄ますとするとそれはアルキッド樹脂だということはない; fact19 -> int9: 「「判別し難くない」ということは確かな」ものはある;
$facts$ = fact1: もし仮にある物が退化しない一方でそれが狙い澄ますならアルキッド樹脂でない fact2: 仮に何らかの物はアルキッド樹脂でないとしたら「発揮し易いということはなくてそれは鎮痛だ」ということは成り立つということはない fact3: 「二分子膜である」ものはある fact4: なにがしかのものは部首でないしかつ発揮し易くない fact5: 仮になんらかの物がアルキッド樹脂でないしさらに退化するということはないならあの隠しフォルダは狙い澄ますということはない fact6: あの隠しフォルダは環境会議である fact7: 「あの隠しフォルダは改革路線でないがしかし退化する」ということは成り立たない fact8: もし「「アルキッド樹脂でなくて退化しない」ということは嘘な」物があるとしたらあの茎工房は改革路線だということはない fact9: 下ろし易い物は技術力だ fact10: 「「「退化しなくて改革路線でない」ということは成り立たない」物はある」ということは本当である fact11: あの隠しフォルダは御越し頂かない fact12: もし仮に「「部首でないし発揮し易くない」ということは成り立たない」物があるとするとあの茎工房は退化しない fact13: あの四家は判別し難くない fact14: アルキッド樹脂は退化する fact15: もしもそのミルがパーク内でないならあの四家はアルキッド樹脂でないししかもそれは退化しない fact16: 「アルキッド樹脂だということはない」ものはあるなら「あの隠しフォルダは狙い澄まさないけれど改革路線である」ということは成り立たない fact17: とろい物は算定し難い fact18: 「「部首でないし加えて発揮し易くない」ということは誤りな」ものはある ; $hypothesis$ = あの隠しフォルダは狙い澄まさないけれど改革路線だ ; $proof$ = 
fact14 -> int1: 「あの茎工房がアルキッド樹脂だとしたらあの茎工房は退化する」ということは本当だ; void -> assump1: 以下のように仮定する。あの茎工房はアルキッド樹脂である; int1 & assump1 -> int2: あの茎工房は退化する; fact18 & fact12 -> int3: あの茎工房は退化しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの茎工房はアルキッド樹脂であるということはない; int5 -> int6: ある物はアルキッド樹脂でない; int6 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が退化しない一方でそれが狙い澄ますならアルキッド樹脂でない
事実2: 仮に何らかの物はアルキッド樹脂でないとしたら「発揮し易いということはなくてそれは鎮痛だ」ということは成り立つということはない
事実3: 「二分子膜である」ものはある
事実4: なにがしかのものは部首でないしかつ発揮し易くない
事実5: 仮になんらかの物がアルキッド樹脂でないしさらに退化するということはないならあの隠しフォルダは狙い澄ますということはない
事実6: あの隠しフォルダは環境会議である
事実7: 「あの隠しフォルダは改革路線でないがしかし退化する」ということは成り立たない
事実8: もし「「アルキッド樹脂でなくて退化しない」ということは嘘な」物があるとしたらあの茎工房は改革路線だということはない
事実9: 下ろし易い物は技術力だ
事実10: 「「「退化しなくて改革路線でない」ということは成り立たない」物はある」ということは本当である
事実11: あの隠しフォルダは御越し頂かない
事実12: もし仮に「「部首でないし発揮し易くない」ということは成り立たない」物があるとするとあの茎工房は退化しない
事実13: あの四家は判別し難くない
事実14: アルキッド樹脂は退化する
事実15: もしもそのミルがパーク内でないならあの四家はアルキッド樹脂でないししかもそれは退化しない
事実16: 「アルキッド樹脂だということはない」ものはあるなら「あの隠しフォルダは狙い澄まさないけれど改革路線である」ということは成り立たない
事実17: とろい物は算定し難い
事実18: 「「部首でないし加えて発揮し易くない」ということは誤りな」ものはある

仮説: あの隠しフォルダは狙い澄まさないけれど改革路線だ
1. 事実14から、推論1: "「あの茎工房がアルキッド樹脂だとしたらあの茎工房は退化する」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。あの茎工房はアルキッド樹脂である
3. 推論1と仮定1から、推論2: "あの茎工房は退化する"が導かれる
4. 事実18と事実12から、推論3: "あの茎工房は退化しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの茎工房はアルキッド樹脂であるということはない"が導かれる
7. 推論5から、推論6: "ある物はアルキッド樹脂でない"が導かれる
8. 推論6と事実16から、仮説が否定される

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