この脱水症状は成し難いということはない
fact1: もしもあるものが請求出来るとすればそれは壊れ難い fact2: この脱水症状は高貴さである fact3: もし仮にこのアブストラクトが気付き易くないとすればあの脱水症状は零れ出なくてかつ彫れない fact4: もし仮にこの踏査は上げ難いとしたら「この筋肉痛は捕らわれ易い」ということは成り立つ fact5: 「このアブストラクトは気付き易くない」ということは真実だ fact6: もしもこのアブストラクトが浮き上がらないしそれが成し難いということはないならばそれは佐敷森である fact7: この脱水症状は連続変数である fact8: なにがしかのものが零れ出ないしさらに彫れないならばそれは拡大す fact9: あの図案は連続変数でないしかつ婚姻継続困難でない fact10: もしなんらかのものが零れ出ないしその上それが気付き易いということはないならばそれは成し難い fact11: このアブストラクトは成し難い fact12: もしもなにがしかのものが拡大すならそれは成し難い fact13: この主張は成し難い fact14: 「この踏査は上げ難い」ということは成り立つ fact15: その関心事項は成し難い
fact8 -> int1: もし仮にこの脱水症状が零れ出るということはないしその上彫れないならそれは拡大す; fact5 & fact3 -> int2: この脱水症状は零れ出なくてそれは彫れない; int1 & int2 -> int3: この脱水症状は拡大す; fact12 -> int4: もしもこの脱水症状が拡大すとしたらそれは成し難い; int3 & int4 -> hypothesis;
この脱水症状は成し難くない
fact17 & fact16 -> int5: この筋肉痛は捕らわれ易い; int5 -> int6: この筋肉痛は拡大すかまたは捕らわれ易いかまたはどちらもだ;
$facts$ = fact1: もしもあるものが請求出来るとすればそれは壊れ難い fact2: この脱水症状は高貴さである fact3: もし仮にこのアブストラクトが気付き易くないとすればあの脱水症状は零れ出なくてかつ彫れない fact4: もし仮にこの踏査は上げ難いとしたら「この筋肉痛は捕らわれ易い」ということは成り立つ fact5: 「このアブストラクトは気付き易くない」ということは真実だ fact6: もしもこのアブストラクトが浮き上がらないしそれが成し難いということはないならばそれは佐敷森である fact7: この脱水症状は連続変数である fact8: なにがしかのものが零れ出ないしさらに彫れないならばそれは拡大す fact9: あの図案は連続変数でないしかつ婚姻継続困難でない fact10: もしなんらかのものが零れ出ないしその上それが気付き易いということはないならばそれは成し難い fact11: このアブストラクトは成し難い fact12: もしもなにがしかのものが拡大すならそれは成し難い fact13: この主張は成し難い fact14: 「この踏査は上げ難い」ということは成り立つ fact15: その関心事項は成し難い ; $hypothesis$ = この脱水症状は成し難いということはない ; $proof$ = 
fact8 -> int1: もし仮にこの脱水症状が零れ出るということはないしその上彫れないならそれは拡大す; fact5 & fact3 -> int2: この脱水症状は零れ出なくてそれは彫れない; int1 & int2 -> int3: この脱水症状は拡大す; fact12 -> int4: もしもこの脱水症状が拡大すとしたらそれは成し難い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもあるものが請求出来るとすればそれは壊れ難い
事実2: この脱水症状は高貴さである
事実3: もし仮にこのアブストラクトが気付き易くないとすればあの脱水症状は零れ出なくてかつ彫れない
事実4: もし仮にこの踏査は上げ難いとしたら「この筋肉痛は捕らわれ易い」ということは成り立つ
事実5: 「このアブストラクトは気付き易くない」ということは真実だ
事実6: もしもこのアブストラクトが浮き上がらないしそれが成し難いということはないならばそれは佐敷森である
事実7: この脱水症状は連続変数である
事実8: なにがしかのものが零れ出ないしさらに彫れないならばそれは拡大す
事実9: あの図案は連続変数でないしかつ婚姻継続困難でない
事実10: もしなんらかのものが零れ出ないしその上それが気付き易いということはないならばそれは成し難い
事実11: このアブストラクトは成し難い
事実12: もしもなにがしかのものが拡大すならそれは成し難い
事実13: この主張は成し難い
事実14: 「この踏査は上げ難い」ということは成り立つ
事実15: その関心事項は成し難い

仮説: この脱水症状は成し難いということはない
1. 事実8から、推論1: "もし仮にこの脱水症状が零れ出るということはないしその上彫れないならそれは拡大す"が導かれる
2. 事実5と事実3から、推論2: "この脱水症状は零れ出なくてそれは彫れない"が導かれる
3. 推論1と推論2から、推論3: "この脱水症状は拡大す"が導かれる
4. 事実12から、推論4: "もしもこの脱水症状が拡大すとしたらそれは成し難い"が導かれる
5. 推論3と推論4から、仮説が否定される

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