この短時間持続注入は軽し
fact1: もしもそのＲエコが見返るとしたらこの短時間持続注入は軽し fact2: もしあの土地管理局が書き下ろさないとするとその有酸素能力は見返る fact3: 仮にその有酸素能力は書き下ろさないなら「あの土地管理局は見返るし書き下ろす」ということは成り立つということはない fact4: もしその有酸素能力が船眼であるということはないならこの費用削減は軽しかまたはそれは見返るかもしくはどちらもだ fact5: 「「傾き易いかまたは消化吸収され易くない」ということは偽な」物はある fact6: あの土地管理局は軽し fact7: もしこの費用削減が見返らないならそのＲエコは煎じ詰める fact8: もしもなんらかのものは手緩いならば「煎じ詰めないかあるいはそれは書き下ろすかもしくはどちらもだ」ということは本当でない fact9: その有酸素能力は軽ししさらに書き下ろす fact10: もしも「その有酸素能力は見返るということはないし加えて船眼であるということはない」ということは確かだということはないならこの費用削減は煎じ詰めない fact11: もし「「傾き易いかあるいは消化吸収され易くない」ということは嘘である」ものがあるならばあの費用削減は船眼でない fact12: 「「見返るかまたは煎じ詰めるということはない」ということは嘘である」物はある fact13: もし仮に「「船眼であるかまたは軽しということはないかもしくはどちらもである」ということは間違いな」物があるとするとこの短時間持続注入は書き下ろさない fact14: 「この短時間持続注入は船眼であるし加えてそれは軽し」ということは成り立たない fact15: もしも「なんらかの物は煎じ詰めるということはないかあるいはそれは書き下ろすかまたはどちらもである」ということは成り立たないならば船眼でない fact16: あの土地管理局が見返らないとするとそのＲエコは煎じ詰めるしそれは見返る fact17: もし「その有酸素能力は書き下ろすし船眼だ」ということは成り立たないならばあの土地管理局は見返らない fact18: 「そのＲエコは見返るし更に軽し」ということは成り立つということはない fact19: 「「煎じ詰めるか軽しないかまたは両方である」ということは真実でない」物があるとするとこの費用削減は船眼でない fact20: 「「煎じ詰めるか見返るということはない」ということは間違いである」ものはある fact21: 仮にこの費用削減は船眼でないとしたら「その有酸素能力は書き下ろすし更に船眼だ」ということは成り立たない fact22: この短時間持続注入は空恐ろしくてそれは海軍工廠だ
fact5 & fact11 -> int1: この費用削減は船眼でない; int1 & fact21 -> int2: 「その有酸素能力は書き下ろすしそれに船眼である」ということは間違っている; int2 & fact17 -> int3: 「あの土地管理局は見返らない」ということは成り立つ; int3 & fact16 -> int4: そのＲエコは煎じ詰めるししかも見返る; int4 -> int5: そのＲエコは見返る; int5 & fact1 -> hypothesis;
この短時間持続注入は軽しない
fact25 -> int6: もしも「その有酸素能力は煎じ詰めるということはないかそれは書き下ろすかどちらもである」ということは誤りであるとすればそれは船眼であるということはない; fact24 -> int7: 仮にその有酸素能力は手緩いとすれば「煎じ詰めないか書き下ろすか両方だ」ということは成り立たない;
$facts$ = fact1: もしもそのＲエコが見返るとしたらこの短時間持続注入は軽し fact2: もしあの土地管理局が書き下ろさないとするとその有酸素能力は見返る fact3: 仮にその有酸素能力は書き下ろさないなら「あの土地管理局は見返るし書き下ろす」ということは成り立つということはない fact4: もしその有酸素能力が船眼であるということはないならこの費用削減は軽しかまたはそれは見返るかもしくはどちらもだ fact5: 「「傾き易いかまたは消化吸収され易くない」ということは偽な」物はある fact6: あの土地管理局は軽し fact7: もしこの費用削減が見返らないならそのＲエコは煎じ詰める fact8: もしもなんらかのものは手緩いならば「煎じ詰めないかあるいはそれは書き下ろすかもしくはどちらもだ」ということは本当でない fact9: その有酸素能力は軽ししさらに書き下ろす fact10: もしも「その有酸素能力は見返るということはないし加えて船眼であるということはない」ということは確かだということはないならこの費用削減は煎じ詰めない fact11: もし「「傾き易いかあるいは消化吸収され易くない」ということは嘘である」ものがあるならばあの費用削減は船眼でない fact12: 「「見返るかまたは煎じ詰めるということはない」ということは嘘である」物はある fact13: もし仮に「「船眼であるかまたは軽しということはないかもしくはどちらもである」ということは間違いな」物があるとするとこの短時間持続注入は書き下ろさない fact14: 「この短時間持続注入は船眼であるし加えてそれは軽し」ということは成り立たない fact15: もしも「なんらかの物は煎じ詰めるということはないかあるいはそれは書き下ろすかまたはどちらもである」ということは成り立たないならば船眼でない fact16: あの土地管理局が見返らないとするとそのＲエコは煎じ詰めるしそれは見返る fact17: もし「その有酸素能力は書き下ろすし船眼だ」ということは成り立たないならばあの土地管理局は見返らない fact18: 「そのＲエコは見返るし更に軽し」ということは成り立つということはない fact19: 「「煎じ詰めるか軽しないかまたは両方である」ということは真実でない」物があるとするとこの費用削減は船眼でない fact20: 「「煎じ詰めるか見返るということはない」ということは間違いである」ものはある fact21: 仮にこの費用削減は船眼でないとしたら「その有酸素能力は書き下ろすし更に船眼だ」ということは成り立たない fact22: この短時間持続注入は空恐ろしくてそれは海軍工廠だ ; $hypothesis$ = この短時間持続注入は軽し ; $proof$ = 
fact5 & fact11 -> int1: この費用削減は船眼でない; int1 & fact21 -> int2: 「その有酸素能力は書き下ろすしそれに船眼である」ということは間違っている; int2 & fact17 -> int3: 「あの土地管理局は見返らない」ということは成り立つ; int3 & fact16 -> int4: そのＲエコは煎じ詰めるししかも見返る; int4 -> int5: そのＲエコは見返る; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしもそのＲエコが見返るとしたらこの短時間持続注入は軽し
事実2: もしあの土地管理局が書き下ろさないとするとその有酸素能力は見返る
事実3: 仮にその有酸素能力は書き下ろさないなら「あの土地管理局は見返るし書き下ろす」ということは成り立つということはない
事実4: もしその有酸素能力が船眼であるということはないならこの費用削減は軽しかまたはそれは見返るかもしくはどちらもだ
事実5: 「「傾き易いかまたは消化吸収され易くない」ということは偽な」物はある
事実6: あの土地管理局は軽し
事実7: もしこの費用削減が見返らないならそのＲエコは煎じ詰める
事実8: もしもなんらかのものは手緩いならば「煎じ詰めないかあるいはそれは書き下ろすかもしくはどちらもだ」ということは本当でない
事実9: その有酸素能力は軽ししさらに書き下ろす
事実10: もしも「その有酸素能力は見返るということはないし加えて船眼であるということはない」ということは確かだということはないならこの費用削減は煎じ詰めない
事実11: もし「「傾き易いかあるいは消化吸収され易くない」ということは嘘である」ものがあるならばあの費用削減は船眼でない
事実12: 「「見返るかまたは煎じ詰めるということはない」ということは嘘である」物はある
事実13: もし仮に「「船眼であるかまたは軽しということはないかもしくはどちらもである」ということは間違いな」物があるとするとこの短時間持続注入は書き下ろさない
事実14: 「この短時間持続注入は船眼であるし加えてそれは軽し」ということは成り立たない
事実15: もしも「なんらかの物は煎じ詰めるということはないかあるいはそれは書き下ろすかまたはどちらもである」ということは成り立たないならば船眼でない
事実16: あの土地管理局が見返らないとするとそのＲエコは煎じ詰めるしそれは見返る
事実17: もし「その有酸素能力は書き下ろすし船眼だ」ということは成り立たないならばあの土地管理局は見返らない
事実18: 「そのＲエコは見返るし更に軽し」ということは成り立つということはない
事実19: 「「煎じ詰めるか軽しないかまたは両方である」ということは真実でない」物があるとするとこの費用削減は船眼でない
事実20: 「「煎じ詰めるか見返るということはない」ということは間違いである」ものはある
事実21: 仮にこの費用削減は船眼でないとしたら「その有酸素能力は書き下ろすし更に船眼だ」ということは成り立たない
事実22: この短時間持続注入は空恐ろしくてそれは海軍工廠だ

仮説: この短時間持続注入は軽し
1. 事実5と事実11から、推論1: "この費用削減は船眼でない"が導かれる
2. 推論1と事実21から、推論2: "「その有酸素能力は書き下ろすしそれに船眼である」ということは間違っている"が導かれる
3. 推論2と事実17から、推論3: "「あの土地管理局は見返らない」ということは成り立つ"が導かれる
4. 推論3と事実16から、推論4: "そのＲエコは煎じ詰めるししかも見返る"が導かれる
5. 推論4から、推論5: "そのＲエコは見返る"が導かれる
6. 推論5と事実1から、仮説が導かれる

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