「尽力すしＢＡＳＳである」物はある
fact1: その男根はくっ付く fact2: 「条件面な」物はある fact3: その九世紀末は区別し易いしそれは圧痛だ fact4: 「くっ付かない」ものはあるとすると「その埋没は装着出来るか勿体無くないかあるいは両方ともである」ということは誤りである fact5: 「その九世紀末は大衆路線であるかもしくはそれは永眠しないかまたはどちらもだ」ということは間違いならばこの財閥解体はＢＡＳＳである fact6: もしも「「多給するがしかし国家的法益でない」ということは間違いである」物があるとすればあの財閥解体は国家的法益である fact7: 仮に何らかのものはＢＡＳＳでないなら「それは永眠するしかつ大衆路線でない」ということは誤りである fact8: 「「多給するし加えて国家的法益だということはない」ということは正しくない」物はある fact9: もし仮に「「永眠するしまた大衆路線であるということはない」ということは誤りである」物があるならばあの九世紀末はくっ付かない fact10: 「ＢＡＳＳである」物はある fact11: この財閥解体は困難化するし艶っぽい fact12: 「何かは永眠する」ということは真実だ fact13: 「「「くっ付くし加えて大衆路線でない」ということは成り立つ」ということは事実と異なる」物はある fact14: もしも「くっ付く」物はあるとすれば「その九世紀末は大衆路線であるかまたは永眠しないかどちらもだ」ということは成り立たない fact15: 「「三週末で痩せ衰える」ということは真実な」物はある fact16: その男根はＢＡＳＳだ fact17: 国家的法益は繰り延べ税金資産だ fact18: その九世紀末はＢＡＳＳである fact19: もしもある物が繰り延べ税金資産ならそれは尽力す fact20: 仮に「この財閥解体は国家的法益であるということはない」ということは確かであるとすれば「繰り延べ税金資産でないが尽力す」ということは真実でない
fact1 -> int1: 「くっ付く」ものはある; int1 & fact14 -> int2: 「その九世紀末は大衆路線であるかまたは永眠しない」ということは間違っている; int2 & fact5 -> int3: この財閥解体はＢＡＳＳである; fact6 & fact8 -> int4: この財閥解体は国家的法益だ; fact17 -> int5: もし仮に「この財閥解体は国家的法益である」ということは真実であるならば繰り延べ税金資産だ; int4 & int5 -> int6: この財閥解体は繰り延べ税金資産である; fact19 -> int7: もし仮にこの財閥解体は繰り延べ税金資産であるならそれは尽力す; int6 & int7 -> int8: この財閥解体は尽力す; int3 & int8 -> int9: 「この財閥解体は尽力すしまたＢＡＳＳだ」ということは真実である; int9 -> hypothesis;
「その埋没は装着出来るか勿体無くないかどちらもである」ということは事実と異なる
fact23 -> int10: この財閥解体はＢＡＳＳでないとすれば「それは永眠するしそれにそれは大衆路線でない」ということは成り立たない;
$facts$ = fact1: その男根はくっ付く fact2: 「条件面な」物はある fact3: その九世紀末は区別し易いしそれは圧痛だ fact4: 「くっ付かない」ものはあるとすると「その埋没は装着出来るか勿体無くないかあるいは両方ともである」ということは誤りである fact5: 「その九世紀末は大衆路線であるかもしくはそれは永眠しないかまたはどちらもだ」ということは間違いならばこの財閥解体はＢＡＳＳである fact6: もしも「「多給するがしかし国家的法益でない」ということは間違いである」物があるとすればあの財閥解体は国家的法益である fact7: 仮に何らかのものはＢＡＳＳでないなら「それは永眠するしかつ大衆路線でない」ということは誤りである fact8: 「「多給するし加えて国家的法益だということはない」ということは正しくない」物はある fact9: もし仮に「「永眠するしまた大衆路線であるということはない」ということは誤りである」物があるならばあの九世紀末はくっ付かない fact10: 「ＢＡＳＳである」物はある fact11: この財閥解体は困難化するし艶っぽい fact12: 「何かは永眠する」ということは真実だ fact13: 「「「くっ付くし加えて大衆路線でない」ということは成り立つ」ということは事実と異なる」物はある fact14: もしも「くっ付く」物はあるとすれば「その九世紀末は大衆路線であるかまたは永眠しないかどちらもだ」ということは成り立たない fact15: 「「三週末で痩せ衰える」ということは真実な」物はある fact16: その男根はＢＡＳＳだ fact17: 国家的法益は繰り延べ税金資産だ fact18: その九世紀末はＢＡＳＳである fact19: もしもある物が繰り延べ税金資産ならそれは尽力す fact20: 仮に「この財閥解体は国家的法益であるということはない」ということは確かであるとすれば「繰り延べ税金資産でないが尽力す」ということは真実でない ; $hypothesis$ = 「尽力すしＢＡＳＳである」物はある ; $proof$ = 
fact1 -> int1: 「くっ付く」ものはある; int1 & fact14 -> int2: 「その九世紀末は大衆路線であるかまたは永眠しない」ということは間違っている; int2 & fact5 -> int3: この財閥解体はＢＡＳＳである; fact6 & fact8 -> int4: この財閥解体は国家的法益だ; fact17 -> int5: もし仮に「この財閥解体は国家的法益である」ということは真実であるならば繰り延べ税金資産だ; int4 & int5 -> int6: この財閥解体は繰り延べ税金資産である; fact19 -> int7: もし仮にこの財閥解体は繰り延べ税金資産であるならそれは尽力す; int6 & int7 -> int8: この財閥解体は尽力す; int3 & int8 -> int9: 「この財閥解体は尽力すしまたＢＡＳＳだ」ということは真実である; int9 -> hypothesis; __PROVED__
事実1: その男根はくっ付く
事実2: 「条件面な」物はある
事実3: その九世紀末は区別し易いしそれは圧痛だ
事実4: 「くっ付かない」ものはあるとすると「その埋没は装着出来るか勿体無くないかあるいは両方ともである」ということは誤りである
事実5: 「その九世紀末は大衆路線であるかもしくはそれは永眠しないかまたはどちらもだ」ということは間違いならばこの財閥解体はＢＡＳＳである
事実6: もしも「「多給するがしかし国家的法益でない」ということは間違いである」物があるとすればあの財閥解体は国家的法益である
事実7: 仮に何らかのものはＢＡＳＳでないなら「それは永眠するしかつ大衆路線でない」ということは誤りである
事実8: 「「多給するし加えて国家的法益だということはない」ということは正しくない」物はある
事実9: もし仮に「「永眠するしまた大衆路線であるということはない」ということは誤りである」物があるならばあの九世紀末はくっ付かない
事実10: 「ＢＡＳＳである」物はある
事実11: この財閥解体は困難化するし艶っぽい
事実12: 「何かは永眠する」ということは真実だ
事実13: 「「「くっ付くし加えて大衆路線でない」ということは成り立つ」ということは事実と異なる」物はある
事実14: もしも「くっ付く」物はあるとすれば「その九世紀末は大衆路線であるかまたは永眠しないかどちらもだ」ということは成り立たない
事実15: 「「三週末で痩せ衰える」ということは真実な」物はある
事実16: その男根はＢＡＳＳだ
事実17: 国家的法益は繰り延べ税金資産だ
事実18: その九世紀末はＢＡＳＳである
事実19: もしもある物が繰り延べ税金資産ならそれは尽力す
事実20: 仮に「この財閥解体は国家的法益であるということはない」ということは確かであるとすれば「繰り延べ税金資産でないが尽力す」ということは真実でない

仮説: 「尽力すしＢＡＳＳである」物はある
1. 事実1から、推論1: "「くっ付く」ものはある"が導かれる
2. 推論1と事実14から、推論2: "「その九世紀末は大衆路線であるかまたは永眠しない」ということは間違っている"が導かれる
3. 推論2と事実5から、推論3: "この財閥解体はＢＡＳＳである"が導かれる
4. 事実6と事実8から、推論4: "この財閥解体は国家的法益だ"が導かれる
5. 事実17から、推論5: "もし仮に「この財閥解体は国家的法益である」ということは真実であるならば繰り延べ税金資産だ"が導かれる
6. 推論4と推論5から、推論6: "この財閥解体は繰り延べ税金資産である"が導かれる
7. 事実19から、推論7: "もし仮にこの財閥解体は繰り延べ税金資産であるならそれは尽力す"が導かれる
8. 推論6と推論7から、推論8: "この財閥解体は尽力す"が導かれる
9. 推論3と推論8から、推論9: "「この財閥解体は尽力すしまたＢＡＳＳだ」ということは真実である"が導かれる
10. 推論9から、仮説が導かれる

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