「このリンパ流は根気良いということはない」ということは成り立つ
fact1: 「その岩は収公しない一方で面白い」ということは偽である fact2: もし仮にあるものが切り離し難くないとすれば根気良くて抗ＣＤである fact3: 仮にこのリンパ流が注がないとすると根気良い fact4: その岩は認め難くないしそれに根気良くない fact5: その岩は取り引き高であるし加えてそれは切り離し難い fact6: もしその岩は収公するがしかし面白いということはないとするとそれは抗ＣＤでない fact7: もし仮に「その岩は収公しないしそれは面白くない」ということは成り立たないならこのリンパ流は根気良くない fact8: その岩が注はない fact9: もしも抗ＣＤが収公するということはないならばそれが注はない fact10: もしなにがしかの物が収公しないけれどそれが面白いならそれは抗ＣＤでない fact11: もしもなんらかのものは収公しないししかも面白くないとすると抗ＣＤでない fact12: もし仮にその岩が注がないならばそれは切り離し難い抗ＣＤである fact13: 「仮にその岩が収公しないが面白いならばその岩は抗ＣＤでない」ということは成り立つ
fact11 -> int1: もしその岩は収公しないしかつ面白くないとしたら抗ＣＤでない; void -> assump1: 以下のように仮定する。その岩は収公しなくてそれにそれは面白くない; int1 & assump1 -> int2: その岩は抗ＣＤでない; fact12 & fact8 -> int3: その岩は切り離し難くて更にそれは抗ＣＤだ; int3 -> int4: その岩は抗ＣＤである; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その岩は収公しないしその上面白くない」ということは成り立たない; int6 & fact7 -> hypothesis;
このリンパ流は根気良い
fact14 -> int7: もし仮にこのリンパ流が切り離し難くないとするとそれが根気良いしその上抗ＣＤだ;
$facts$ = fact1: 「その岩は収公しない一方で面白い」ということは偽である fact2: もし仮にあるものが切り離し難くないとすれば根気良くて抗ＣＤである fact3: 仮にこのリンパ流が注がないとすると根気良い fact4: その岩は認め難くないしそれに根気良くない fact5: その岩は取り引き高であるし加えてそれは切り離し難い fact6: もしその岩は収公するがしかし面白いということはないとするとそれは抗ＣＤでない fact7: もし仮に「その岩は収公しないしそれは面白くない」ということは成り立たないならこのリンパ流は根気良くない fact8: その岩が注はない fact9: もしも抗ＣＤが収公するということはないならばそれが注はない fact10: もしなにがしかの物が収公しないけれどそれが面白いならそれは抗ＣＤでない fact11: もしもなんらかのものは収公しないししかも面白くないとすると抗ＣＤでない fact12: もし仮にその岩が注がないならばそれは切り離し難い抗ＣＤである fact13: 「仮にその岩が収公しないが面白いならばその岩は抗ＣＤでない」ということは成り立つ ; $hypothesis$ = 「このリンパ流は根気良いということはない」ということは成り立つ ; $proof$ = 
fact11 -> int1: もしその岩は収公しないしかつ面白くないとしたら抗ＣＤでない; void -> assump1: 以下のように仮定する。その岩は収公しなくてそれにそれは面白くない; int1 & assump1 -> int2: その岩は抗ＣＤでない; fact12 & fact8 -> int3: その岩は切り離し難くて更にそれは抗ＣＤだ; int3 -> int4: その岩は抗ＣＤである; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その岩は収公しないしその上面白くない」ということは成り立たない; int6 & fact7 -> hypothesis; __PROVED__
事実1: 「その岩は収公しない一方で面白い」ということは偽である
事実2: もし仮にあるものが切り離し難くないとすれば根気良くて抗ＣＤである
事実3: 仮にこのリンパ流が注がないとすると根気良い
事実4: その岩は認め難くないしそれに根気良くない
事実5: その岩は取り引き高であるし加えてそれは切り離し難い
事実6: もしその岩は収公するがしかし面白いということはないとするとそれは抗ＣＤでない
事実7: もし仮に「その岩は収公しないしそれは面白くない」ということは成り立たないならこのリンパ流は根気良くない
事実8: その岩が注はない
事実9: もしも抗ＣＤが収公するということはないならばそれが注はない
事実10: もしなにがしかの物が収公しないけれどそれが面白いならそれは抗ＣＤでない
事実11: もしもなんらかのものは収公しないししかも面白くないとすると抗ＣＤでない
事実12: もし仮にその岩が注がないならばそれは切り離し難い抗ＣＤである
事実13: 「仮にその岩が収公しないが面白いならばその岩は抗ＣＤでない」ということは成り立つ

仮説: 「このリンパ流は根気良いということはない」ということは成り立つ
1. 事実11から、推論1: "もしその岩は収公しないしかつ面白くないとしたら抗ＣＤでない"が導かれる
2. 仮定1: 以下のように仮定する。その岩は収公しなくてそれにそれは面白くない
3. 推論1と仮定1から、推論2: "その岩は抗ＣＤでない"が導かれる
4. 事実12と事実8から、推論3: "その岩は切り離し難くて更にそれは抗ＣＤだ"が導かれる
5. 推論3から、推論4: "その岩は抗ＣＤである"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その岩は収公しないしその上面白くない」ということは成り立たない"が導かれる
8. 推論6と事実7から、仮説が導かれる

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