仮にあの西洋社会が文辞でないならこの庵室は御増すけれどそれは消化しない
fact1: あの西洋社会は文辞でないとすると「それは計画時であるし塩味しない」ということは事実と異なる fact2: もし「とある物は計画時だ一方で塩味しない」ということは誤りであるならばそれは掴み易い fact3: もし仮になんらかのものは計画時でないならばそれは掴み易い fact4: もし仮にあの西洋社会が掴み易いならこの庵室は御増すけど消化しない
void -> assump1: 以下のように仮定する。あの西洋社会は文辞でない; fact1 & assump1 -> int1: 「あの西洋社会は計画時であるけど塩味しない」ということは成り立たない; fact2 -> int2: もし仮に「あの西洋社会は計画時であるけどそれは塩味しない」ということは事実と異なるなら掴み易い; int1 & int2 -> int3: あの西洋社会は掴み易い; int3 & fact4 -> int4: この庵室は御増すけれど消化するということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの西洋社会は文辞でないとすると「それは計画時であるし塩味しない」ということは事実と異なる fact2: もし「とある物は計画時だ一方で塩味しない」ということは誤りであるならばそれは掴み易い fact3: もし仮になんらかのものは計画時でないならばそれは掴み易い fact4: もし仮にあの西洋社会が掴み易いならこの庵室は御増すけど消化しない ; $hypothesis$ = 仮にあの西洋社会が文辞でないならこの庵室は御増すけれどそれは消化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの西洋社会は文辞でない; fact1 & assump1 -> int1: 「あの西洋社会は計画時であるけど塩味しない」ということは成り立たない; fact2 -> int2: もし仮に「あの西洋社会は計画時であるけどそれは塩味しない」ということは事実と異なるなら掴み易い; int1 & int2 -> int3: あの西洋社会は掴み易い; int3 & fact4 -> int4: この庵室は御増すけれど消化するということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの西洋社会は文辞でないとすると「それは計画時であるし塩味しない」ということは事実と異なる
事実2: もし「とある物は計画時だ一方で塩味しない」ということは誤りであるならばそれは掴み易い
事実3: もし仮になんらかのものは計画時でないならばそれは掴み易い
事実4: もし仮にあの西洋社会が掴み易いならこの庵室は御増すけど消化しない

仮説: 仮にあの西洋社会が文辞でないならこの庵室は御増すけれどそれは消化しない
1. 仮定1: 以下のように仮定する。あの西洋社会は文辞でない
2. 事実1と仮定1から、推論1: "「あの西洋社会は計画時であるけど塩味しない」ということは成り立たない"が導かれる
3. 事実2から、推論2: "もし仮に「あの西洋社会は計画時であるけどそれは塩味しない」ということは事実と異なるなら掴み易い"が導かれる
4. 推論1と推論2から、推論3: "あの西洋社会は掴み易い"が導かれる
5. 推論3と事実4から、推論4: "この庵室は御増すけれど消化するということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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