あのステッキは強くない
fact1: そのリキッドは量り売りでないがしかし分析する fact2: もしそのリキッドが固定資本でないとすると領野だしまたそれは夢窓国師だ fact3: 「なにがしかの物は発症し易くないしおまけに使い古さない」ということは成り立たないとすればそれは量り売りでない fact4: 仮になんらかのものは開花するとすると「納骨しなくて加えてそれは用心深い」ということは成り立たない fact5: あの詞薩等がフルーツトマトでないかもしくはそれがささくれるならばあのステッキは強くない fact6: そのリキッドは成され易くないしそれは交際費であるということはない fact7: もし仮に何らかのものは量り売りでないとすると「それは分析する一方で強くない」ということは成り立たない fact8: 仮に「あの詞薩等はフルーツトマトでないかあるいはささくれるか両方ともである」ということは嘘ならそのリキッドは量り売りだ fact9: 仮に「あのステッキは分析するけど強くない」ということは成り立たないならばそれは強い fact10: 仮にそのリキッドが領野ならばあの詞薩等は開花する fact11: あの詞薩等はフルーツトマトである fact12: そのリキッドは成され易くないしその上交際費でないとしたら「それは固定資本でない」ということは本当である fact13: もしなにがしかの物は用心深くないならば「「発症し易くないしまた使い古さない」ということは確かである」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの詞薩等はフルーツトマトでないかまたはささくれるかまたはどちらもだ」ということは誤っている; fact8 & assump1 -> int1: そのリキッドは量り売りだ; fact1 -> int2: そのリキッドは量り売りでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの詞薩等はフルーツトマトでないかまたはささくれるか両方ともである; int4 & fact5 -> hypothesis;
「あのステッキは強い」ということは成り立つ
fact16 -> int5: 仮にあのステッキは量り売りでないならば「それは分析するししかもそれは強いということはない」ということは成り立たない; fact15 -> int6: 「「あのステッキは発症し易くないしそれに使い古さない」ということは事実でない」ということは真実だとするとそれは量り売りでない; fact18 -> int7: もしもあのステッキは用心深くないならば「発症し易くないしそれにそれは使い古さない」ということは事実と異なる; fact17 -> int8: もしあの詞薩等は開花するなら「納骨しないが用心深い」ということは誤りだ; fact14 & fact19 -> int9: 「そのリキッドは固定資本でない」ということは確かだ; fact21 & int9 -> int10: そのリキッドは領野であるしおまけに夢窓国師だ; int10 -> int11: そのリキッドは領野である; fact20 & int11 -> int12: あの詞薩等は開花する; int8 & int12 -> int13: 「あの詞薩等は納骨しない一方で用心深い」ということは偽だ; int13 -> int14: 「「納骨しないが用心深い」ということは成り立つということはない」物はある;
$facts$ = fact1: そのリキッドは量り売りでないがしかし分析する fact2: もしそのリキッドが固定資本でないとすると領野だしまたそれは夢窓国師だ fact3: 「なにがしかの物は発症し易くないしおまけに使い古さない」ということは成り立たないとすればそれは量り売りでない fact4: 仮になんらかのものは開花するとすると「納骨しなくて加えてそれは用心深い」ということは成り立たない fact5: あの詞薩等がフルーツトマトでないかもしくはそれがささくれるならばあのステッキは強くない fact6: そのリキッドは成され易くないしそれは交際費であるということはない fact7: もし仮に何らかのものは量り売りでないとすると「それは分析する一方で強くない」ということは成り立たない fact8: 仮に「あの詞薩等はフルーツトマトでないかあるいはささくれるか両方ともである」ということは嘘ならそのリキッドは量り売りだ fact9: 仮に「あのステッキは分析するけど強くない」ということは成り立たないならばそれは強い fact10: 仮にそのリキッドが領野ならばあの詞薩等は開花する fact11: あの詞薩等はフルーツトマトである fact12: そのリキッドは成され易くないしその上交際費でないとしたら「それは固定資本でない」ということは本当である fact13: もしなにがしかの物は用心深くないならば「「発症し易くないしまた使い古さない」ということは確かである」ということは成り立たない ; $hypothesis$ = あのステッキは強くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの詞薩等はフルーツトマトでないかまたはささくれるかまたはどちらもだ」ということは誤っている; fact8 & assump1 -> int1: そのリキッドは量り売りだ; fact1 -> int2: そのリキッドは量り売りでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの詞薩等はフルーツトマトでないかまたはささくれるか両方ともである; int4 & fact5 -> hypothesis; __PROVED__
事実1: そのリキッドは量り売りでないがしかし分析する
事実2: もしそのリキッドが固定資本でないとすると領野だしまたそれは夢窓国師だ
事実3: 「なにがしかの物は発症し易くないしおまけに使い古さない」ということは成り立たないとすればそれは量り売りでない
事実4: 仮になんらかのものは開花するとすると「納骨しなくて加えてそれは用心深い」ということは成り立たない
事実5: あの詞薩等がフルーツトマトでないかもしくはそれがささくれるならばあのステッキは強くない
事実6: そのリキッドは成され易くないしそれは交際費であるということはない
事実7: もし仮に何らかのものは量り売りでないとすると「それは分析する一方で強くない」ということは成り立たない
事実8: 仮に「あの詞薩等はフルーツトマトでないかあるいはささくれるか両方ともである」ということは嘘ならそのリキッドは量り売りだ
事実9: 仮に「あのステッキは分析するけど強くない」ということは成り立たないならばそれは強い
事実10: 仮にそのリキッドが領野ならばあの詞薩等は開花する
事実11: あの詞薩等はフルーツトマトである
事実12: そのリキッドは成され易くないしその上交際費でないとしたら「それは固定資本でない」ということは本当である
事実13: もしなにがしかの物は用心深くないならば「「発症し易くないしまた使い古さない」ということは確かである」ということは成り立たない

仮説: あのステッキは強くない
1. 仮定1: 以下のように仮定する。「あの詞薩等はフルーツトマトでないかまたはささくれるかまたはどちらもだ」ということは誤っている
2. 事実8と仮定1から、推論1: "そのリキッドは量り売りだ"が導かれる
3. 事実1から、推論2: "そのリキッドは量り売りでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの詞薩等はフルーツトマトでないかまたはささくれるか両方ともである"が導かれる
6. 推論4と事実5から、仮説が導かれる

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