「そのアジャストメントは皮膜でないけれど公設研究機関だ」ということは成り立つということはない
fact1: 既定値は皮膜でない一方で公設研究機関だ fact2: もしこの代用水は交友範囲だとしたら「そのダークマターは糞食らえないしかつ激突しない」ということは誤りである fact3: 既定値は皮膜でない fact4: あの学校評価は甘ったれる fact5: そのダークマターは甘ったれる fact6: もし「そのダークマターは薄汚い」ということは事実であるとすればそのアジャストメントは既定値だ fact7: もし仮に「その種目は垂れる」ということは成り立つとすると交友範囲であるかまたはそれは重しないかあるいはどちらもである fact8: 仮にそのアジャストメントは既定値であるとするとそれは皮膜でない fact9: この二．五センチメートル分は甘ったれる fact10: もしもそのアジャストメントが甘ったれるとするとそのダークマターは皮膜である fact11: もし「ある物は糞食らえなくてそれは激突しない」ということは成り立つということはないならば既定値でない fact12: 記念塗装は幼くない一方で読み切る fact13: もしも何かは甘ったれるとしたら「それは皮膜でないけど公設研究機関である」ということは成り立たない fact14: 仮にそのダークマターが甘ったれるとすると薄汚い fact15: もし仮にあるものは皮膜であるとするとそれは既定値である fact16: そのアジャストメントは皮膜でない
fact14 & fact5 -> int1: そのダークマターは薄汚い; int1 & fact6 -> int2: そのアジャストメントは既定値である; fact1 -> int3: そのアジャストメントが既定値だとすれば皮膜でないし公設研究機関である; int2 & int3 -> hypothesis;
あのルームサービスは甘ったれる
fact17 -> int4: そのダークマターは皮膜であるならば「既定値である」ということは嘘でない;
$facts$ = fact1: 既定値は皮膜でない一方で公設研究機関だ fact2: もしこの代用水は交友範囲だとしたら「そのダークマターは糞食らえないしかつ激突しない」ということは誤りである fact3: 既定値は皮膜でない fact4: あの学校評価は甘ったれる fact5: そのダークマターは甘ったれる fact6: もし「そのダークマターは薄汚い」ということは事実であるとすればそのアジャストメントは既定値だ fact7: もし仮に「その種目は垂れる」ということは成り立つとすると交友範囲であるかまたはそれは重しないかあるいはどちらもである fact8: 仮にそのアジャストメントは既定値であるとするとそれは皮膜でない fact9: この二．五センチメートル分は甘ったれる fact10: もしもそのアジャストメントが甘ったれるとするとそのダークマターは皮膜である fact11: もし「ある物は糞食らえなくてそれは激突しない」ということは成り立つということはないならば既定値でない fact12: 記念塗装は幼くない一方で読み切る fact13: もしも何かは甘ったれるとしたら「それは皮膜でないけど公設研究機関である」ということは成り立たない fact14: 仮にそのダークマターが甘ったれるとすると薄汚い fact15: もし仮にあるものは皮膜であるとするとそれは既定値である fact16: そのアジャストメントは皮膜でない ; $hypothesis$ = 「そのアジャストメントは皮膜でないけれど公設研究機関だ」ということは成り立つということはない ; $proof$ = 
fact14 & fact5 -> int1: そのダークマターは薄汚い; int1 & fact6 -> int2: そのアジャストメントは既定値である; fact1 -> int3: そのアジャストメントが既定値だとすれば皮膜でないし公設研究機関である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 既定値は皮膜でない一方で公設研究機関だ
事実2: もしこの代用水は交友範囲だとしたら「そのダークマターは糞食らえないしかつ激突しない」ということは誤りである
事実3: 既定値は皮膜でない
事実4: あの学校評価は甘ったれる
事実5: そのダークマターは甘ったれる
事実6: もし「そのダークマターは薄汚い」ということは事実であるとすればそのアジャストメントは既定値だ
事実7: もし仮に「その種目は垂れる」ということは成り立つとすると交友範囲であるかまたはそれは重しないかあるいはどちらもである
事実8: 仮にそのアジャストメントは既定値であるとするとそれは皮膜でない
事実9: この二．五センチメートル分は甘ったれる
事実10: もしもそのアジャストメントが甘ったれるとするとそのダークマターは皮膜である
事実11: もし「ある物は糞食らえなくてそれは激突しない」ということは成り立つということはないならば既定値でない
事実12: 記念塗装は幼くない一方で読み切る
事実13: もしも何かは甘ったれるとしたら「それは皮膜でないけど公設研究機関である」ということは成り立たない
事実14: 仮にそのダークマターが甘ったれるとすると薄汚い
事実15: もし仮にあるものは皮膜であるとするとそれは既定値である
事実16: そのアジャストメントは皮膜でない

仮説: 「そのアジャストメントは皮膜でないけれど公設研究機関だ」ということは成り立つということはない
1. 事実14と事実5から、推論1: "そのダークマターは薄汚い"が導かれる
2. 推論1と事実6から、推論2: "そのアジャストメントは既定値である"が導かれる
3. 事実1から、推論3: "そのアジャストメントが既定値だとすれば皮膜でないし公設研究機関である"が導かれる
4. 推論2と推論3から、仮説が否定される

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