その成果は御結婚為さる
fact1: すべての物は流れ易くない fact2: もしもその着順が末恐ろしいならそれは御寂しい fact3: もしこの難易度が研究協議会だということはないならあのティーポット・ドーム油田疑獄は達成し易い fact4: 仮にこの難易度が栄螺堂だがそれは文学館でないとするとそれは研究協議会でない fact5: もしもこの難易度は栄螺堂でなくてその上文学館でないとするとそれは研究協議会でない fact6: もしこの難易度は栄螺堂でないがしかし文学館ならそれは研究協議会でない fact7: 仮にあのティーポット・ドーム油田疑獄が人恋しくないけど研究協議会であるなら達成し易くない fact8: この難易度は栄螺堂でないしまた文学館でない fact9: 人恋しい物は研究協議会であるか達成し易くないかもしくはどちらもだ fact10: この難易度は専攻分野でない fact11: もしも「この難易度は飽き足るしその上専攻分野である」ということは成り立つということはないならば専攻分野でない fact12: あのアイデンティティ確立は研究協議会である fact13: 栄螺堂は文学館である fact14: もしも「達成し易いかあるいは専攻分野である」物があるとしたらその成果は文学館である fact15: もし仮に「人恋しいか達成し易い」物があればその成果は専攻分野だ fact16: もしもあるものは専攻分野であるならば御結婚為さる fact17: もし何らかの物が研究協議会であるかもしくはそれは達成し易くないとするとそれは御結婚為さらない fact18: もし「人恋しい」ものがあるとすればその成果は専攻分野だ fact19: 仮になにがしかのものは流れ易くないとすると「それは飽き足るし専攻分野である」ということは成り立たない
fact5 & fact8 -> int1: この難易度は研究協議会であるということはない; int1 & fact3 -> int2: あのティーポット・ドーム油田疑獄は達成し易い; int2 -> int3: あのティーポット・ドーム油田疑獄は人恋しいかまたはそれは達成し易いか両方だ; int3 -> int4: 人恋しいかあるいは達成し易いかもしくは両方ともな物はある; int4 & fact15 -> int5: 「その成果は専攻分野だ」ということは成り立つ; fact16 -> int6: もしもその成果が専攻分野だとしたらそれは御結婚為さる; int5 & int6 -> hypothesis;
その成果は御結婚為さらない
fact23 -> int7: その成果が研究協議会であるかまたは達成し易くないとしたら御結婚為さらない; fact21 -> int8: もし仮にその成果は人恋しいとすれば「それは研究協議会であるかあるいは達成し易くない」ということは事実である; fact20 -> int9: 仮にあのティーポット・ドーム油田疑獄は流れ易くないなら「それは飽き足るし専攻分野である」ということは成り立たない; fact22 -> int10: あのティーポット・ドーム油田疑獄は流れ易いということはない; int9 & int10 -> int11: 「あのティーポット・ドーム油田疑獄は飽き足るし更に専攻分野だ」ということは誤りだ; int11 -> int12: 飽き足るしその上専攻分野だという物はない; int12 -> int13: 「この難易度は飽き足るし専攻分野である」ということは成り立たない; fact24 & int13 -> int14: この難易度は専攻分野でない; int14 -> int15: 「専攻分野でない」物はある;
$facts$ = fact1: すべての物は流れ易くない fact2: もしもその着順が末恐ろしいならそれは御寂しい fact3: もしこの難易度が研究協議会だということはないならあのティーポット・ドーム油田疑獄は達成し易い fact4: 仮にこの難易度が栄螺堂だがそれは文学館でないとするとそれは研究協議会でない fact5: もしもこの難易度は栄螺堂でなくてその上文学館でないとするとそれは研究協議会でない fact6: もしこの難易度は栄螺堂でないがしかし文学館ならそれは研究協議会でない fact7: 仮にあのティーポット・ドーム油田疑獄が人恋しくないけど研究協議会であるなら達成し易くない fact8: この難易度は栄螺堂でないしまた文学館でない fact9: 人恋しい物は研究協議会であるか達成し易くないかもしくはどちらもだ fact10: この難易度は専攻分野でない fact11: もしも「この難易度は飽き足るしその上専攻分野である」ということは成り立つということはないならば専攻分野でない fact12: あのアイデンティティ確立は研究協議会である fact13: 栄螺堂は文学館である fact14: もしも「達成し易いかあるいは専攻分野である」物があるとしたらその成果は文学館である fact15: もし仮に「人恋しいか達成し易い」物があればその成果は専攻分野だ fact16: もしもあるものは専攻分野であるならば御結婚為さる fact17: もし何らかの物が研究協議会であるかもしくはそれは達成し易くないとするとそれは御結婚為さらない fact18: もし「人恋しい」ものがあるとすればその成果は専攻分野だ fact19: 仮になにがしかのものは流れ易くないとすると「それは飽き足るし専攻分野である」ということは成り立たない ; $hypothesis$ = その成果は御結婚為さる ; $proof$ = 
fact5 & fact8 -> int1: この難易度は研究協議会であるということはない; int1 & fact3 -> int2: あのティーポット・ドーム油田疑獄は達成し易い; int2 -> int3: あのティーポット・ドーム油田疑獄は人恋しいかまたはそれは達成し易いか両方だ; int3 -> int4: 人恋しいかあるいは達成し易いかもしくは両方ともな物はある; int4 & fact15 -> int5: 「その成果は専攻分野だ」ということは成り立つ; fact16 -> int6: もしもその成果が専攻分野だとしたらそれは御結婚為さる; int5 & int6 -> hypothesis; __PROVED__
事実1: すべての物は流れ易くない
事実2: もしもその着順が末恐ろしいならそれは御寂しい
事実3: もしこの難易度が研究協議会だということはないならあのティーポット・ドーム油田疑獄は達成し易い
事実4: 仮にこの難易度が栄螺堂だがそれは文学館でないとするとそれは研究協議会でない
事実5: もしもこの難易度は栄螺堂でなくてその上文学館でないとするとそれは研究協議会でない
事実6: もしこの難易度は栄螺堂でないがしかし文学館ならそれは研究協議会でない
事実7: 仮にあのティーポット・ドーム油田疑獄が人恋しくないけど研究協議会であるなら達成し易くない
事実8: この難易度は栄螺堂でないしまた文学館でない
事実9: 人恋しい物は研究協議会であるか達成し易くないかもしくはどちらもだ
事実10: この難易度は専攻分野でない
事実11: もしも「この難易度は飽き足るしその上専攻分野である」ということは成り立つということはないならば専攻分野でない
事実12: あのアイデンティティ確立は研究協議会である
事実13: 栄螺堂は文学館である
事実14: もしも「達成し易いかあるいは専攻分野である」物があるとしたらその成果は文学館である
事実15: もし仮に「人恋しいか達成し易い」物があればその成果は専攻分野だ
事実16: もしもあるものは専攻分野であるならば御結婚為さる
事実17: もし何らかの物が研究協議会であるかもしくはそれは達成し易くないとするとそれは御結婚為さらない
事実18: もし「人恋しい」ものがあるとすればその成果は専攻分野だ
事実19: 仮になにがしかのものは流れ易くないとすると「それは飽き足るし専攻分野である」ということは成り立たない

仮説: その成果は御結婚為さる
1. 事実5と事実8から、推論1: "この難易度は研究協議会であるということはない"が導かれる
2. 推論1と事実3から、推論2: "あのティーポット・ドーム油田疑獄は達成し易い"が導かれる
3. 推論2から、推論3: "あのティーポット・ドーム油田疑獄は人恋しいかまたはそれは達成し易いか両方だ"が導かれる
4. 推論3から、推論4: "人恋しいかあるいは達成し易いかもしくは両方ともな物はある"が導かれる
5. 推論4と事実15から、推論5: "「その成果は専攻分野だ」ということは成り立つ"が導かれる
6. 事実16から、推論6: "もしもその成果が専攻分野だとしたらそれは御結婚為さる"が導かれる
7. 推論5と推論6から、仮説が導かれる

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