あのハイヤーは液状化であるということはない
fact1: あの時計仕掛けは嘲り笑わないし加えて味わい得るということはない fact2: もし仮に「嘲り笑わなくてかつ味わい得ない」ものがあるとするとあの民主国家は理論分析である fact3: もし「必要最小限度でない一方で味わい得る」物があるとするとあの民主国家は理論分析だ fact4: もしあのハイヤーが必要最小限度なら液状化だ fact5: 仮にあの民主国家が理論分析であるかあるいは出血し易いということはないかもしくは両方であるならばあのハイヤーは必要最小限度だ fact6: もしとある物が味わい得るとすれば液状化でないけど嘲り笑う
fact1 -> int1: 「嘲り笑わなくて加えて味わい得ない」物はある; int1 & fact2 -> int2: あの民主国家は理論分析である; int2 -> int3: あの民主国家は理論分析であるかまたは出血し易くないかもしくは両方ともである; int3 & fact5 -> int4: あのハイヤーは必要最小限度である; int4 & fact4 -> hypothesis;
あのハイヤーは液状化でない
fact7 -> int5: 仮にあのハイヤーが味わい得ればそれは液状化でないし更に嘲り笑う;
$facts$ = fact1: あの時計仕掛けは嘲り笑わないし加えて味わい得るということはない fact2: もし仮に「嘲り笑わなくてかつ味わい得ない」ものがあるとするとあの民主国家は理論分析である fact3: もし「必要最小限度でない一方で味わい得る」物があるとするとあの民主国家は理論分析だ fact4: もしあのハイヤーが必要最小限度なら液状化だ fact5: 仮にあの民主国家が理論分析であるかあるいは出血し易いということはないかもしくは両方であるならばあのハイヤーは必要最小限度だ fact6: もしとある物が味わい得るとすれば液状化でないけど嘲り笑う ; $hypothesis$ = あのハイヤーは液状化であるということはない ; $proof$ = 
fact1 -> int1: 「嘲り笑わなくて加えて味わい得ない」物はある; int1 & fact2 -> int2: あの民主国家は理論分析である; int2 -> int3: あの民主国家は理論分析であるかまたは出血し易くないかもしくは両方ともである; int3 & fact5 -> int4: あのハイヤーは必要最小限度である; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: あの時計仕掛けは嘲り笑わないし加えて味わい得るということはない
事実2: もし仮に「嘲り笑わなくてかつ味わい得ない」ものがあるとするとあの民主国家は理論分析である
事実3: もし「必要最小限度でない一方で味わい得る」物があるとするとあの民主国家は理論分析だ
事実4: もしあのハイヤーが必要最小限度なら液状化だ
事実5: 仮にあの民主国家が理論分析であるかあるいは出血し易いということはないかもしくは両方であるならばあのハイヤーは必要最小限度だ
事実6: もしとある物が味わい得るとすれば液状化でないけど嘲り笑う

仮説: あのハイヤーは液状化であるということはない
1. 事実1から、推論1: "「嘲り笑わなくて加えて味わい得ない」物はある"が導かれる
2. 推論1と事実2から、推論2: "あの民主国家は理論分析である"が導かれる
3. 推論2から、推論3: "あの民主国家は理論分析であるかまたは出血し易くないかもしくは両方ともである"が導かれる
4. 推論3と事実5から、推論4: "あのハイヤーは必要最小限度である"が導かれる
5. 推論4と事実4から、仮説が否定される

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