その考察結果は御詳しい
fact1: もしも「心優しいしその上経理上な」物があるとすればその両側手協調動作は心深しということはない fact2: 「「閉会する」ということは偽でない」物はある fact3: その楽屋は接地する fact4: 聞き易いものは指定間隔である fact5: 「懐かしい」物はある fact6: もしこの三学期が経理上であるということはないならその考察結果は心深し fact7: その考察結果は心優しい fact8: その両側手協調動作は保因者だ fact9: あのＲＭＳは接地する fact10: その両側手協調動作は心優しい fact11: その両側手協調動作は接地する fact12: 高いということはないものが心深しとすれば経理上だ fact13: 仮になにがしかのものが接地するしそれにそれが心優しいとすればこの三学期は経理上でない fact14: もし仮に「何らかの物は蛍光管であるが聞き易くない」ということは嘘であるとするとそれは聞き易い fact15: もしもあの形代が経理上ならこの三学期は接地するということはないけど心優しい fact16: 「心優しい」ものはある fact17: この朝雲はツール・ボックスでないがしかしそれは御礼する fact18: この朝雲が理解し易くないとすればあの形代は心深くておまけに一回転である fact19: 心深し物は御詳しい fact20: そのがりは接地する fact21: もしもあの恋愛論が高いがしかしそれが持ち出せないとしたらあの形代は高くない fact22: もし仮になにがしかのものがツール・ボックスでない一方でそれが御礼するならそれは理解し易くない fact23: 指定間隔は高いが持ち出せない fact24: もし仮に「「察知する」ということは確かな」物はあるとしたら「あの恋愛論は蛍光管だがしかしそれは聞き易くない」ということは誤りだ fact25: なんらかの物は察知する fact26: 仮にその両側手協調動作は御詳しいとすると「その考察結果は御詳しくない」ということは真実である
fact11 & fact10 -> int1: その両側手協調動作は接地するししかもそれは心優しい; int1 -> int2: 「接地するしかつ心優しい」ものはある; int2 & fact13 -> int3: この三学期は経理上でない; int3 & fact6 -> int4: その考察結果は心深し; fact19 -> int5: もし仮にその考察結果が心深しなら御詳しい; int4 & int5 -> hypothesis;
その考察結果は御詳しくない
fact38 -> int6: 「あの形代が高くない一方で心深しならばあの形代は経理上だ」ということは事実と異ならない; fact28 -> int7: もし仮にあの恋愛論が指定間隔であるとしたら高くてそれは持ち出せない; fact27 -> int8: 「もしあの恋愛論が聞き易いならあの恋愛論は指定間隔である」ということは真実である; fact35 -> int9: もしも「あの恋愛論は蛍光管だがしかし聞き易くない」ということは間違いであるとすると聞き易い; fact30 & fact36 -> int10: 「「あの恋愛論は蛍光管だがしかし聞き易くない」ということは誤りである」ということは正しい; int9 & int10 -> int11: あの恋愛論は聞き易い; int8 & int11 -> int12: あの恋愛論は指定間隔だ; int7 & int12 -> int13: あの恋愛論は高い一方で持ち出せない; fact31 & int13 -> int14: あの形代は高くない; fact33 -> int15: 仮にこの朝雲はツール・ボックスでないけれど御礼するならそれは理解し易くない; int15 & fact32 -> int16: この朝雲は理解し易くない; fact37 & int16 -> int17: あの形代は心深ししさらに一回転である; int17 -> int18: あの形代は心深し; int14 & int18 -> int19: あの形代は高くないが心深し; int6 & int19 -> int20: あの形代は経理上だ; fact34 & int20 -> int21: この三学期は接地しないが心優しい; int21 -> int22: ある物は接地しないけれど心優しい;
$facts$ = fact1: もしも「心優しいしその上経理上な」物があるとすればその両側手協調動作は心深しということはない fact2: 「「閉会する」ということは偽でない」物はある fact3: その楽屋は接地する fact4: 聞き易いものは指定間隔である fact5: 「懐かしい」物はある fact6: もしこの三学期が経理上であるということはないならその考察結果は心深し fact7: その考察結果は心優しい fact8: その両側手協調動作は保因者だ fact9: あのＲＭＳは接地する fact10: その両側手協調動作は心優しい fact11: その両側手協調動作は接地する fact12: 高いということはないものが心深しとすれば経理上だ fact13: 仮になにがしかのものが接地するしそれにそれが心優しいとすればこの三学期は経理上でない fact14: もし仮に「何らかの物は蛍光管であるが聞き易くない」ということは嘘であるとするとそれは聞き易い fact15: もしもあの形代が経理上ならこの三学期は接地するということはないけど心優しい fact16: 「心優しい」ものはある fact17: この朝雲はツール・ボックスでないがしかしそれは御礼する fact18: この朝雲が理解し易くないとすればあの形代は心深くておまけに一回転である fact19: 心深し物は御詳しい fact20: そのがりは接地する fact21: もしもあの恋愛論が高いがしかしそれが持ち出せないとしたらあの形代は高くない fact22: もし仮になにがしかのものがツール・ボックスでない一方でそれが御礼するならそれは理解し易くない fact23: 指定間隔は高いが持ち出せない fact24: もし仮に「「察知する」ということは確かな」物はあるとしたら「あの恋愛論は蛍光管だがしかしそれは聞き易くない」ということは誤りだ fact25: なんらかの物は察知する fact26: 仮にその両側手協調動作は御詳しいとすると「その考察結果は御詳しくない」ということは真実である ; $hypothesis$ = その考察結果は御詳しい ; $proof$ = 
fact11 & fact10 -> int1: その両側手協調動作は接地するししかもそれは心優しい; int1 -> int2: 「接地するしかつ心優しい」ものはある; int2 & fact13 -> int3: この三学期は経理上でない; int3 & fact6 -> int4: その考察結果は心深し; fact19 -> int5: もし仮にその考察結果が心深しなら御詳しい; int4 & int5 -> hypothesis; __PROVED__
事実1: もしも「心優しいしその上経理上な」物があるとすればその両側手協調動作は心深しということはない
事実2: 「「閉会する」ということは偽でない」物はある
事実3: その楽屋は接地する
事実4: 聞き易いものは指定間隔である
事実5: 「懐かしい」物はある
事実6: もしこの三学期が経理上であるということはないならその考察結果は心深し
事実7: その考察結果は心優しい
事実8: その両側手協調動作は保因者だ
事実9: あのＲＭＳは接地する
事実10: その両側手協調動作は心優しい
事実11: その両側手協調動作は接地する
事実12: 高いということはないものが心深しとすれば経理上だ
事実13: 仮になにがしかのものが接地するしそれにそれが心優しいとすればこの三学期は経理上でない
事実14: もし仮に「何らかの物は蛍光管であるが聞き易くない」ということは嘘であるとするとそれは聞き易い
事実15: もしもあの形代が経理上ならこの三学期は接地するということはないけど心優しい
事実16: 「心優しい」ものはある
事実17: この朝雲はツール・ボックスでないがしかしそれは御礼する
事実18: この朝雲が理解し易くないとすればあの形代は心深くておまけに一回転である
事実19: 心深し物は御詳しい
事実20: そのがりは接地する
事実21: もしもあの恋愛論が高いがしかしそれが持ち出せないとしたらあの形代は高くない
事実22: もし仮になにがしかのものがツール・ボックスでない一方でそれが御礼するならそれは理解し易くない
事実23: 指定間隔は高いが持ち出せない
事実24: もし仮に「「察知する」ということは確かな」物はあるとしたら「あの恋愛論は蛍光管だがしかしそれは聞き易くない」ということは誤りだ
事実25: なんらかの物は察知する
事実26: 仮にその両側手協調動作は御詳しいとすると「その考察結果は御詳しくない」ということは真実である

仮説: その考察結果は御詳しい
1. 事実11と事実10から、推論1: "その両側手協調動作は接地するししかもそれは心優しい"が導かれる
2. 推論1から、推論2: "「接地するしかつ心優しい」ものはある"が導かれる
3. 推論2と事実13から、推論3: "この三学期は経理上でない"が導かれる
4. 推論3と事実6から、推論4: "その考察結果は心深し"が導かれる
5. 事実19から、推論5: "もし仮にその考察結果が心深しなら御詳しい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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