その嗣子以外は心苦しい
fact1: もし仮に「あの江尻城はモデル化でない」ということは事実だとすればあの共同事業は重たい fact2: もし「「この徒刑は三人するけどそれは伝え易くない」ということは偽だ」ということは確かであるならあの江尻城はモデル化でない fact3: もし「あの五十五階建ては重たくないけれど青紫だ」ということは成り立たないとしたらその嗣子以外は乾かす fact4: 三人するけれど伝え易くないというものはない fact5: 「あの五十五階建ては重たいし青紫である」ということは成り立たない fact6: もし仮にあの共同事業は重たいとすると「あの五十五階建ては重たくないけれど青紫だ」ということは正しくない fact7: もしもとある物が乾かすとすれば心苦しい
fact4 -> int1: 「この徒刑は三人するけど伝え易いということはない」ということは成り立つということはない; int1 & fact2 -> int2: あの江尻城はモデル化であるということはない; int2 & fact1 -> int3: あの共同事業は重たい; int3 & fact6 -> int4: 「あの五十五階建ては重たくない一方で青紫だ」ということは成り立たない; int4 & fact3 -> int5: その嗣子以外は乾かす; fact7 -> int6: その嗣子以外は乾かすとすれば「心苦しい」ということは確かである; int5 & int6 -> hypothesis;
$facts$ = fact1: もし仮に「あの江尻城はモデル化でない」ということは事実だとすればあの共同事業は重たい fact2: もし「「この徒刑は三人するけどそれは伝え易くない」ということは偽だ」ということは確かであるならあの江尻城はモデル化でない fact3: もし「あの五十五階建ては重たくないけれど青紫だ」ということは成り立たないとしたらその嗣子以外は乾かす fact4: 三人するけれど伝え易くないというものはない fact5: 「あの五十五階建ては重たいし青紫である」ということは成り立たない fact6: もし仮にあの共同事業は重たいとすると「あの五十五階建ては重たくないけれど青紫だ」ということは正しくない fact7: もしもとある物が乾かすとすれば心苦しい ; $hypothesis$ = その嗣子以外は心苦しい ; $proof$ = 
fact4 -> int1: 「この徒刑は三人するけど伝え易いということはない」ということは成り立つということはない; int1 & fact2 -> int2: あの江尻城はモデル化であるということはない; int2 & fact1 -> int3: あの共同事業は重たい; int3 & fact6 -> int4: 「あの五十五階建ては重たくない一方で青紫だ」ということは成り立たない; int4 & fact3 -> int5: その嗣子以外は乾かす; fact7 -> int6: その嗣子以外は乾かすとすれば「心苦しい」ということは確かである; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮に「あの江尻城はモデル化でない」ということは事実だとすればあの共同事業は重たい
事実2: もし「「この徒刑は三人するけどそれは伝え易くない」ということは偽だ」ということは確かであるならあの江尻城はモデル化でない
事実3: もし「あの五十五階建ては重たくないけれど青紫だ」ということは成り立たないとしたらその嗣子以外は乾かす
事実4: 三人するけれど伝え易くないというものはない
事実5: 「あの五十五階建ては重たいし青紫である」ということは成り立たない
事実6: もし仮にあの共同事業は重たいとすると「あの五十五階建ては重たくないけれど青紫だ」ということは正しくない
事実7: もしもとある物が乾かすとすれば心苦しい

仮説: その嗣子以外は心苦しい
1. 事実4から、推論1: "「この徒刑は三人するけど伝え易いということはない」ということは成り立つということはない"が導かれる
2. 推論1と事実2から、推論2: "あの江尻城はモデル化であるということはない"が導かれる
3. 推論2と事実1から、推論3: "あの共同事業は重たい"が導かれる
4. 推論3と事実6から、推論4: "「あの五十五階建ては重たくない一方で青紫だ」ということは成り立たない"が導かれる
5. 推論4と事実3から、推論5: "その嗣子以外は乾かす"が導かれる
6. 事実7から、推論6: "その嗣子以外は乾かすとすれば「心苦しい」ということは確かである"が導かれる
7. 推論5と推論6から、仮説が導かれる

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