「その恒産は細かいが悔しがらない」ということは嘘だ
fact1: もし仮になにがしかの物は着直さないなら「それは悔しがるし更に箴言だ」ということは事実と異なる fact2: もし仮にあるものは書物でないとすれば「飲み掛けるしそれは環境因子でない」ということは間違いである fact3: 「その恒産は方向転換しないがしかし原価計算制度である」ということは成り立たないとすればその老人研修は方向転換しない fact4: 仮にこのオークスが抄訳でない一方でそれが濃いとしたらその老人研修は細かいということはない fact5: もし仮にその老人研修は方向転換しないとしたら「この路面は見付け難いししかも淀み無い」ということは間違っている fact6: あの戦闘部隊は着直さない fact7: もし「細かくない」物があるとしたらその恒産は抄訳だということはない fact8: 「あの出力端子は飲み掛けるけれど環境因子でない」ということは成り立たないとしたらその恒産は飲み掛けない fact9: 「なにかは見付け難いし加えてそれは淀み無い」ということは成り立たないとすると「それは見付け難いということはない」ということは確かだ fact10: あの出力端子は汲み出すがしかし書物でない fact11: 細かくないものは濃くないしさらに抄訳でない fact12: もし仮に「すばしこくないかもしくは象るかまたは両方ともな」物があるならこのオークスは箴言でない fact13: もしその老人研修は細かくないならば「その恒産は細かいけど悔しがらない」ということは事実と異なる fact14: その老人研修は細かくないならば「その恒産は細かくて加えて悔しがる」ということは成り立たない fact15: 仮になんらかの物は飲み掛けないとしたら「それは方向転換しないけれど原価計算制度だ」ということは偽である fact16: もしあの戦闘部隊が想起しないかもしくは抄訳であるかまたはどちらもならばその恒産は抄訳だということはない fact17: なにかはすばしこいか着直すか両方である fact18: もしもあの戦闘部隊が濃くないし抄訳でないとするとこのオークスは着直さない fact19: もしもこのオークスは箴言でないとすると抄訳でないけど濃い fact20: このオークスは着直さない fact21: もしも「ある物は悔しがるし更に箴言だ」ということは成り立たないとすればそれは悔しがらない fact22: もし仮に「「引かすしかつ想起する」ということは間違っている」物があるならあの戦闘部隊は細かくない fact23: もしあの戦闘部隊が着直さないとしたらこの路面はすばしこくないかそれは象るか両方だ fact24: 仮にあるものは見付け難くないなら「引かすし加えて想起する」ということは成り立たない
fact23 & fact6 -> int1: この路面はすばしこくないかまたは象るかどちらもだ; int1 -> int2: 「とある物はすばしこくないかまたは象るかあるいはどちらもである」ということは成り立つ; int2 & fact12 -> int3: このオークスは箴言でない; int3 & fact19 -> int4: このオークスは抄訳であるということはないけれど濃い; int4 & fact4 -> int5: その老人研修は細かいということはない; int5 & fact13 -> hypothesis;
その恒産は細かいが悔しがらない
$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: 仮にあるものは見付け難くないなら「引かすし加えて想起する」ということは成り立たない ; $hypothesis$ = 「その恒産は細かいが悔しがらない」ということは嘘だ ; $proof$ = 
fact23 & fact6 -> int1: この路面はすばしこくないかまたは象るかどちらもだ; int1 -> int2: 「とある物はすばしこくないかまたは象るかあるいはどちらもである」ということは成り立つ; int2 & fact12 -> int3: このオークスは箴言でない; int3 & fact19 -> int4: このオークスは抄訳であるということはないけれど濃い; int4 & fact4 -> int5: その老人研修は細かいということはない; int5 & fact13 -> 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: 仮にあるものは見付け難くないなら「引かすし加えて想起する」ということは成り立たない

仮説: 「その恒産は細かいが悔しがらない」ということは嘘だ
1. 事実23と事実6から、推論1: "この路面はすばしこくないかまたは象るかどちらもだ"が導かれる
2. 推論1から、推論2: "「とある物はすばしこくないかまたは象るかあるいはどちらもである」ということは成り立つ"が導かれる
3. 推論2と事実12から、推論3: "このオークスは箴言でない"が導かれる
4. 推論3と事実19から、推論4: "このオークスは抄訳であるということはないけれど濃い"が導かれる
5. 推論4と事実4から、推論5: "その老人研修は細かいということはない"が導かれる
6. 推論5と事実13から、仮説が導かれる

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