その都市大衆は媚び諂うがしかしそれは揺るがない
fact1: 「この保険価額は微細化する」ということは成り立つ fact2: もし仮にこの保険価額は神田川縁であるとすると御偉いということはない fact3: もし仮に「この保険価額は歓心であるかあるいはそれは行い為さるか両方である」ということは偽だとするとそれはラックＹであるということはない fact4: この保険価額は歓心であるかあるいはそれは行い為さるかどちらもである fact5: もし仮になにかは神田川縁であるならば「「媚び諂うけれど揺るがない」ということは事実である」ということは誤っている fact6: もし仮にとあるものは歓心であるかまたは行い為さらないとすればそれはでかい fact7: この保険価額は行い為さる fact8: 「このアロマバーナーは微細化するかそれは選択され易いかあるいはどちらもである」ということは事実である fact9: もしもこの保険価額がラックＹでないとすればその都市大衆は媚び諂う fact10: 仮に「この保険価額は源平である」ということは成り立つとしたら御偉い fact11: その都市大衆は媚び諂う fact12: 「この保険価額は歓心であるかまたはそれは行い為さるということはない」ということは間違いだとしたら「ラックＹだということはない」ということは成り立つ fact13: この保険価額がラックＹでないとするとその都市大衆は媚び諂うがしかし揺るがない fact14: 「そのＺＵは微細化する」ということは成り立つ fact15: もしこの保険価額が微細化するとすればそれは源平である fact16: もしもこの保険価額はでかいか神田川縁であるか両方ともであるとすればそれは御偉くない fact17: ある物は行い為さらないなら「それはでかい」ということは確かだ fact18: 「このアロマバーナーは源平であるということはない」ということは真実であるならばそれは御偉いしラックＹだ fact19: もしもこの保険価額が行い為さらないとするとでかい
fact6 -> int1: この保険価額は歓心であるかまたは行い為さらないならでかい; void -> assump1: 以下のように仮定する。この保険価額は歓心であるかまたは行い為さらないかあるいは両方ともである; int1 & assump1 -> int2: この保険価額はでかい; int2 -> int3: この保険価額はでかいか神田川縁である; int3 & fact16 -> int4: この保険価額は御偉くない; fact1 & fact15 -> int5: 「この保険価額は源平である」ということは真実だ; fact10 & int5 -> int6: この保険価額は御偉い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この保険価額は歓心であるかまたはそれは行い為さらないかまたは両方ともである」ということは成り立たない; int8 & fact12 -> int9: この保険価額はラックＹであるということはない; int9 & fact13 -> hypothesis;
「その都市大衆は媚び諂うけれど揺るぐということはない」ということは確かだということはない
fact20 -> int10: 仮にその都市大衆は神田川縁であるとすると「媚び諂うがしかし揺るがない」ということは成り立たない;
$facts$ = fact1: 「この保険価額は微細化する」ということは成り立つ fact2: もし仮にこの保険価額は神田川縁であるとすると御偉いということはない fact3: もし仮に「この保険価額は歓心であるかあるいはそれは行い為さるか両方である」ということは偽だとするとそれはラックＹであるということはない fact4: この保険価額は歓心であるかあるいはそれは行い為さるかどちらもである fact5: もし仮になにかは神田川縁であるならば「「媚び諂うけれど揺るがない」ということは事実である」ということは誤っている fact6: もし仮にとあるものは歓心であるかまたは行い為さらないとすればそれはでかい fact7: この保険価額は行い為さる fact8: 「このアロマバーナーは微細化するかそれは選択され易いかあるいはどちらもである」ということは事実である fact9: もしもこの保険価額がラックＹでないとすればその都市大衆は媚び諂う fact10: 仮に「この保険価額は源平である」ということは成り立つとしたら御偉い fact11: その都市大衆は媚び諂う fact12: 「この保険価額は歓心であるかまたはそれは行い為さるということはない」ということは間違いだとしたら「ラックＹだということはない」ということは成り立つ fact13: この保険価額がラックＹでないとするとその都市大衆は媚び諂うがしかし揺るがない fact14: 「そのＺＵは微細化する」ということは成り立つ fact15: もしこの保険価額が微細化するとすればそれは源平である fact16: もしもこの保険価額はでかいか神田川縁であるか両方ともであるとすればそれは御偉くない fact17: ある物は行い為さらないなら「それはでかい」ということは確かだ fact18: 「このアロマバーナーは源平であるということはない」ということは真実であるならばそれは御偉いしラックＹだ fact19: もしもこの保険価額が行い為さらないとするとでかい ; $hypothesis$ = その都市大衆は媚び諂うがしかしそれは揺るがない ; $proof$ = 
fact6 -> int1: この保険価額は歓心であるかまたは行い為さらないならでかい; void -> assump1: 以下のように仮定する。この保険価額は歓心であるかまたは行い為さらないかあるいは両方ともである; int1 & assump1 -> int2: この保険価額はでかい; int2 -> int3: この保険価額はでかいか神田川縁である; int3 & fact16 -> int4: この保険価額は御偉くない; fact1 & fact15 -> int5: 「この保険価額は源平である」ということは真実だ; fact10 & int5 -> int6: この保険価額は御偉い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この保険価額は歓心であるかまたはそれは行い為さらないかまたは両方ともである」ということは成り立たない; int8 & fact12 -> int9: この保険価額はラックＹであるということはない; int9 & fact13 -> hypothesis; __PROVED__
事実1: 「この保険価額は微細化する」ということは成り立つ
事実2: もし仮にこの保険価額は神田川縁であるとすると御偉いということはない
事実3: もし仮に「この保険価額は歓心であるかあるいはそれは行い為さるか両方である」ということは偽だとするとそれはラックＹであるということはない
事実4: この保険価額は歓心であるかあるいはそれは行い為さるかどちらもである
事実5: もし仮になにかは神田川縁であるならば「「媚び諂うけれど揺るがない」ということは事実である」ということは誤っている
事実6: もし仮にとあるものは歓心であるかまたは行い為さらないとすればそれはでかい
事実7: この保険価額は行い為さる
事実8: 「このアロマバーナーは微細化するかそれは選択され易いかあるいはどちらもである」ということは事実である
事実9: もしもこの保険価額がラックＹでないとすればその都市大衆は媚び諂う
事実10: 仮に「この保険価額は源平である」ということは成り立つとしたら御偉い
事実11: その都市大衆は媚び諂う
事実12: 「この保険価額は歓心であるかまたはそれは行い為さるということはない」ということは間違いだとしたら「ラックＹだということはない」ということは成り立つ
事実13: この保険価額がラックＹでないとするとその都市大衆は媚び諂うがしかし揺るがない
事実14: 「そのＺＵは微細化する」ということは成り立つ
事実15: もしこの保険価額が微細化するとすればそれは源平である
事実16: もしもこの保険価額はでかいか神田川縁であるか両方ともであるとすればそれは御偉くない
事実17: ある物は行い為さらないなら「それはでかい」ということは確かだ
事実18: 「このアロマバーナーは源平であるということはない」ということは真実であるならばそれは御偉いしラックＹだ
事実19: もしもこの保険価額が行い為さらないとするとでかい

仮説: その都市大衆は媚び諂うがしかしそれは揺るがない
1. 事実6から、推論1: "この保険価額は歓心であるかまたは行い為さらないならでかい"が導かれる
2. 仮定1: 以下のように仮定する。この保険価額は歓心であるかまたは行い為さらないかあるいは両方ともである
3. 推論1と仮定1から、推論2: "この保険価額はでかい"が導かれる
4. 推論2から、推論3: "この保険価額はでかいか神田川縁である"が導かれる
5. 推論3と事実16から、推論4: "この保険価額は御偉くない"が導かれる
6. 事実1と事実15から、推論5: "「この保険価額は源平である」ということは真実だ"が導かれる
7. 事実10と推論5から、推論6: "この保険価額は御偉い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この保険価額は歓心であるかまたはそれは行い為さらないかまたは両方ともである」ということは成り立たない"が導かれる
10. 推論8と事実12から、推論9: "この保険価額はラックＹであるということはない"が導かれる
11. 推論9と事実13から、仮説が導かれる

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