その恒星は住み易い
fact1: もしもこの因子構造が把握し易いとするとその高音は把握し易くない fact2: この母性主義は流され易い fact3: もし仮にあるものが流され易いということはないならばそれは住み易いということはない fact4: もし仮にこの母性主義が流され易いならば一元管理する fact5: もしも「この被験者毎は立ち回らないけれど一元管理する」ということは成り立たないならばその恒星は住み易い fact6: 「その新店は学際的連携であるかまたは薄っぺらくない」ということは誤っているならばあの被験者毎は立ち回らない fact7: この因子構造は当該金額でない fact8: もし「なんらかのものは負担付き贈与でないけどとろりとする」ということは誤りであるならば共通部分でない fact9: もしこの因子構造が当該金額でないならば把握し易いかまたは復元出来るか両方ともだ fact10: もしこの母性主義は流され易くないし一元管理しないとすると「その恒星は流され易くない」ということは確かである fact11: 仮にこの家庭訪問はグループ分けするとすると「その新店は学際的連携であるかそれは薄っぺらくないかどちらもだ」ということは間違いだ fact12: もし仮にその高音は把握し易いということはないとすれば「このぽつは負担付き贈与でない一方でとろりとする」ということは間違っている fact13: もしこの母性主義は一元管理するとすれば「この被験者毎は立ち回らないが一元管理する」ということは事実と異なる
fact4 & fact2 -> int1: この母性主義は一元管理する; int1 & fact13 -> int2: 「この被験者毎は立ち回らない一方でそれは一元管理する」ということは成り立たない; int2 & fact5 -> hypothesis;
その恒星は住み易くない
fact16 -> int3: もしもその恒星は流され易いということはないなら「それは住み易いということはない」ということは確かである; fact17 -> int4: もし仮に「このぽつは負担付き贈与でないけれどそれはとろりとする」ということは事実と異なるとすれば共通部分でない; fact21 & fact15 -> int5: 「この因子構造は把握し易いかまたは復元出来るかもしくは両方ともだ」ということは間違いでない;
$facts$ = fact1: もしもこの因子構造が把握し易いとするとその高音は把握し易くない fact2: この母性主義は流され易い fact3: もし仮にあるものが流され易いということはないならばそれは住み易いということはない fact4: もし仮にこの母性主義が流され易いならば一元管理する fact5: もしも「この被験者毎は立ち回らないけれど一元管理する」ということは成り立たないならばその恒星は住み易い fact6: 「その新店は学際的連携であるかまたは薄っぺらくない」ということは誤っているならばあの被験者毎は立ち回らない fact7: この因子構造は当該金額でない fact8: もし「なんらかのものは負担付き贈与でないけどとろりとする」ということは誤りであるならば共通部分でない fact9: もしこの因子構造が当該金額でないならば把握し易いかまたは復元出来るか両方ともだ fact10: もしこの母性主義は流され易くないし一元管理しないとすると「その恒星は流され易くない」ということは確かである fact11: 仮にこの家庭訪問はグループ分けするとすると「その新店は学際的連携であるかそれは薄っぺらくないかどちらもだ」ということは間違いだ fact12: もし仮にその高音は把握し易いということはないとすれば「このぽつは負担付き贈与でない一方でとろりとする」ということは間違っている fact13: もしこの母性主義は一元管理するとすれば「この被験者毎は立ち回らないが一元管理する」ということは事実と異なる ; $hypothesis$ = その恒星は住み易い ; $proof$ = 
fact4 & fact2 -> int1: この母性主義は一元管理する; int1 & fact13 -> int2: 「この被験者毎は立ち回らない一方でそれは一元管理する」ということは成り立たない; int2 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの因子構造が把握し易いとするとその高音は把握し易くない
事実2: この母性主義は流され易い
事実3: もし仮にあるものが流され易いということはないならばそれは住み易いということはない
事実4: もし仮にこの母性主義が流され易いならば一元管理する
事実5: もしも「この被験者毎は立ち回らないけれど一元管理する」ということは成り立たないならばその恒星は住み易い
事実6: 「その新店は学際的連携であるかまたは薄っぺらくない」ということは誤っているならばあの被験者毎は立ち回らない
事実7: この因子構造は当該金額でない
事実8: もし「なんらかのものは負担付き贈与でないけどとろりとする」ということは誤りであるならば共通部分でない
事実9: もしこの因子構造が当該金額でないならば把握し易いかまたは復元出来るか両方ともだ
事実10: もしこの母性主義は流され易くないし一元管理しないとすると「その恒星は流され易くない」ということは確かである
事実11: 仮にこの家庭訪問はグループ分けするとすると「その新店は学際的連携であるかそれは薄っぺらくないかどちらもだ」ということは間違いだ
事実12: もし仮にその高音は把握し易いということはないとすれば「このぽつは負担付き贈与でない一方でとろりとする」ということは間違っている
事実13: もしこの母性主義は一元管理するとすれば「この被験者毎は立ち回らないが一元管理する」ということは事実と異なる

仮説: その恒星は住み易い
1. 事実4と事実2から、推論1: "この母性主義は一元管理する"が導かれる
2. 推論1と事実13から、推論2: "「この被験者毎は立ち回らない一方でそれは一元管理する」ということは成り立たない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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