この百分の九十五以上はあからさま過ぎない一方で知見だ
fact1: もしその結婚運があからさま過ぎるとすればこの百分の九十五以上はあからさま過ぎない fact2: その結婚運はコングレスでない fact3: あの欠勤は日本歴史だ fact4: 仮に何かは姉らしいということはないとしたら「それはあからさま過ぎないしそれにそれは知見だ」ということは偽である fact5: もしその結婚運は伸び縮みでなくて加えて我慢し為さるということはないとすれば見出だし難い fact6: もしもその結婚運があからさま過ぎるとするとこの百分の九十五以上はあからさま過ぎるということはないが知見だ fact7: 仮にこの百分の九十五以上が押し易いとしたらおっきいということはない fact8: もしも「なんらかのものは伸び縮みでないし我慢し為さらない」ということは誤りならそれは日本歴史だ fact9: その結婚運は心置き無くないけれど御詳しい fact10: なにがしかの物は日本歴史であるとすればあからさま過ぎる fact11: この百分の九十五以上はあからさま過ぎなくて更にそれは伸び縮みでない fact12: もしも「なんらかのものは見出だし難くて加えて姉らしい」ということは成り立たないとしたら姉らしくない fact13: もしあの欠勤は日本歴史であるならば「そのα‐Ｘ曲線は上り出すということはないけれど姉らしい」ということは成り立たない fact14: もし仮に「なにかは見出だし難いかもしくは尊い」ということは成り立つなら我慢し為さらない fact15: もしも「その結婚運はコングレスでない」ということは事実なら尊いし更にそれは上り出す fact16: 「あの非暴力的不服従運動はコングレスである」ということは偽でない fact17: この百分の九十五以上はあからさま過ぎない fact18: 仮になんらかのものが見出だし難いかあるいは姉らしいか両方だとしたら上り出さない fact19: 仮にその結婚運が我慢し為さるとすればそれは日本歴史である fact20: この百分の九十五以上はコングレスであるか粉っぽい fact21: あの四百五十人は我慢し為さるかそれは表示形式であるかもしくはどちらもである fact22: 仮にその結婚運がぶよぶよするけど農林漁業団体統制要綱でないならばそれは小正月行事である fact23: もし何らかの物があからさま過ぎれば知見でない
void -> assump1: 以下のように仮定する。その結婚運は伸び縮みであるということはなくてかつそれは我慢し為さらない; fact5 & assump1 -> int1: その結婚運は見出だし難い; int1 -> int2: その結婚運は見出だし難いかもしくはそれは姉らしいかあるいは両方ともである; fact18 -> int3: もし仮にその結婚運が見出だし難いかあるいは姉らしいとしたら上り出すということはない; int2 & int3 -> int4: その結婚運は上り出さない; fact2 & fact15 -> int5: その結婚運は尊いしそれは上り出す; int5 -> int6: その結婚運は上り出す; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その結婚運は伸び縮みでないし我慢し為さらない」ということは誤っている; fact8 -> int9: 「その結婚運は伸び縮みでないし更に我慢し為さらない」ということは事実と異なるとしたらそれは日本歴史である; int8 & int9 -> int10: その結婚運は日本歴史である; fact10 -> int11: その結婚運は日本歴史であるならそれはあからさま過ぎる; int10 & int11 -> int12: その結婚運はあからさま過ぎる; int12 & fact6 -> hypothesis;
「この百分の九十五以上はあからさま過ぎないけど知見だ」ということは誤りである
fact26 -> int13: もし仮にこの百分の九十五以上は姉らしくないならば「それはあからさま過ぎない一方で知見である」ということは成り立たない; fact27 -> int14: もし仮に「この百分の九十五以上は見出だし難いしそれは姉らしい」ということは偽なら姉らしくない; fact24 & fact25 -> int15: 「そのα‐Ｘ曲線は上り出さないがそれは姉らしい」ということは成り立たない; int15 -> int16: 「「上り出さないけれど姉らしい」ということは成り立たない」物はある;
$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$ = 
void -> assump1: 以下のように仮定する。その結婚運は伸び縮みであるということはなくてかつそれは我慢し為さらない; fact5 & assump1 -> int1: その結婚運は見出だし難い; int1 -> int2: その結婚運は見出だし難いかもしくはそれは姉らしいかあるいは両方ともである; fact18 -> int3: もし仮にその結婚運が見出だし難いかあるいは姉らしいとしたら上り出すということはない; int2 & int3 -> int4: その結婚運は上り出さない; fact2 & fact15 -> int5: その結婚運は尊いしそれは上り出す; int5 -> int6: その結婚運は上り出す; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その結婚運は伸び縮みでないし我慢し為さらない」ということは誤っている; fact8 -> int9: 「その結婚運は伸び縮みでないし更に我慢し為さらない」ということは事実と異なるとしたらそれは日本歴史である; int8 & int9 -> int10: その結婚運は日本歴史である; fact10 -> int11: その結婚運は日本歴史であるならそれはあからさま過ぎる; int10 & int11 -> int12: その結婚運はあからさま過ぎる; int12 & fact6 -> 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. 仮定1: 以下のように仮定する。その結婚運は伸び縮みであるということはなくてかつそれは我慢し為さらない
2. 事実5と仮定1から、推論1: "その結婚運は見出だし難い"が導かれる
3. 推論1から、推論2: "その結婚運は見出だし難いかもしくはそれは姉らしいかあるいは両方ともである"が導かれる
4. 事実18から、推論3: "もし仮にその結婚運が見出だし難いかあるいは姉らしいとしたら上り出すということはない"が導かれる
5. 推論2と推論3から、推論4: "その結婚運は上り出さない"が導かれる
6. 事実2と事実15から、推論5: "その結婚運は尊いしそれは上り出す"が導かれる
7. 推論5から、推論6: "その結婚運は上り出す"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その結婚運は伸び縮みでないし我慢し為さらない」ということは誤っている"が導かれる
10. 事実8から、推論9: "「その結婚運は伸び縮みでないし更に我慢し為さらない」ということは事実と異なるとしたらそれは日本歴史である"が導かれる
11. 推論8と推論9から、推論10: "その結婚運は日本歴史である"が導かれる
12. 事実10から、推論11: "その結婚運は日本歴史であるならそれはあからさま過ぎる"が導かれる
13. 推論10と推論11から、推論12: "その結婚運はあからさま過ぎる"が導かれる
14. 推論12と事実6から、仮説が導かれる

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