この骨量減少は流され易くない一方で太り易い
fact1: もし仮に「とあるものは利用され易くない」ということは成り立つとすると「依怙贔屓するということはないが嫌味っぽい」ということは誤りだ fact2: 「何らかの物は信心深い」ということは本当だ fact3: あの統計表は連用する fact4: もしもこの専門会社が流され易くないならそれは扱い難くないかもしくは利用され易いということはない fact5: 仮にこの専門会社は流され易くないなら「この骨量減少は流され易くて太り易い」ということは成り立つということはない fact6: あるものはネイティブらしいということはない一方で利用され易い fact7: あの統計表は連用するかそれは楽しいかまたはどちらもだ fact8: 利用され易いということはない物は扱い難くないかまたはネイティブらしくないかもしくは両方ともである fact9: もしあの統計表は流され易くないとすれば「この専門会社は流され易いということはないけれど連用する」ということは成り立たない fact10: もしもあの統計表が扱い難くないならばこの専門会社は流され易くない fact11: もし「「信心深い」ということは本当な」物があればあの統計表は連用するかあるいはそれは楽しいかもしくはどちらもである fact12: もしもこの専門会社は流され易いということはないならば「この骨量減少は流され易くないけど太り易い」ということは成り立たない fact13: 仮にあの統計表が利用され易いとすればそれは連用する fact14: この骨量減少は流され易くないかもしくはネイティブらしいかあるいは両方である fact15: もしもあの統計表は利用され易いとすれば「それは連用しないか楽しい」ということは成り立たない fact16: もしもなにかは信心深いとしたらあの統計表は連用するということはないかあるいはそれは楽しい fact17: あの統計表はネイティブらしくないなら「この専門会社は流され易くない」ということは真実である fact18: 「あの統計表はネイティブらしいということはない」ということは正しいとすればあの専門会社は流され易い fact19: 「この骨量減少は流され易いしさらにそれは太り易い」ということは成り立たない
void -> assump1: 以下のように仮定する。あの統計表は利用され易い; fact15 & assump1 -> int1: 「あの統計表は連用しないかまたはそれは楽しいかあるいは両方ともである」ということは間違いである; fact16 & fact2 -> int2: あの統計表は連用しないか楽しいか両方ともだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの統計表は利用され易くない; fact8 -> int5: もしも「あの統計表は利用され易いということはない」ということは成り立てば扱い難くないかそれはネイティブらしくないかまたは両方ともである; int4 & int5 -> int6: あの統計表は扱い難くないかあるいはネイティブらしくないかあるいは両方である; int6 & fact10 & fact17 -> int7: この専門会社は流され易くない; int7 & fact12 -> hypothesis;
この骨量減少は流され易くないがしかし太り易い
$facts$ = fact1: もし仮に「とあるものは利用され易くない」ということは成り立つとすると「依怙贔屓するということはないが嫌味っぽい」ということは誤りだ fact2: 「何らかの物は信心深い」ということは本当だ fact3: あの統計表は連用する fact4: もしもこの専門会社が流され易くないならそれは扱い難くないかもしくは利用され易いということはない fact5: 仮にこの専門会社は流され易くないなら「この骨量減少は流され易くて太り易い」ということは成り立つということはない fact6: あるものはネイティブらしいということはない一方で利用され易い fact7: あの統計表は連用するかそれは楽しいかまたはどちらもだ fact8: 利用され易いということはない物は扱い難くないかまたはネイティブらしくないかもしくは両方ともである fact9: もしあの統計表は流され易くないとすれば「この専門会社は流され易いということはないけれど連用する」ということは成り立たない fact10: もしもあの統計表が扱い難くないならばこの専門会社は流され易くない fact11: もし「「信心深い」ということは本当な」物があればあの統計表は連用するかあるいはそれは楽しいかもしくはどちらもである fact12: もしもこの専門会社は流され易いということはないならば「この骨量減少は流され易くないけど太り易い」ということは成り立たない fact13: 仮にあの統計表が利用され易いとすればそれは連用する fact14: この骨量減少は流され易くないかもしくはネイティブらしいかあるいは両方である fact15: もしもあの統計表は利用され易いとすれば「それは連用しないか楽しい」ということは成り立たない fact16: もしもなにかは信心深いとしたらあの統計表は連用するということはないかあるいはそれは楽しい fact17: あの統計表はネイティブらしくないなら「この専門会社は流され易くない」ということは真実である fact18: 「あの統計表はネイティブらしいということはない」ということは正しいとすればあの専門会社は流され易い fact19: 「この骨量減少は流され易いしさらにそれは太り易い」ということは成り立たない ; $hypothesis$ = この骨量減少は流され易くない一方で太り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの統計表は利用され易い; fact15 & assump1 -> int1: 「あの統計表は連用しないかまたはそれは楽しいかあるいは両方ともである」ということは間違いである; fact16 & fact2 -> int2: あの統計表は連用しないか楽しいか両方ともだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの統計表は利用され易くない; fact8 -> int5: もしも「あの統計表は利用され易いということはない」ということは成り立てば扱い難くないかそれはネイティブらしくないかまたは両方ともである; int4 & int5 -> int6: あの統計表は扱い難くないかあるいはネイティブらしくないかあるいは両方である; int6 & fact10 & fact17 -> int7: この専門会社は流され易くない; int7 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮に「とあるものは利用され易くない」ということは成り立つとすると「依怙贔屓するということはないが嫌味っぽい」ということは誤りだ
事実2: 「何らかの物は信心深い」ということは本当だ
事実3: あの統計表は連用する
事実4: もしもこの専門会社が流され易くないならそれは扱い難くないかもしくは利用され易いということはない
事実5: 仮にこの専門会社は流され易くないなら「この骨量減少は流され易くて太り易い」ということは成り立つということはない
事実6: あるものはネイティブらしいということはない一方で利用され易い
事実7: あの統計表は連用するかそれは楽しいかまたはどちらもだ
事実8: 利用され易いということはない物は扱い難くないかまたはネイティブらしくないかもしくは両方ともである
事実9: もしあの統計表は流され易くないとすれば「この専門会社は流され易いということはないけれど連用する」ということは成り立たない
事実10: もしもあの統計表が扱い難くないならばこの専門会社は流され易くない
事実11: もし「「信心深い」ということは本当な」物があればあの統計表は連用するかあるいはそれは楽しいかもしくはどちらもである
事実12: もしもこの専門会社は流され易いということはないならば「この骨量減少は流され易くないけど太り易い」ということは成り立たない
事実13: 仮にあの統計表が利用され易いとすればそれは連用する
事実14: この骨量減少は流され易くないかもしくはネイティブらしいかあるいは両方である
事実15: もしもあの統計表は利用され易いとすれば「それは連用しないか楽しい」ということは成り立たない
事実16: もしもなにかは信心深いとしたらあの統計表は連用するということはないかあるいはそれは楽しい
事実17: あの統計表はネイティブらしくないなら「この専門会社は流され易くない」ということは真実である
事実18: 「あの統計表はネイティブらしいということはない」ということは正しいとすればあの専門会社は流され易い
事実19: 「この骨量減少は流され易いしさらにそれは太り易い」ということは成り立たない

仮説: この骨量減少は流され易くない一方で太り易い
1. 仮定1: 以下のように仮定する。あの統計表は利用され易い
2. 事実15と仮定1から、推論1: "「あの統計表は連用しないかまたはそれは楽しいかあるいは両方ともである」ということは間違いである"が導かれる
3. 事実16と事実2から、推論2: "あの統計表は連用しないか楽しいか両方ともだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの統計表は利用され易くない"が導かれる
6. 事実8から、推論5: "もしも「あの統計表は利用され易いということはない」ということは成り立てば扱い難くないかそれはネイティブらしくないかまたは両方ともである"が導かれる
7. 推論4と推論5から、推論6: "あの統計表は扱い難くないかあるいはネイティブらしくないかあるいは両方である"が導かれる
8. 推論6と事実10と事実17から、推論7: "この専門会社は流され易くない"が導かれる
9. 推論7と事実12から、仮説が否定される

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