その過去分詞は面会でない
fact1: この市民的権利は再発し易いか治療すか両方ともだ fact2: もしこの市民的権利が再発し易いとすればそれは近付き難い fact3: もしこの担保権者が特定支出でないがしかしそれが面会だとしたらそれは縮小する fact4: 「面会でない」ものはある fact5: この担保権者が治療すということはないならばあの過去分詞は治療すけど面会でない fact6: 仮にこの市民的権利が近付き難いかまたはそれが入部するかまたは両方であるとすればこの担保権者は治療すらない fact7: もしもその過去分詞が入部するとするとこの市民的権利は末恐ろしくない fact8: この市民的権利は治療すか入部するか両方ともだ fact9: もし「その過去分詞は入部しない」ということは真実であるならこの市民的権利は入部する一方で海外留学でない fact10: もしも末恐ろしくない物は海外留学だということはないとすると「再発し易い」ということは成り立つ fact11: この市民的権利は末恐ろしくなくてそれは海外留学でない fact12: もしもなにがしかの物は入部するとすると「それは近付き難いが再発し易くない」ということは本当でない fact13: この市民的権利は末恐ろしくない
fact10 -> int1: もしこの市民的権利が末恐ろしくないしそれは海外留学でないならばそれは再発し易い; int1 & fact11 -> int2: この市民的権利は再発し易い; int2 & fact2 -> int3: この市民的権利は近付き難い; int3 -> int4: 「この市民的権利は近付き難いかあるいはそれは入部するかまたはどちらもである」ということは真実である; int4 & fact6 -> int5: この担保権者は治療すらない; int5 & fact5 -> int6: その過去分詞は治療す一方でそれは面会でない; int6 -> hypothesis;
この担保権者は高いかまたはそれは取り掛かり易いかまたは両方だ
fact15 -> int7: 仮にその過去分詞は入部するとしたら「「それは近付き難いしそれは再発し易いということはない」ということは本当だ」ということは誤っている;
$facts$ = fact1: この市民的権利は再発し易いか治療すか両方ともだ fact2: もしこの市民的権利が再発し易いとすればそれは近付き難い fact3: もしこの担保権者が特定支出でないがしかしそれが面会だとしたらそれは縮小する fact4: 「面会でない」ものはある fact5: この担保権者が治療すということはないならばあの過去分詞は治療すけど面会でない fact6: 仮にこの市民的権利が近付き難いかまたはそれが入部するかまたは両方であるとすればこの担保権者は治療すらない fact7: もしもその過去分詞が入部するとするとこの市民的権利は末恐ろしくない fact8: この市民的権利は治療すか入部するか両方ともだ fact9: もし「その過去分詞は入部しない」ということは真実であるならこの市民的権利は入部する一方で海外留学でない fact10: もしも末恐ろしくない物は海外留学だということはないとすると「再発し易い」ということは成り立つ fact11: この市民的権利は末恐ろしくなくてそれは海外留学でない fact12: もしもなにがしかの物は入部するとすると「それは近付き難いが再発し易くない」ということは本当でない fact13: この市民的権利は末恐ろしくない ; $hypothesis$ = その過去分詞は面会でない ; $proof$ = 
fact10 -> int1: もしこの市民的権利が末恐ろしくないしそれは海外留学でないならばそれは再発し易い; int1 & fact11 -> int2: この市民的権利は再発し易い; int2 & fact2 -> int3: この市民的権利は近付き難い; int3 -> int4: 「この市民的権利は近付き難いかあるいはそれは入部するかまたはどちらもである」ということは真実である; int4 & fact6 -> int5: この担保権者は治療すらない; int5 & fact5 -> int6: その過去分詞は治療す一方でそれは面会でない; int6 -> hypothesis; __PROVED__
事実1: この市民的権利は再発し易いか治療すか両方ともだ
事実2: もしこの市民的権利が再発し易いとすればそれは近付き難い
事実3: もしこの担保権者が特定支出でないがしかしそれが面会だとしたらそれは縮小する
事実4: 「面会でない」ものはある
事実5: この担保権者が治療すということはないならばあの過去分詞は治療すけど面会でない
事実6: 仮にこの市民的権利が近付き難いかまたはそれが入部するかまたは両方であるとすればこの担保権者は治療すらない
事実7: もしもその過去分詞が入部するとするとこの市民的権利は末恐ろしくない
事実8: この市民的権利は治療すか入部するか両方ともだ
事実9: もし「その過去分詞は入部しない」ということは真実であるならこの市民的権利は入部する一方で海外留学でない
事実10: もしも末恐ろしくない物は海外留学だということはないとすると「再発し易い」ということは成り立つ
事実11: この市民的権利は末恐ろしくなくてそれは海外留学でない
事実12: もしもなにがしかの物は入部するとすると「それは近付き難いが再発し易くない」ということは本当でない
事実13: この市民的権利は末恐ろしくない

仮説: その過去分詞は面会でない
1. 事実10から、推論1: "もしこの市民的権利が末恐ろしくないしそれは海外留学でないならばそれは再発し易い"が導かれる
2. 推論1と事実11から、推論2: "この市民的権利は再発し易い"が導かれる
3. 推論2と事実2から、推論3: "この市民的権利は近付き難い"が導かれる
4. 推論3から、推論4: "「この市民的権利は近付き難いかあるいはそれは入部するかまたはどちらもである」ということは真実である"が導かれる
5. 推論4と事実6から、推論5: "この担保権者は治療すらない"が導かれる
6. 推論5と事実5から、推論6: "その過去分詞は治療す一方でそれは面会でない"が導かれる
7. 推論6から、仮説が導かれる

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