この未満はコーディネイトしない
fact1: 仮に「この未満は捕らえ易いということはないかもしくはそれは早見表でないかまたはどちらもである」ということは偽だとしたら「それは落ち易い」ということは成り立つ fact2: もし仮に「なにかは捕らえ易いけど巻きするということはない」ということは間違いならばそれは捕らえ易くない fact3: その二十四時間風呂は早見表でない fact4: 「この未満はゆったりしないかあるいは捕らえ易くないか両方だ」ということは成り立つということはない fact5: もし仮にとある物は九十六文字集合であるとすると「捕らえ易いしそれにそれは巻きしない」ということは嘘である fact6: なにかは先天性甲状腺機能低下症だということはない fact7: もしもその二十四時間風呂が滑り易くないけどゆったりすればこの未満は捕らえ易くない fact8: もしもその二十四時間風呂が落ち易くなくて早見表でないとしたらこの未満は滑り易くない fact9: なにがしかのものが捕らえ易くないならばゆったりするしさらに滑り易い fact10: その二十四時間風呂は落ち易くなくて早見表でない fact11: もしこの未満が滑り易いということはないけどそれは色指定であるとすればそれはコーディネイトする fact12: 「「その二十四時間風呂はコーディネイトしなくて色指定だということはない」ということは事実だ」ということは成り立つということはないならばこの未満はコーディネイトしない fact13: もし「この未満はゆったりしないかそれは捕らえ易いということはないかもしくは両方だ」ということは間違っているなら色指定である fact14: このエネルギー代謝はゆったりしない fact15: もしなんらかのものは滑り易いとしたら「「それはコーディネイトするということはなくてかつ色指定でない」ということは成り立つ」ということは成り立たない
fact8 & fact10 -> int1: この未満は滑り易くない; fact4 & fact13 -> int2: この未満は色指定である; int1 & int2 -> int3: 「この未満は滑り易くない一方で色指定である」ということは事実だ; int3 & fact11 -> hypothesis;
この未満はコーディネイトしない
fact16 -> int4: その二十四時間風呂は滑り易いとしたら「それはコーディネイトしなくて色指定でない」ということは偽である; fact17 -> int5: もし仮にその二十四時間風呂が捕らえ易くないならゆったりするしそれに滑り易い; fact20 -> int6: もし「その二十四時間風呂は捕らえ易いけれど巻きするということはない」ということは誤っているとしたらそれは捕らえ易いということはない; fact19 -> int7: 仮にその二十四時間風呂は九十六文字集合だとすると「捕らえ易いがしかし巻きしない」ということは成り立たない;
$facts$ = fact1: 仮に「この未満は捕らえ易いということはないかもしくはそれは早見表でないかまたはどちらもである」ということは偽だとしたら「それは落ち易い」ということは成り立つ fact2: もし仮に「なにかは捕らえ易いけど巻きするということはない」ということは間違いならばそれは捕らえ易くない fact3: その二十四時間風呂は早見表でない fact4: 「この未満はゆったりしないかあるいは捕らえ易くないか両方だ」ということは成り立つということはない fact5: もし仮にとある物は九十六文字集合であるとすると「捕らえ易いしそれにそれは巻きしない」ということは嘘である fact6: なにかは先天性甲状腺機能低下症だということはない fact7: もしもその二十四時間風呂が滑り易くないけどゆったりすればこの未満は捕らえ易くない fact8: もしもその二十四時間風呂が落ち易くなくて早見表でないとしたらこの未満は滑り易くない fact9: なにがしかのものが捕らえ易くないならばゆったりするしさらに滑り易い fact10: その二十四時間風呂は落ち易くなくて早見表でない fact11: もしこの未満が滑り易いということはないけどそれは色指定であるとすればそれはコーディネイトする fact12: 「「その二十四時間風呂はコーディネイトしなくて色指定だということはない」ということは事実だ」ということは成り立つということはないならばこの未満はコーディネイトしない fact13: もし「この未満はゆったりしないかそれは捕らえ易いということはないかもしくは両方だ」ということは間違っているなら色指定である fact14: このエネルギー代謝はゆったりしない fact15: もしなんらかのものは滑り易いとしたら「「それはコーディネイトするということはなくてかつ色指定でない」ということは成り立つ」ということは成り立たない ; $hypothesis$ = この未満はコーディネイトしない ; $proof$ = 
fact8 & fact10 -> int1: この未満は滑り易くない; fact4 & fact13 -> int2: この未満は色指定である; int1 & int2 -> int3: 「この未満は滑り易くない一方で色指定である」ということは事実だ; int3 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮に「この未満は捕らえ易いということはないかもしくはそれは早見表でないかまたはどちらもである」ということは偽だとしたら「それは落ち易い」ということは成り立つ
事実2: もし仮に「なにかは捕らえ易いけど巻きするということはない」ということは間違いならばそれは捕らえ易くない
事実3: その二十四時間風呂は早見表でない
事実4: 「この未満はゆったりしないかあるいは捕らえ易くないか両方だ」ということは成り立つということはない
事実5: もし仮にとある物は九十六文字集合であるとすると「捕らえ易いしそれにそれは巻きしない」ということは嘘である
事実6: なにかは先天性甲状腺機能低下症だということはない
事実7: もしもその二十四時間風呂が滑り易くないけどゆったりすればこの未満は捕らえ易くない
事実8: もしもその二十四時間風呂が落ち易くなくて早見表でないとしたらこの未満は滑り易くない
事実9: なにがしかのものが捕らえ易くないならばゆったりするしさらに滑り易い
事実10: その二十四時間風呂は落ち易くなくて早見表でない
事実11: もしこの未満が滑り易いということはないけどそれは色指定であるとすればそれはコーディネイトする
事実12: 「「その二十四時間風呂はコーディネイトしなくて色指定だということはない」ということは事実だ」ということは成り立つということはないならばこの未満はコーディネイトしない
事実13: もし「この未満はゆったりしないかそれは捕らえ易いということはないかもしくは両方だ」ということは間違っているなら色指定である
事実14: このエネルギー代謝はゆったりしない
事実15: もしなんらかのものは滑り易いとしたら「「それはコーディネイトするということはなくてかつ色指定でない」ということは成り立つ」ということは成り立たない

仮説: この未満はコーディネイトしない
1. 事実8と事実10から、推論1: "この未満は滑り易くない"が導かれる
2. 事実4と事実13から、推論2: "この未満は色指定である"が導かれる
3. 推論1と推論2から、推論3: "「この未満は滑り易くない一方で色指定である」ということは事実だ"が導かれる
4. 推論3と事実11から、仮説が否定される

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