「もし仮に「通ずる」ということは成り立つなら若者らしい」物はある
fact1: もし仮にその遣る瀬が填補するならそれはスポーティさだ fact2: 「「「その義務不履行は若者らしいかあるいはそれは一次元配列であるということはない」ということは確かだ」ということは誤っている」ということは成り立つ fact3: 「あるものは展開し易いか心付けでない」ということは成り立たないならそれは若者らしい fact4: 「もしもヒヤリングするとすれば造影晩期相な」ものはある fact5: もし仮にその蕾様が絶するならあの低廉化は逆浸透膜である fact6: 「この妖術は晒され易い」ということは誤りでないならば心付けである fact7: 食べ易い物は若者らしくないし通ぜない fact8: その遣る瀬は展開し易くない fact9: もしも「何らかのものは食べ易くないかまたは物憂くないかまたは両方である」ということは嘘であるならば通ぜない fact10: その遣る瀬が通ずるとすると展開し易くない fact11: もし仮にその普通名称は使用し易いとすると「それは性状であるかもしくは通ずるということはないかもしくは両方である」ということは間違っている fact12: その五つ以上は通ずる fact13: 仮にその遣る瀬は労労じとしたら「心付けであるかもしくはヒヤリングしないかまたはどちらもだ」ということは嘘である fact14: もし仮に何らかのものが通ずるなら展開し易くない fact15: その遣る瀬は江南各地だ fact16: もしもこの初等後教育が製品技術であるがそれが若者らしくないとすればその遣る瀬は製品技術である fact17: なにがしかのものは逆浸透膜であるとすると「それは食べ易くないかあるいは物憂くないかどちらもである」ということは成り立たない fact18: 仮になにかは通ずるとすると「展開し易いかあるいは心付けでない」ということは成り立たない
fact18 -> int1: その遣る瀬は通ずれば「展開し易いかあるいは心付けでないか両方ともだ」ということは誤りである; void -> assump1: 以下のように仮定する。「その遣る瀬は通ずる」ということは本当である; int1 & assump1 -> int2: 「その遣る瀬は展開し易いか心付けだということはない」ということは誤りだ; fact3 -> int3: 仮に「その遣る瀬は展開し易いかあるいは心付けでない」ということは成り立たないなら「若者らしい」ということは真実だ; int2 & int3 -> int4: その遣る瀬は若者らしい; [assump1] & int4 -> int5: その遣る瀬は通ずれば「それは若者らしい」ということは成り立つ; int5 -> hypothesis;
その遣る瀬は製品技術だ
fact20 -> int6: もしも「あの低廉化は食べ易くないかもしくは物憂くないかどちらもだ」ということは嘘ならば通ぜない; fact19 -> int7: もしあの低廉化は逆浸透膜であるならば「それは食べ易くないかまたは物憂くない」ということは誤りだ;
$facts$ = fact1: もし仮にその遣る瀬が填補するならそれはスポーティさだ fact2: 「「「その義務不履行は若者らしいかあるいはそれは一次元配列であるということはない」ということは確かだ」ということは誤っている」ということは成り立つ fact3: 「あるものは展開し易いか心付けでない」ということは成り立たないならそれは若者らしい fact4: 「もしもヒヤリングするとすれば造影晩期相な」ものはある fact5: もし仮にその蕾様が絶するならあの低廉化は逆浸透膜である fact6: 「この妖術は晒され易い」ということは誤りでないならば心付けである fact7: 食べ易い物は若者らしくないし通ぜない fact8: その遣る瀬は展開し易くない fact9: もしも「何らかのものは食べ易くないかまたは物憂くないかまたは両方である」ということは嘘であるならば通ぜない fact10: その遣る瀬が通ずるとすると展開し易くない fact11: もし仮にその普通名称は使用し易いとすると「それは性状であるかもしくは通ずるということはないかもしくは両方である」ということは間違っている fact12: その五つ以上は通ずる fact13: 仮にその遣る瀬は労労じとしたら「心付けであるかもしくはヒヤリングしないかまたはどちらもだ」ということは嘘である fact14: もし仮に何らかのものが通ずるなら展開し易くない fact15: その遣る瀬は江南各地だ fact16: もしもこの初等後教育が製品技術であるがそれが若者らしくないとすればその遣る瀬は製品技術である fact17: なにがしかのものは逆浸透膜であるとすると「それは食べ易くないかあるいは物憂くないかどちらもである」ということは成り立たない fact18: 仮になにかは通ずるとすると「展開し易いかあるいは心付けでない」ということは成り立たない ; $hypothesis$ = 「もし仮に「通ずる」ということは成り立つなら若者らしい」物はある ; $proof$ = 
fact18 -> int1: その遣る瀬は通ずれば「展開し易いかあるいは心付けでないか両方ともだ」ということは誤りである; void -> assump1: 以下のように仮定する。「その遣る瀬は通ずる」ということは本当である; int1 & assump1 -> int2: 「その遣る瀬は展開し易いか心付けだということはない」ということは誤りだ; fact3 -> int3: 仮に「その遣る瀬は展開し易いかあるいは心付けでない」ということは成り立たないなら「若者らしい」ということは真実だ; int2 & int3 -> int4: その遣る瀬は若者らしい; [assump1] & int4 -> int5: その遣る瀬は通ずれば「それは若者らしい」ということは成り立つ; int5 -> hypothesis; __PROVED__
事実1: もし仮にその遣る瀬が填補するならそれはスポーティさだ
事実2: 「「「その義務不履行は若者らしいかあるいはそれは一次元配列であるということはない」ということは確かだ」ということは誤っている」ということは成り立つ
事実3: 「あるものは展開し易いか心付けでない」ということは成り立たないならそれは若者らしい
事実4: 「もしもヒヤリングするとすれば造影晩期相な」ものはある
事実5: もし仮にその蕾様が絶するならあの低廉化は逆浸透膜である
事実6: 「この妖術は晒され易い」ということは誤りでないならば心付けである
事実7: 食べ易い物は若者らしくないし通ぜない
事実8: その遣る瀬は展開し易くない
事実9: もしも「何らかのものは食べ易くないかまたは物憂くないかまたは両方である」ということは嘘であるならば通ぜない
事実10: その遣る瀬が通ずるとすると展開し易くない
事実11: もし仮にその普通名称は使用し易いとすると「それは性状であるかもしくは通ずるということはないかもしくは両方である」ということは間違っている
事実12: その五つ以上は通ずる
事実13: 仮にその遣る瀬は労労じとしたら「心付けであるかもしくはヒヤリングしないかまたはどちらもだ」ということは嘘である
事実14: もし仮に何らかのものが通ずるなら展開し易くない
事実15: その遣る瀬は江南各地だ
事実16: もしもこの初等後教育が製品技術であるがそれが若者らしくないとすればその遣る瀬は製品技術である
事実17: なにがしかのものは逆浸透膜であるとすると「それは食べ易くないかあるいは物憂くないかどちらもである」ということは成り立たない
事実18: 仮になにかは通ずるとすると「展開し易いかあるいは心付けでない」ということは成り立たない

仮説: 「もし仮に「通ずる」ということは成り立つなら若者らしい」物はある
1. 事実18から、推論1: "その遣る瀬は通ずれば「展開し易いかあるいは心付けでないか両方ともだ」ということは誤りである"が導かれる
2. 仮定1: 以下のように仮定する。「その遣る瀬は通ずる」ということは本当である
3. 推論1と仮定1から、推論2: "「その遣る瀬は展開し易いか心付けだということはない」ということは誤りだ"が導かれる
4. 事実3から、推論3: "仮に「その遣る瀬は展開し易いかあるいは心付けでない」ということは成り立たないなら「若者らしい」ということは真実だ"が導かれる
5. 推論2と推論3から、推論4: "その遣る瀬は若者らしい"が導かれる
6. [仮定1]と推論4から、推論5: "その遣る瀬は通ずれば「それは若者らしい」ということは成り立つ"が導かれる
7. 推論5から、仮説が導かれる

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