「この下部組織は立つ」ということは確かだ
fact1: もしも「この上げ下ろしは御有りに成るということはない」ということは誤っていないとすれば「この第三惑星は馴染み深いか心無い」ということは成り立たない fact2: 「腰湯でない」物はある fact3: もし仮に何らかのものが先立つならこの上げ下ろしは増え過ぎる fact4: この上げ下ろしは立つ fact5: この人身売買は偏重するし御有りに成る fact6: もしもなにかは密着するとするとこのＨＣ冷媒は出し易い fact7: この上げ下ろしは先立つし加えて憎らしい fact8: もしも「「密着するということはなくてそれに増え過ぎる」ということは嘘である」ものはあるとすると「このＨＣ冷媒は出し易くない」ということは成り立たない fact9: もし仮にこの上げ下ろしが御有りに成らないとすればあの第三惑星は心無くない fact10: もし何かは先立たなくて更に憎らしくないならば「それは立つ」ということは成り立つ fact11: 「馴染み深くない」ものはある fact12: 「この人身売買は密着しない一方で増え過ぎる」ということは成り立つということはない fact13: 「この上げ下ろしは出し易い」ということは確かだとすればこの下部組織は御有りに成る fact14: この上げ下ろしが憎らしいしその上御有りに成るとすればこのＨＣ冷媒は出し易くない fact15: 「もし仮に「「馴染み深いか心無い」ということは誤りな」物があるとするとこの下部組織は立たない」ということは成り立つ
fact7 -> int1: 「この上げ下ろしは憎らしい」ということは本当だ; void -> assump1: 以下のように仮定する。この上げ下ろしは御有りに成る; int1 & assump1 -> int2: この上げ下ろしは憎らしくて更に御有りに成る; int2 & fact14 -> int3: 「このＨＣ冷媒は出し易くない」ということは真実である; fact12 -> int4: 「「密着しなくて増え過ぎる」ということは嘘な」物はある; fact8 & int4 -> int5: このＨＣ冷媒は出し易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この上げ下ろしは御有りに成らない; int7 & fact1 -> int8: 「この第三惑星は馴染み深いかあるいはそれは心無いかまたは両方だ」ということは誤りである; int8 -> int9: 「「馴染み深いか心無いかあるいはどちらもだ」ということは成り立たない」ものはある; int9 & fact15 -> hypothesis;
この下部組織は立つ
fact17 -> int10: もしもこの下部組織は先立たなくて憎らしくないならそれは立つ;
$facts$ = fact1: もしも「この上げ下ろしは御有りに成るということはない」ということは誤っていないとすれば「この第三惑星は馴染み深いか心無い」ということは成り立たない fact2: 「腰湯でない」物はある fact3: もし仮に何らかのものが先立つならこの上げ下ろしは増え過ぎる fact4: この上げ下ろしは立つ fact5: この人身売買は偏重するし御有りに成る fact6: もしもなにかは密着するとするとこのＨＣ冷媒は出し易い fact7: この上げ下ろしは先立つし加えて憎らしい fact8: もしも「「密着するということはなくてそれに増え過ぎる」ということは嘘である」ものはあるとすると「このＨＣ冷媒は出し易くない」ということは成り立たない fact9: もし仮にこの上げ下ろしが御有りに成らないとすればあの第三惑星は心無くない fact10: もし何かは先立たなくて更に憎らしくないならば「それは立つ」ということは成り立つ fact11: 「馴染み深くない」ものはある fact12: 「この人身売買は密着しない一方で増え過ぎる」ということは成り立つということはない fact13: 「この上げ下ろしは出し易い」ということは確かだとすればこの下部組織は御有りに成る fact14: この上げ下ろしが憎らしいしその上御有りに成るとすればこのＨＣ冷媒は出し易くない fact15: 「もし仮に「「馴染み深いか心無い」ということは誤りな」物があるとするとこの下部組織は立たない」ということは成り立つ ; $hypothesis$ = 「この下部組織は立つ」ということは確かだ ; $proof$ = 
fact7 -> int1: 「この上げ下ろしは憎らしい」ということは本当だ; void -> assump1: 以下のように仮定する。この上げ下ろしは御有りに成る; int1 & assump1 -> int2: この上げ下ろしは憎らしくて更に御有りに成る; int2 & fact14 -> int3: 「このＨＣ冷媒は出し易くない」ということは真実である; fact12 -> int4: 「「密着しなくて増え過ぎる」ということは嘘な」物はある; fact8 & int4 -> int5: このＨＣ冷媒は出し易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この上げ下ろしは御有りに成らない; int7 & fact1 -> int8: 「この第三惑星は馴染み深いかあるいはそれは心無いかまたは両方だ」ということは誤りである; int8 -> int9: 「「馴染み深いか心無いかあるいはどちらもだ」ということは成り立たない」ものはある; int9 & fact15 -> hypothesis; __DISPROVED__
事実1: もしも「この上げ下ろしは御有りに成るということはない」ということは誤っていないとすれば「この第三惑星は馴染み深いか心無い」ということは成り立たない
事実2: 「腰湯でない」物はある
事実3: もし仮に何らかのものが先立つならこの上げ下ろしは増え過ぎる
事実4: この上げ下ろしは立つ
事実5: この人身売買は偏重するし御有りに成る
事実6: もしもなにかは密着するとするとこのＨＣ冷媒は出し易い
事実7: この上げ下ろしは先立つし加えて憎らしい
事実8: もしも「「密着するということはなくてそれに増え過ぎる」ということは嘘である」ものはあるとすると「このＨＣ冷媒は出し易くない」ということは成り立たない
事実9: もし仮にこの上げ下ろしが御有りに成らないとすればあの第三惑星は心無くない
事実10: もし何かは先立たなくて更に憎らしくないならば「それは立つ」ということは成り立つ
事実11: 「馴染み深くない」ものはある
事実12: 「この人身売買は密着しない一方で増え過ぎる」ということは成り立つということはない
事実13: 「この上げ下ろしは出し易い」ということは確かだとすればこの下部組織は御有りに成る
事実14: この上げ下ろしが憎らしいしその上御有りに成るとすればこのＨＣ冷媒は出し易くない
事実15: 「もし仮に「「馴染み深いか心無い」ということは誤りな」物があるとするとこの下部組織は立たない」ということは成り立つ

仮説: 「この下部組織は立つ」ということは確かだ
1. 事実7から、推論1: "「この上げ下ろしは憎らしい」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。この上げ下ろしは御有りに成る
3. 推論1と仮定1から、推論2: "この上げ下ろしは憎らしくて更に御有りに成る"が導かれる
4. 推論2と事実14から、推論3: "「このＨＣ冷媒は出し易くない」ということは真実である"が導かれる
5. 事実12から、推論4: "「「密着しなくて増え過ぎる」ということは嘘な」物はある"が導かれる
6. 事実8と推論4から、推論5: "このＨＣ冷媒は出し易い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この上げ下ろしは御有りに成らない"が導かれる
9. 推論7と事実1から、推論8: "「この第三惑星は馴染み深いかあるいはそれは心無いかまたは両方だ」ということは誤りである"が導かれる
10. 推論8から、推論9: "「「馴染み深いか心無いかあるいはどちらもだ」ということは成り立たない」ものはある"が導かれる
11. 推論9と事実15から、仮説が否定される

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