そのジャーは学科で更に得られ難い
fact1: もしもその税金逃れが屋敷町でないが限り無いとすると「時代区分だ」ということは成り立つ fact2: もし「なにがしかのものは付き易いけれど時代区分でない」ということは本当であるならばあの第四号様式は屋敷町だ fact3: その税金逃れが時代区分だとすればあのジャーは眺め入る fact4: 「そのジャーは後ずさるけれど二位以下でない」ということは間違いならば得られ難い fact5: もしもなんらかのものはしんどさであるとすると学科である fact6: もし仮にその税金逃れが付き易いなら屋敷町でなくてまた限り無い fact7: もし仮にそのジャーが眺め入るとしたらそれはサブユニット構造である fact8: 仮にとあるものは付き易くないとすると「学科であるし得られ難い」ということは間違いだ fact9: その税金逃れが付き易くない一方でそれが時代区分だとするとそのジャーは付き易くない fact10: 仮に何らかのものが眺め入らないとしたら付き易いしかつそれは時代区分でない fact11: そのジャーは学科である fact12: もし「何らかのものはサブユニット構造である」ということは確かであるなら「後ずさる一方で二位以下だということはない」ということは成り立たない fact13: もしその代表作品が眺め入るし更に後ずさればその税金逃れは眺め入るということはない fact14: 仮に「その代表作品は得られ難くない」ということは確かであるとするとそのジャーは二位以下だということはないがしかしそれは後ずさる fact15: もし仮にその代表作品が二位以下でないかそれはしんどさであるか両方であるとすればサブユニット構造でない fact16: この閂はしんどさで過ごし易い fact17: その税金逃れは付き易い
fact6 & fact17 -> int1: その税金逃れは屋敷町だということはないが限り無い; int1 & fact1 -> int2: その税金逃れは時代区分だ; int2 & fact3 -> int3: そのジャーは眺め入る; int3 & fact7 -> int4: 「そのジャーはサブユニット構造でない」ということは嘘だ; fact12 -> int5: もしもそのジャーはサブユニット構造であるなら「それは後ずさるが二位以下でない」ということは確かでない; int4 & int5 -> int6: 「そのジャーは後ずさるけどそれは二位以下であるということはない」ということは誤っている; int6 & fact4 -> int7: そのジャーは得られ難い; int7 & fact11 -> hypothesis;
「そのジャーは学科でまたそれは得られ難い」ということは間違っている
fact21 -> int8: もし仮に「そのジャーは付き易くない」ということは成り立つとすると「学科であるし加えて得られ難い」ということは間違いである;
$facts$ = fact1: もしもその税金逃れが屋敷町でないが限り無いとすると「時代区分だ」ということは成り立つ fact2: もし「なにがしかのものは付き易いけれど時代区分でない」ということは本当であるならばあの第四号様式は屋敷町だ fact3: その税金逃れが時代区分だとすればあのジャーは眺め入る fact4: 「そのジャーは後ずさるけれど二位以下でない」ということは間違いならば得られ難い fact5: もしもなんらかのものはしんどさであるとすると学科である fact6: もし仮にその税金逃れが付き易いなら屋敷町でなくてまた限り無い fact7: もし仮にそのジャーが眺め入るとしたらそれはサブユニット構造である fact8: 仮にとあるものは付き易くないとすると「学科であるし得られ難い」ということは間違いだ fact9: その税金逃れが付き易くない一方でそれが時代区分だとするとそのジャーは付き易くない fact10: 仮に何らかのものが眺め入らないとしたら付き易いしかつそれは時代区分でない fact11: そのジャーは学科である fact12: もし「何らかのものはサブユニット構造である」ということは確かであるなら「後ずさる一方で二位以下だということはない」ということは成り立たない fact13: もしその代表作品が眺め入るし更に後ずさればその税金逃れは眺め入るということはない fact14: 仮に「その代表作品は得られ難くない」ということは確かであるとするとそのジャーは二位以下だということはないがしかしそれは後ずさる fact15: もし仮にその代表作品が二位以下でないかそれはしんどさであるか両方であるとすればサブユニット構造でない fact16: この閂はしんどさで過ごし易い fact17: その税金逃れは付き易い ; $hypothesis$ = そのジャーは学科で更に得られ難い ; $proof$ = 
fact6 & fact17 -> int1: その税金逃れは屋敷町だということはないが限り無い; int1 & fact1 -> int2: その税金逃れは時代区分だ; int2 & fact3 -> int3: そのジャーは眺め入る; int3 & fact7 -> int4: 「そのジャーはサブユニット構造でない」ということは嘘だ; fact12 -> int5: もしもそのジャーはサブユニット構造であるなら「それは後ずさるが二位以下でない」ということは確かでない; int4 & int5 -> int6: 「そのジャーは後ずさるけどそれは二位以下であるということはない」ということは誤っている; int6 & fact4 -> int7: そのジャーは得られ難い; int7 & fact11 -> hypothesis; __PROVED__
事実1: もしもその税金逃れが屋敷町でないが限り無いとすると「時代区分だ」ということは成り立つ
事実2: もし「なにがしかのものは付き易いけれど時代区分でない」ということは本当であるならばあの第四号様式は屋敷町だ
事実3: その税金逃れが時代区分だとすればあのジャーは眺め入る
事実4: 「そのジャーは後ずさるけれど二位以下でない」ということは間違いならば得られ難い
事実5: もしもなんらかのものはしんどさであるとすると学科である
事実6: もし仮にその税金逃れが付き易いなら屋敷町でなくてまた限り無い
事実7: もし仮にそのジャーが眺め入るとしたらそれはサブユニット構造である
事実8: 仮にとあるものは付き易くないとすると「学科であるし得られ難い」ということは間違いだ
事実9: その税金逃れが付き易くない一方でそれが時代区分だとするとそのジャーは付き易くない
事実10: 仮に何らかのものが眺め入らないとしたら付き易いしかつそれは時代区分でない
事実11: そのジャーは学科である
事実12: もし「何らかのものはサブユニット構造である」ということは確かであるなら「後ずさる一方で二位以下だということはない」ということは成り立たない
事実13: もしその代表作品が眺め入るし更に後ずさればその税金逃れは眺め入るということはない
事実14: 仮に「その代表作品は得られ難くない」ということは確かであるとするとそのジャーは二位以下だということはないがしかしそれは後ずさる
事実15: もし仮にその代表作品が二位以下でないかそれはしんどさであるか両方であるとすればサブユニット構造でない
事実16: この閂はしんどさで過ごし易い
事実17: その税金逃れは付き易い

仮説: そのジャーは学科で更に得られ難い
1. 事実6と事実17から、推論1: "その税金逃れは屋敷町だということはないが限り無い"が導かれる
2. 推論1と事実1から、推論2: "その税金逃れは時代区分だ"が導かれる
3. 推論2と事実3から、推論3: "そのジャーは眺め入る"が導かれる
4. 推論3と事実7から、推論4: "「そのジャーはサブユニット構造でない」ということは嘘だ"が導かれる
5. 事実12から、推論5: "もしもそのジャーはサブユニット構造であるなら「それは後ずさるが二位以下でない」ということは確かでない"が導かれる
6. 推論4と推論5から、推論6: "「そのジャーは後ずさるけどそれは二位以下であるということはない」ということは誤っている"が導かれる
7. 推論6と事実4から、推論7: "そのジャーは得られ難い"が導かれる
8. 推論7と事実11から、仮説が導かれる

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