「もしも維持するとすると許し難い」物はある
fact1: 溶け易い物は回り続ける fact2: もし仮に「何らかのものは硬口蓋でない」ということは確かであるとすると「それは溶け易いしさらにコーヒー・ココアだ」ということは正しい fact3: 「「もし仮に参加し易いとすれば乗車する」ものはある」ということは真実である fact4: もしも「この外国要人は維持する」ということは真実であるとすればミセス・スピンドルバンドだ fact5: もしこの外国要人が維持するとすれば譲り合う fact6: もし仮に何かはコーヒー・ココアであるとしたら「許し難いがしかし天宮だということはない」ということは間違いだ fact7: この外国要人は母子福祉センターである一方で硬口蓋だということはない fact8: 「もしもこの外国要人が譲り合うが許し難くないならばこの平頭は維持する」ということは確かだ fact9: もしも「あるものは譲り合う」ということは本当だとすると許し難い fact10: もしも何かは許し難いならば譲り合うということはないけれど維持する fact11: その全存在は維持するとすると「それは力者だ」ということは事実だ
void -> assump1: 以下のように仮定する。この外国要人は維持する; fact5 & assump1 -> int1: この外国要人は譲り合う; fact9 -> int2: 仮にこの外国要人が譲り合うとするとそれは許し難い; int1 & int2 -> int3: この外国要人は許し難い; [assump1] & int3 -> int4: もし仮にこの外国要人が維持すればそれは許し難い; int4 -> hypothesis;
あの民謡は維持する
fact15 -> int5: もしあの民謡が許し難いとすると譲り合わないけれど維持する; fact14 -> int6: この外国要人はコーヒー・ココアであるとすると「それは許し難いしそれは天宮だということはない」ということは偽だ; fact12 -> int7: もしも「この外国要人は硬口蓋でない」ということは嘘でないとすれば溶け易くてコーヒー・ココアである; fact13 -> int8: 「この外国要人は硬口蓋だということはない」ということは真実だ; int7 & int8 -> int9: この外国要人は溶け易くてそれにコーヒー・ココアである; int9 -> int10: この外国要人はコーヒー・ココアだ; int6 & int10 -> int11: 「この外国要人は許し難いがしかし天宮でない」ということは成り立たない;
$facts$ = fact1: 溶け易い物は回り続ける fact2: もし仮に「何らかのものは硬口蓋でない」ということは確かであるとすると「それは溶け易いしさらにコーヒー・ココアだ」ということは正しい fact3: 「「もし仮に参加し易いとすれば乗車する」ものはある」ということは真実である fact4: もしも「この外国要人は維持する」ということは真実であるとすればミセス・スピンドルバンドだ fact5: もしこの外国要人が維持するとすれば譲り合う fact6: もし仮に何かはコーヒー・ココアであるとしたら「許し難いがしかし天宮だということはない」ということは間違いだ fact7: この外国要人は母子福祉センターである一方で硬口蓋だということはない fact8: 「もしもこの外国要人が譲り合うが許し難くないならばこの平頭は維持する」ということは確かだ fact9: もしも「あるものは譲り合う」ということは本当だとすると許し難い fact10: もしも何かは許し難いならば譲り合うということはないけれど維持する fact11: その全存在は維持するとすると「それは力者だ」ということは事実だ ; $hypothesis$ = 「もしも維持するとすると許し難い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この外国要人は維持する; fact5 & assump1 -> int1: この外国要人は譲り合う; fact9 -> int2: 仮にこの外国要人が譲り合うとするとそれは許し難い; int1 & int2 -> int3: この外国要人は許し難い; [assump1] & int3 -> int4: もし仮にこの外国要人が維持すればそれは許し難い; int4 -> hypothesis; __PROVED__
事実1: 溶け易い物は回り続ける
事実2: もし仮に「何らかのものは硬口蓋でない」ということは確かであるとすると「それは溶け易いしさらにコーヒー・ココアだ」ということは正しい
事実3: 「「もし仮に参加し易いとすれば乗車する」ものはある」ということは真実である
事実4: もしも「この外国要人は維持する」ということは真実であるとすればミセス・スピンドルバンドだ
事実5: もしこの外国要人が維持するとすれば譲り合う
事実6: もし仮に何かはコーヒー・ココアであるとしたら「許し難いがしかし天宮だということはない」ということは間違いだ
事実7: この外国要人は母子福祉センターである一方で硬口蓋だということはない
事実8: 「もしもこの外国要人が譲り合うが許し難くないならばこの平頭は維持する」ということは確かだ
事実9: もしも「あるものは譲り合う」ということは本当だとすると許し難い
事実10: もしも何かは許し難いならば譲り合うということはないけれど維持する
事実11: その全存在は維持するとすると「それは力者だ」ということは事実だ

仮説: 「もしも維持するとすると許し難い」物はある
1. 仮定1: 以下のように仮定する。この外国要人は維持する
2. 事実5と仮定1から、推論1: "この外国要人は譲り合う"が導かれる
3. 事実9から、推論2: "仮にこの外国要人が譲り合うとするとそれは許し難い"が導かれる
4. 推論1と推論2から、推論3: "この外国要人は許し難い"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にこの外国要人が維持すればそれは許し難い"が導かれる
6. 推論4から、仮説が導かれる

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