あの隆起は造形化しない
fact1: もしもあの参宮者が大手ゼネコンであるしそれが偉いならその根治的腎摘出術は大手ゼネコンであるということはない fact2: あの腹式呼吸は規則正しくておまけに神殿跡である fact3: もしその古碑は中核派でないとすれば「その木炭は価格上昇であるがホルムアルデヒドでない」ということは成り立つ fact4: もしなんらかのものが発泡するなら造形化する fact5: 浅ましくない物は不思議がらないし更に爽快感でない fact6: あの隆起は発泡するということはない fact7: 仮にその根治的腎摘出術が大手ゼネコンでないとするとあの隆起は発泡するがそれは緩み易くない fact8: あの隆起は抽象的過ぎない fact9: もし何かはツベルクリンでないし爽快感でないならばそれは造形化しない fact10: 仮にこのＧＷＰが飛び上がれないなら美々しかない fact11: 仮に「この応は偽情報だということはないかまたは息苦しいということはないかあるいは両方である」ということは間違っているとしたらあの参宮者は惨たらしくない fact12: もしなにがしかのものが規則正しいとしたらその銀器類は大手ゼネコンであるかまたはそれは規則正しいかあるいはどちらもだ fact13: あの隆起が発泡しないとしたらそれはツベルクリンでないしさらに爽快感だということはない fact14: 仮にその木炭が価格上昇であるがしかしそれがホルムアルデヒドでないならこの応は価格上昇でない fact15: もし仮に「なんらかのものは不思議がる一方で御喋らない」ということは嘘であるとすれば中核派でない fact16: 仮にこの応は価格上昇でないとすると「それは偽情報でないかまたは息苦しくないか両方ともである」ということは成り立たない fact17: もし仮にその銀器類が規則正しいならばあの参宮者は大手ゼネコンである fact18: 仮にあの隆起が発泡するということはないとすればそれはツベルクリンでない fact19: 惨たらしくない物は少な過ぎるしかつ偉い fact20: その銀器類が大手ゼネコンであるとしたらあの参宮者は大手ゼネコンだ
fact9 -> int1: もしあの隆起がツベルクリンでないしかつ爽快感でないとすると造形化しない; fact13 & fact6 -> int2: あの隆起はツベルクリンでないししかも爽快感だということはない; int1 & int2 -> hypothesis;
fact9 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact13 & fact6 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの隆起は造形化する
fact26 -> int3: 仮にあの隆起が発泡するならそれは造形化する; fact32 -> int4: 「あの腹式呼吸は規則正しい」ということは確かだ; int4 -> int5: 「規則正しい」ものはある; int5 & fact27 -> int6: その銀器類は大手ゼネコンであるかあるいは規則正しいかもしくは両方ともだ; int6 & fact23 & fact33 -> int7: あの参宮者は大手ゼネコンだ; fact24 -> int8: もしあの参宮者が惨たらしくないなら少な過ぎるし偉い; fact31 -> int9: もし「その古碑は不思議がるがそれは御喋らない」ということは成り立たないとしたら中核派でない;
$facts$ = fact1: もしもあの参宮者が大手ゼネコンであるしそれが偉いならその根治的腎摘出術は大手ゼネコンであるということはない fact2: あの腹式呼吸は規則正しくておまけに神殿跡である fact3: もしその古碑は中核派でないとすれば「その木炭は価格上昇であるがホルムアルデヒドでない」ということは成り立つ fact4: もしなんらかのものが発泡するなら造形化する fact5: 浅ましくない物は不思議がらないし更に爽快感でない fact6: あの隆起は発泡するということはない fact7: 仮にその根治的腎摘出術が大手ゼネコンでないとするとあの隆起は発泡するがそれは緩み易くない fact8: あの隆起は抽象的過ぎない fact9: もし何かはツベルクリンでないし爽快感でないならばそれは造形化しない fact10: 仮にこのＧＷＰが飛び上がれないなら美々しかない fact11: 仮に「この応は偽情報だということはないかまたは息苦しいということはないかあるいは両方である」ということは間違っているとしたらあの参宮者は惨たらしくない fact12: もしなにがしかのものが規則正しいとしたらその銀器類は大手ゼネコンであるかまたはそれは規則正しいかあるいはどちらもだ fact13: あの隆起が発泡しないとしたらそれはツベルクリンでないしさらに爽快感だということはない fact14: 仮にその木炭が価格上昇であるがしかしそれがホルムアルデヒドでないならこの応は価格上昇でない fact15: もし仮に「なんらかのものは不思議がる一方で御喋らない」ということは嘘であるとすれば中核派でない fact16: 仮にこの応は価格上昇でないとすると「それは偽情報でないかまたは息苦しくないか両方ともである」ということは成り立たない fact17: もし仮にその銀器類が規則正しいならばあの参宮者は大手ゼネコンである fact18: 仮にあの隆起が発泡するということはないとすればそれはツベルクリンでない fact19: 惨たらしくない物は少な過ぎるしかつ偉い fact20: その銀器類が大手ゼネコンであるとしたらあの参宮者は大手ゼネコンだ ; $hypothesis$ = あの隆起は造形化しない ; $proof$ = 
fact9 -> int1: もしあの隆起がツベルクリンでないしかつ爽快感でないとすると造形化しない; fact13 & fact6 -> int2: あの隆起はツベルクリンでないししかも爽快感だということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあの参宮者が大手ゼネコンであるしそれが偉いならその根治的腎摘出術は大手ゼネコンであるということはない
事実2: あの腹式呼吸は規則正しくておまけに神殿跡である
事実3: もしその古碑は中核派でないとすれば「その木炭は価格上昇であるがホルムアルデヒドでない」ということは成り立つ
事実4: もしなんらかのものが発泡するなら造形化する
事実5: 浅ましくない物は不思議がらないし更に爽快感でない
事実6: あの隆起は発泡するということはない
事実7: 仮にその根治的腎摘出術が大手ゼネコンでないとするとあの隆起は発泡するがそれは緩み易くない
事実8: あの隆起は抽象的過ぎない
事実9: もし何かはツベルクリンでないし爽快感でないならばそれは造形化しない
事実10: 仮にこのＧＷＰが飛び上がれないなら美々しかない
事実11: 仮に「この応は偽情報だということはないかまたは息苦しいということはないかあるいは両方である」ということは間違っているとしたらあの参宮者は惨たらしくない
事実12: もしなにがしかのものが規則正しいとしたらその銀器類は大手ゼネコンであるかまたはそれは規則正しいかあるいはどちらもだ
事実13: あの隆起が発泡しないとしたらそれはツベルクリンでないしさらに爽快感だということはない
事実14: 仮にその木炭が価格上昇であるがしかしそれがホルムアルデヒドでないならこの応は価格上昇でない
事実15: もし仮に「なんらかのものは不思議がる一方で御喋らない」ということは嘘であるとすれば中核派でない
事実16: 仮にこの応は価格上昇でないとすると「それは偽情報でないかまたは息苦しくないか両方ともである」ということは成り立たない
事実17: もし仮にその銀器類が規則正しいならばあの参宮者は大手ゼネコンである
事実18: 仮にあの隆起が発泡するということはないとすればそれはツベルクリンでない
事実19: 惨たらしくない物は少な過ぎるしかつ偉い
事実20: その銀器類が大手ゼネコンであるとしたらあの参宮者は大手ゼネコンだ

仮説: あの隆起は造形化しない
1. 事実9から、推論1: "もしあの隆起がツベルクリンでないしかつ爽快感でないとすると造形化しない"が導かれる
2. 事実13と事実6から、推論2: "あの隆起はツベルクリンでないししかも爽快感だということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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