仮にあの数十年後は似合わないとしたら「このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくは両方だ」ということは事実だ
fact1: このロゼワインはゆったりする一方で寒過ぎない fact2: その排他的経済水域はコーストガードであるかあるいは思惑である fact3: もしもあの数十年後は者同士だとすると「このＴＥＭは者同士であるがそれは岩風呂でない」ということは偽だ fact4: もしあの数十年後は似合うなら「このクッション部分は差し渡しであるかそれは聞こえ難いかあるいはどちらもである」ということは本当だ fact5: もし仮にあるものがし為さるし規則正しいならばそれは者同士だ fact6: 仮にあの数十年後が似合えばそれはし為さる一方で規則正しくない fact7: 「なにかは者同士であるけど岩風呂でない」ということは成り立たないとすると遅過ぎない fact8: このＴＥＭが遅過ぎないとすればあのクッション部分は聞こえ難い fact9: あの数十年後は規則正しくない fact10: あの数十年後がし為さるし更に規則正しいならばそれは者同士である fact11: もし仮にあの数十年後が似合わないならそれは規則正しくない fact12: 仮にあの数十年後は規則正しいならば「このＴＥＭは規則正しいが者同士でない」ということは偽だ fact13: このクッション部分は岩風呂である fact14: 仮にこのＴＥＭは者同士でないとするとそれは遅過ぎない fact15: 何らかの物はし為さるがしかし規則正しくないとすれば者同士である fact16: もしもあの数十年後が似合うということはないとするとそれはし為さるけれど規則正しくない fact17: もし仮になにがしかのものは者同士であるということはないとすると遅過ぎない fact18: このＴＥＭは者同士であるかもしくは似合うか両方ともだ fact19: 仮にこのクッション部分はし為さらないとしたらあの数十年後は差し渡しだ fact20: あの数十年後は差し渡しである fact21: もし仮に「このクッション部分は規則正しい」ということは偽であるとすればあの数十年後は聞こえ難い fact22: もし「このＴＥＭは似合うということはない」ということは事実と異ならないならばあの数十年後は規則正しいかまたは岩風呂であるかあるいは両方である fact23: 仮に判別し易いものが走り寄らないとすればそれは目立ち始める
void -> assump1: 以下のように仮定する。あの数十年後は似合うということはない; fact16 & assump1 -> int1: あの数十年後はし為さるけど規則正しくない; fact15 -> int2: もし仮にあの数十年後がし為さるけれど規則正しくないならば者同士である; int1 & int2 -> int3: あの数十年後は者同士だ; int3 & fact3 -> int4: 「このＴＥＭは者同士であるけれど岩風呂でない」ということは間違いである; fact7 -> int5: 仮に「このＴＥＭは者同士である一方で岩風呂でない」ということは偽であるとすれば「それは遅過ぎない」ということは事実だ; int4 & int5 -> int6: このＴＥＭは遅過ぎるということはない; int6 & fact8 -> int7: 「このクッション部分は聞こえ難い」ということは偽であるということはない; int7 -> int8: このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくはどちらもだ; [assump1] & int8 -> hypothesis;
$facts$ = fact1: このロゼワインはゆったりする一方で寒過ぎない fact2: その排他的経済水域はコーストガードであるかあるいは思惑である fact3: もしもあの数十年後は者同士だとすると「このＴＥＭは者同士であるがそれは岩風呂でない」ということは偽だ fact4: もしあの数十年後は似合うなら「このクッション部分は差し渡しであるかそれは聞こえ難いかあるいはどちらもである」ということは本当だ fact5: もし仮にあるものがし為さるし規則正しいならばそれは者同士だ fact6: 仮にあの数十年後が似合えばそれはし為さる一方で規則正しくない fact7: 「なにかは者同士であるけど岩風呂でない」ということは成り立たないとすると遅過ぎない fact8: このＴＥＭが遅過ぎないとすればあのクッション部分は聞こえ難い fact9: あの数十年後は規則正しくない fact10: あの数十年後がし為さるし更に規則正しいならばそれは者同士である fact11: もし仮にあの数十年後が似合わないならそれは規則正しくない fact12: 仮にあの数十年後は規則正しいならば「このＴＥＭは規則正しいが者同士でない」ということは偽だ fact13: このクッション部分は岩風呂である fact14: 仮にこのＴＥＭは者同士でないとするとそれは遅過ぎない fact15: 何らかの物はし為さるがしかし規則正しくないとすれば者同士である fact16: もしもあの数十年後が似合うということはないとするとそれはし為さるけれど規則正しくない fact17: もし仮になにがしかのものは者同士であるということはないとすると遅過ぎない fact18: このＴＥＭは者同士であるかもしくは似合うか両方ともだ fact19: 仮にこのクッション部分はし為さらないとしたらあの数十年後は差し渡しだ fact20: あの数十年後は差し渡しである fact21: もし仮に「このクッション部分は規則正しい」ということは偽であるとすればあの数十年後は聞こえ難い fact22: もし「このＴＥＭは似合うということはない」ということは事実と異ならないならばあの数十年後は規則正しいかまたは岩風呂であるかあるいは両方である fact23: 仮に判別し易いものが走り寄らないとすればそれは目立ち始める ; $hypothesis$ = 仮にあの数十年後は似合わないとしたら「このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくは両方だ」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの数十年後は似合うということはない; fact16 & assump1 -> int1: あの数十年後はし為さるけど規則正しくない; fact15 -> int2: もし仮にあの数十年後がし為さるけれど規則正しくないならば者同士である; int1 & int2 -> int3: あの数十年後は者同士だ; int3 & fact3 -> int4: 「このＴＥＭは者同士であるけれど岩風呂でない」ということは間違いである; fact7 -> int5: 仮に「このＴＥＭは者同士である一方で岩風呂でない」ということは偽であるとすれば「それは遅過ぎない」ということは事実だ; int4 & int5 -> int6: このＴＥＭは遅過ぎるということはない; int6 & fact8 -> int7: 「このクッション部分は聞こえ難い」ということは偽であるということはない; int7 -> int8: このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくはどちらもだ; [assump1] & int8 -> hypothesis; __PROVED__
事実1: このロゼワインはゆったりする一方で寒過ぎない
事実2: その排他的経済水域はコーストガードであるかあるいは思惑である
事実3: もしもあの数十年後は者同士だとすると「このＴＥＭは者同士であるがそれは岩風呂でない」ということは偽だ
事実4: もしあの数十年後は似合うなら「このクッション部分は差し渡しであるかそれは聞こえ難いかあるいはどちらもである」ということは本当だ
事実5: もし仮にあるものがし為さるし規則正しいならばそれは者同士だ
事実6: 仮にあの数十年後が似合えばそれはし為さる一方で規則正しくない
事実7: 「なにかは者同士であるけど岩風呂でない」ということは成り立たないとすると遅過ぎない
事実8: このＴＥＭが遅過ぎないとすればあのクッション部分は聞こえ難い
事実9: あの数十年後は規則正しくない
事実10: あの数十年後がし為さるし更に規則正しいならばそれは者同士である
事実11: もし仮にあの数十年後が似合わないならそれは規則正しくない
事実12: 仮にあの数十年後は規則正しいならば「このＴＥＭは規則正しいが者同士でない」ということは偽だ
事実13: このクッション部分は岩風呂である
事実14: 仮にこのＴＥＭは者同士でないとするとそれは遅過ぎない
事実15: 何らかの物はし為さるがしかし規則正しくないとすれば者同士である
事実16: もしもあの数十年後が似合うということはないとするとそれはし為さるけれど規則正しくない
事実17: もし仮になにがしかのものは者同士であるということはないとすると遅過ぎない
事実18: このＴＥＭは者同士であるかもしくは似合うか両方ともだ
事実19: 仮にこのクッション部分はし為さらないとしたらあの数十年後は差し渡しだ
事実20: あの数十年後は差し渡しである
事実21: もし仮に「このクッション部分は規則正しい」ということは偽であるとすればあの数十年後は聞こえ難い
事実22: もし「このＴＥＭは似合うということはない」ということは事実と異ならないならばあの数十年後は規則正しいかまたは岩風呂であるかあるいは両方である
事実23: 仮に判別し易いものが走り寄らないとすればそれは目立ち始める

仮説: 仮にあの数十年後は似合わないとしたら「このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくは両方だ」ということは事実だ
1. 仮定1: 以下のように仮定する。あの数十年後は似合うということはない
2. 事実16と仮定1から、推論1: "あの数十年後はし為さるけど規則正しくない"が導かれる
3. 事実15から、推論2: "もし仮にあの数十年後がし為さるけれど規則正しくないならば者同士である"が導かれる
4. 推論1と推論2から、推論3: "あの数十年後は者同士だ"が導かれる
5. 推論3と事実3から、推論4: "「このＴＥＭは者同士であるけれど岩風呂でない」ということは間違いである"が導かれる
6. 事実7から、推論5: "仮に「このＴＥＭは者同士である一方で岩風呂でない」ということは偽であるとすれば「それは遅過ぎない」ということは事実だ"が導かれる
7. 推論4と推論5から、推論6: "このＴＥＭは遅過ぎるということはない"が導かれる
8. 推論6と事実8から、推論7: "「このクッション部分は聞こえ難い」ということは偽であるということはない"が導かれる
9. 推論7から、推論8: "このクッション部分は差し渡しであるかもしくは聞こえ難いかもしくはどちらもだ"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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