あの骨塩濃度は吐血しない
fact1: 「あの骨塩濃度は溜め込み易くないがそれは吐血する」ということは成り立たないならば吐血しない fact2: 「「好ましいし三十度以下でない」ということは確かだということはない」ものはある fact3: 「「好ましいけど三十度以下でない」ということは事実でない」物があればこのテルマエ人は桜桃である fact4: 「この郷土博物館は侵入し易いということはなくてしかも上方向だということはない」ということは誤っている fact5: なにがしかのものは桜桃であるならばそれは溜め込み易い fact6: もし仮に「回り続けるし侵入し易い」ものがあるならあの骨塩濃度は吐血する fact7: もしもこのテルマエ人が溜め込み易いならば回り続ける fact8: もし「「侵入し易くないししかも上方向であるということはない」ということは事実と異なる」物はあるなら「このテルマエ人は侵入し易い」ということは真実だ
fact2 & fact3 -> int1: このテルマエ人は桜桃である; fact5 -> int2: もしこのテルマエ人は桜桃であるとすると溜め込み易い; int1 & int2 -> int3: このテルマエ人は溜め込み易い; int3 & fact7 -> int4: このテルマエ人は回り続ける; fact4 -> int5: 「「侵入し易いということはなくて上方向でない」ということは誤りな」ものはある; int5 & fact8 -> int6: このテルマエ人は侵入し易い; int4 & int6 -> int7: このテルマエ人は回り続けるしまた侵入し易い; int7 -> int8: なんらかの物は回り続けるし侵入し易い; int8 & fact6 -> hypothesis;
あの骨塩濃度は吐血しない
$facts$ = fact1: 「あの骨塩濃度は溜め込み易くないがそれは吐血する」ということは成り立たないならば吐血しない fact2: 「「好ましいし三十度以下でない」ということは確かだということはない」ものはある fact3: 「「好ましいけど三十度以下でない」ということは事実でない」物があればこのテルマエ人は桜桃である fact4: 「この郷土博物館は侵入し易いということはなくてしかも上方向だということはない」ということは誤っている fact5: なにがしかのものは桜桃であるならばそれは溜め込み易い fact6: もし仮に「回り続けるし侵入し易い」ものがあるならあの骨塩濃度は吐血する fact7: もしもこのテルマエ人が溜め込み易いならば回り続ける fact8: もし「「侵入し易くないししかも上方向であるということはない」ということは事実と異なる」物はあるなら「このテルマエ人は侵入し易い」ということは真実だ ; $hypothesis$ = あの骨塩濃度は吐血しない ; $proof$ = 
fact2 & fact3 -> int1: このテルマエ人は桜桃である; fact5 -> int2: もしこのテルマエ人は桜桃であるとすると溜め込み易い; int1 & int2 -> int3: このテルマエ人は溜め込み易い; int3 & fact7 -> int4: このテルマエ人は回り続ける; fact4 -> int5: 「「侵入し易いということはなくて上方向でない」ということは誤りな」ものはある; int5 & fact8 -> int6: このテルマエ人は侵入し易い; int4 & int6 -> int7: このテルマエ人は回り続けるしまた侵入し易い; int7 -> int8: なんらかの物は回り続けるし侵入し易い; int8 & fact6 -> hypothesis; __DISPROVED__
事実1: 「あの骨塩濃度は溜め込み易くないがそれは吐血する」ということは成り立たないならば吐血しない
事実2: 「「好ましいし三十度以下でない」ということは確かだということはない」ものはある
事実3: 「「好ましいけど三十度以下でない」ということは事実でない」物があればこのテルマエ人は桜桃である
事実4: 「この郷土博物館は侵入し易いということはなくてしかも上方向だということはない」ということは誤っている
事実5: なにがしかのものは桜桃であるならばそれは溜め込み易い
事実6: もし仮に「回り続けるし侵入し易い」ものがあるならあの骨塩濃度は吐血する
事実7: もしもこのテルマエ人が溜め込み易いならば回り続ける
事実8: もし「「侵入し易くないししかも上方向であるということはない」ということは事実と異なる」物はあるなら「このテルマエ人は侵入し易い」ということは真実だ

仮説: あの骨塩濃度は吐血しない
1. 事実2と事実3から、推論1: "このテルマエ人は桜桃である"が導かれる
2. 事実5から、推論2: "もしこのテルマエ人は桜桃であるとすると溜め込み易い"が導かれる
3. 推論1と推論2から、推論3: "このテルマエ人は溜め込み易い"が導かれる
4. 推論3と事実7から、推論4: "このテルマエ人は回り続ける"が導かれる
5. 事実4から、推論5: "「「侵入し易いということはなくて上方向でない」ということは誤りな」ものはある"が導かれる
6. 推論5と事実8から、推論6: "このテルマエ人は侵入し易い"が導かれる
7. 推論4と推論6から、推論7: "このテルマエ人は回り続けるしまた侵入し易い"が導かれる
8. 推論7から、推論8: "なんらかの物は回り続けるし侵入し易い"が導かれる
9. 推論8と事実6から、仮説が否定される

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