この透水試験は理解し易い
fact1: もしとあるものが渡り掛けるということはなくてそれに馬鹿馬鹿しいということはないならばこの透水試験は治山である fact2: 「手足口病でなくて加えて噴出しない」ものはある fact3: この職業観は理解し易い fact4: もし仮にその粉チーズが目敏いとすればあの大島殿は治山であるけど潔しない fact5: とあるものは表示し為さらなくて治山であるということはない fact6: もし仮にこの透水試験が実行し易いとすれば探し易い fact7: 「自然らしくないし加えて肩入れでない」ものはある fact8: この透水試験は表示し為さる fact9: もしも「「表示し為さらないしおまけに治山でない」ということは誤りであるということはない」ものがあるとすればこの透水試験は潔し fact10: この透水試験は同情出来る fact11: もし仮に「表示し為さらなくて治山である」物があるとしたらこの透水試験は潔し fact12: もしもなんらかの物が運搬ならばそれは戦績だ fact13: 「あの二階屋は拉致問題でない」ということは本当でないなら「それは御宜しい」ということは正しい fact14: この透水試験は幼い fact15: 「表示し為さるがしかし治山でない」ものはある fact16: 「めぼしくないしその上ポツダム会議でない」ものがあるとしたらこの透水試験は獲得出来る fact17: なんらかのものは信用逼迫でなくて日用雑貨であるということはない fact18: あの腹式呼吸は表示し為さる fact19: 「仮にこの透水試験が巻きするとすればこの透水試験は潔し」ということは正しい fact20: もしなんらかのものが潔しとしたらそれは理解し易い fact21: 「治山でない」物はある fact22: もしもこの透水試験が据え付けるなら一メガトンである fact23: 「すべての物は目敏いしその上計算書類である」ということは偽でない
fact5 & fact9 -> int1: 「この透水試験は潔し」ということは真実だ; fact20 -> int2: もし仮にこの透水試験は潔しとしたら「それは理解し易い」ということは成り立つ; int1 & int2 -> hypothesis;
fact5 & fact9 -> int1: {C}{a}; fact20 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
この透水試験は理解し易くない
fact24 -> int3: その粉チーズは目敏いし計算書類である; int3 -> int4: その粉チーズは目敏い; fact25 & int4 -> int5: この大島殿は治山であるけどそれは潔しない; int5 -> int6: この大島殿は治山である; int6 -> int7: 「この大島殿は治山であるかまたは表示し為さる」ということは確かだ; int7 -> int8: 何かは治山であるかまたは表示し為さるかまたは両方ともだ;
$facts$ = fact1: もしとあるものが渡り掛けるということはなくてそれに馬鹿馬鹿しいということはないならばこの透水試験は治山である fact2: 「手足口病でなくて加えて噴出しない」ものはある fact3: この職業観は理解し易い fact4: もし仮にその粉チーズが目敏いとすればあの大島殿は治山であるけど潔しない fact5: とあるものは表示し為さらなくて治山であるということはない fact6: もし仮にこの透水試験が実行し易いとすれば探し易い fact7: 「自然らしくないし加えて肩入れでない」ものはある fact8: この透水試験は表示し為さる fact9: もしも「「表示し為さらないしおまけに治山でない」ということは誤りであるということはない」ものがあるとすればこの透水試験は潔し fact10: この透水試験は同情出来る fact11: もし仮に「表示し為さらなくて治山である」物があるとしたらこの透水試験は潔し fact12: もしもなんらかの物が運搬ならばそれは戦績だ fact13: 「あの二階屋は拉致問題でない」ということは本当でないなら「それは御宜しい」ということは正しい fact14: この透水試験は幼い fact15: 「表示し為さるがしかし治山でない」ものはある fact16: 「めぼしくないしその上ポツダム会議でない」ものがあるとしたらこの透水試験は獲得出来る fact17: なんらかのものは信用逼迫でなくて日用雑貨であるということはない fact18: あの腹式呼吸は表示し為さる fact19: 「仮にこの透水試験が巻きするとすればこの透水試験は潔し」ということは正しい fact20: もしなんらかのものが潔しとしたらそれは理解し易い fact21: 「治山でない」物はある fact22: もしもこの透水試験が据え付けるなら一メガトンである fact23: 「すべての物は目敏いしその上計算書類である」ということは偽でない ; $hypothesis$ = この透水試験は理解し易い ; $proof$ = 
fact5 & fact9 -> int1: 「この透水試験は潔し」ということは真実だ; fact20 -> int2: もし仮にこの透水試験は潔しとしたら「それは理解し易い」ということは成り立つ; int1 & int2 -> 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: 「すべての物は目敏いしその上計算書類である」ということは偽でない

仮説: この透水試験は理解し易い
1. 事実5と事実9から、推論1: "「この透水試験は潔し」ということは真実だ"が導かれる
2. 事実20から、推論2: "もし仮にこの透水試験は潔しとしたら「それは理解し易い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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