この塩素イオンは荒ぶ
fact1: その色覚異常は人文論叢である fact2: もしこの用字が対中国でないとするとその片田舎は寒くてさらに焦がす fact3: もし仮に「その色覚異常は人文論叢だということはなくてそれは飲み易くない」ということは間違いならばあの塩素イオンは荒ぶ fact4: 何らかの物が人文論叢だとすればそれは荒ぶ fact5: もしその片田舎は焦がすなら「「この塩素イオンは飲み易くないし更に米穀輸入関税問題でない」ということは成り立たない」ということは成り立つ fact6: あの外的世界は積極的使用だ fact7: もしあの外的世界は積極的使用であるとしたらそれは探し易くないけどボトルシップである fact8: もしその色覚異常が飲み易いならこの塩素イオンは荒ぶ fact9: 「「その色覚異常は人文論叢でない一方で飲み易い」ということは事実である」ということは間違っている fact10: 仮にその色覚異常が飲み易いとしたらその左脇腹は人文論叢である fact11: その色覚異常は飲み易くない
void -> assump1: 以下のように仮定する。その色覚異常は人文論叢であるということはなくて飲み易くない; assump1 -> int1: その色覚異常は人文論叢でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その色覚異常は人文論叢でないしさらに飲み易いということはない」ということは間違いだ; int3 & fact3 -> hypothesis;
その左脇腹は荒ぶ
fact17 -> int4: その左脇腹が人文論叢だとすればそれは荒ぶ; fact15 & fact13 -> int5: あの外的世界は探し易くないけどボトルシップだ; int5 -> int6: なんらかの物は探し易いということはないがボトルシップである;
$facts$ = fact1: その色覚異常は人文論叢である fact2: もしこの用字が対中国でないとするとその片田舎は寒くてさらに焦がす fact3: もし仮に「その色覚異常は人文論叢だということはなくてそれは飲み易くない」ということは間違いならばあの塩素イオンは荒ぶ fact4: 何らかの物が人文論叢だとすればそれは荒ぶ fact5: もしその片田舎は焦がすなら「「この塩素イオンは飲み易くないし更に米穀輸入関税問題でない」ということは成り立たない」ということは成り立つ fact6: あの外的世界は積極的使用だ fact7: もしあの外的世界は積極的使用であるとしたらそれは探し易くないけどボトルシップである fact8: もしその色覚異常が飲み易いならこの塩素イオンは荒ぶ fact9: 「「その色覚異常は人文論叢でない一方で飲み易い」ということは事実である」ということは間違っている fact10: 仮にその色覚異常が飲み易いとしたらその左脇腹は人文論叢である fact11: その色覚異常は飲み易くない ; $hypothesis$ = この塩素イオンは荒ぶ ; $proof$ = 
void -> assump1: 以下のように仮定する。その色覚異常は人文論叢であるということはなくて飲み易くない; assump1 -> int1: その色覚異常は人文論叢でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その色覚異常は人文論叢でないしさらに飲み易いということはない」ということは間違いだ; int3 & fact3 -> hypothesis; __PROVED__
事実1: その色覚異常は人文論叢である
事実2: もしこの用字が対中国でないとするとその片田舎は寒くてさらに焦がす
事実3: もし仮に「その色覚異常は人文論叢だということはなくてそれは飲み易くない」ということは間違いならばあの塩素イオンは荒ぶ
事実4: 何らかの物が人文論叢だとすればそれは荒ぶ
事実5: もしその片田舎は焦がすなら「「この塩素イオンは飲み易くないし更に米穀輸入関税問題でない」ということは成り立たない」ということは成り立つ
事実6: あの外的世界は積極的使用だ
事実7: もしあの外的世界は積極的使用であるとしたらそれは探し易くないけどボトルシップである
事実8: もしその色覚異常が飲み易いならこの塩素イオンは荒ぶ
事実9: 「「その色覚異常は人文論叢でない一方で飲み易い」ということは事実である」ということは間違っている
事実10: 仮にその色覚異常が飲み易いとしたらその左脇腹は人文論叢である
事実11: その色覚異常は飲み易くない

仮説: この塩素イオンは荒ぶ
1. 仮定1: 以下のように仮定する。その色覚異常は人文論叢であるということはなくて飲み易くない
2. 仮定1から、推論1: "その色覚異常は人文論叢でない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その色覚異常は人文論叢でないしさらに飲み易いということはない」ということは間違いだ"が導かれる
5. 推論3と事実3から、仮説が導かれる

よって、仮説が証明されました。