「「もし呪わしいなら口さがない」ものはある」ということは嘘である
fact1: あの体脂肪・コレステロールは取り組み易くない fact2: もしも「その四角はざわざわする」ということは事実であるとするとあの乳頭部は市民生活だ fact3: なにかは呪わしいということはないとすると取り組み易い fact4: 「なんらかのものは首尾良い」ということは確かであるとすると「それが口さはなくないし呪わしくない」ということは事実でない fact5: もしあの乳頭部が取り組み易いということはないとするとそれは呪わしくない fact6: もしもあの乳頭部が取り組み易くないとするとそれは呪わしい fact7: もし仮にその上演時間は点滴静注すれば「暗くないし加えて親しない」ということは成り立つということはない fact8: もしも何らかのものは市民生活であるならそれは首尾良い fact9: もし仮に「その上演時間は暗くないしその上それは親しない」ということは成り立たないならば「その四角はざわざわする」ということは成り立つ fact10: もし仮にあの乳頭部が取り組み易いとすればそれは口さがない
void -> assump2: 以下のように仮定する。あの乳頭部は取り組み易くない; fact5 & assump2 -> int1: 「あの乳頭部は呪わしくない」ということは事実と異なるということはない; void -> assump1: 以下のように仮定する。あの乳頭部は呪わしい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの乳頭部は取り組み易い; int3 & fact10 -> int4: あの乳頭部は口さがない; [assump1] & int4 -> int5: 仮にあの乳頭部が呪わしいなら口さがない; int5 -> hypothesis;
あの介護等は取り組み易い
fact15 -> int6: あの介護等が呪わしくないとしたら取り組み易い; fact11 -> int7: もしあの乳頭部は首尾良いとしたら「それが口さはなくなくて呪わしくない」ということは誤っている; fact14 -> int8: もしあの乳頭部が市民生活ならばそれは首尾良い;
$facts$ = fact1: あの体脂肪・コレステロールは取り組み易くない fact2: もしも「その四角はざわざわする」ということは事実であるとするとあの乳頭部は市民生活だ fact3: なにかは呪わしいということはないとすると取り組み易い fact4: 「なんらかのものは首尾良い」ということは確かであるとすると「それが口さはなくないし呪わしくない」ということは事実でない fact5: もしあの乳頭部が取り組み易いということはないとするとそれは呪わしくない fact6: もしもあの乳頭部が取り組み易くないとするとそれは呪わしい fact7: もし仮にその上演時間は点滴静注すれば「暗くないし加えて親しない」ということは成り立つということはない fact8: もしも何らかのものは市民生活であるならそれは首尾良い fact9: もし仮に「その上演時間は暗くないしその上それは親しない」ということは成り立たないならば「その四角はざわざわする」ということは成り立つ fact10: もし仮にあの乳頭部が取り組み易いとすればそれは口さがない ; $hypothesis$ = 「「もし呪わしいなら口さがない」ものはある」ということは嘘である ; $proof$ = 
void -> assump2: 以下のように仮定する。あの乳頭部は取り組み易くない; fact5 & assump2 -> int1: 「あの乳頭部は呪わしくない」ということは事実と異なるということはない; void -> assump1: 以下のように仮定する。あの乳頭部は呪わしい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの乳頭部は取り組み易い; int3 & fact10 -> int4: あの乳頭部は口さがない; [assump1] & int4 -> int5: 仮にあの乳頭部が呪わしいなら口さがない; int5 -> hypothesis; __DISPROVED__
事実1: あの体脂肪・コレステロールは取り組み易くない
事実2: もしも「その四角はざわざわする」ということは事実であるとするとあの乳頭部は市民生活だ
事実3: なにかは呪わしいということはないとすると取り組み易い
事実4: 「なんらかのものは首尾良い」ということは確かであるとすると「それが口さはなくないし呪わしくない」ということは事実でない
事実5: もしあの乳頭部が取り組み易いということはないとするとそれは呪わしくない
事実6: もしもあの乳頭部が取り組み易くないとするとそれは呪わしい
事実7: もし仮にその上演時間は点滴静注すれば「暗くないし加えて親しない」ということは成り立つということはない
事実8: もしも何らかのものは市民生活であるならそれは首尾良い
事実9: もし仮に「その上演時間は暗くないしその上それは親しない」ということは成り立たないならば「その四角はざわざわする」ということは成り立つ
事実10: もし仮にあの乳頭部が取り組み易いとすればそれは口さがない

仮説: 「「もし呪わしいなら口さがない」ものはある」ということは嘘である
1. 仮定2: 以下のように仮定する。あの乳頭部は取り組み易くない
2. 事実5と仮定2から、推論1: "「あの乳頭部は呪わしくない」ということは事実と異なるということはない"が導かれる
3. 仮定1: 以下のように仮定する。あの乳頭部は呪わしい
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの乳頭部は取り組み易い"が導かれる
6. 推論3と事実10から、推論4: "あの乳頭部は口さがない"が導かれる
7. [仮定1]と推論4から、推論5: "仮にあの乳頭部が呪わしいなら口さがない"が導かれる
8. 推論5から、仮説が否定される

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