「成され易くて意中である」ものはある
fact1: そのＵＳＢ接続は意中だ fact2: もしこの典故が意中だとするとそのＵＳＢ接続は印欧語だ fact3: 「「意中である」ということは正しい」ものはある fact4: 仮に「この典故は再編成しないししかも静かさでない」ということは誤りであるならそれは静かさだ fact5: もしもなにかは印欧語でないなら「それは傾き易くなくてそれは成され易い」ということは偽だ fact6: そのＵＳＢ接続は印欧語だ fact7: 「あの夫婦共働きは印欧語でない」ということは成り立つ fact8: 仮にこの典故は関係深くてそれに準用するとしたらそれは印欧語だ fact9: もしも「そのＵＳＢ接続は傾き易くないが成され易い」ということは成り立たないとすればこの典故は傾き易い fact10: もしこの典故は関係深いけれど準用しないとすればそれは印欧語である fact11: この典故はサンドする fact12: もしこの典故が印欧語だとすればそのＵＳＢ接続は成され易い fact13: この典故は関係深いが準用しない fact14: もしそのＵＳＢ接続が関係深いとしたらこの典故は意中だ fact15: もしそのＵＳＢ接続が意中だけどそれが高いということはないとしたら鯨だ fact16: この典故は準用するということはない fact17: そのＵＳＢ接続は準用する fact18: もし「何かは決め難いしその上それは印欧語である」ということは成り立つということはないなら印欧語でない fact19: とあるものは成され易い
fact10 & fact13 -> int1: この典故は印欧語である; int1 & fact12 -> int2: そのＵＳＢ接続は成され易い; int2 & fact1 -> int3: そのＵＳＢ接続は成され易いしまた意中だ; int3 -> hypothesis;
「傾き易いし静かさな」物はある
fact21 -> int4: そのＵＳＢ接続は印欧語でないならば「傾き易くないしかつ成され易い」ということは誤りだ; fact22 -> int5: 仮に「そのＵＳＢ接続は決め難くて印欧語である」ということは嘘だとしたら「印欧語でない」ということは成り立つ; fact20 -> int6: 「印欧語であるということはない」ものはある;
$facts$ = fact1: そのＵＳＢ接続は意中だ fact2: もしこの典故が意中だとするとそのＵＳＢ接続は印欧語だ fact3: 「「意中である」ということは正しい」ものはある fact4: 仮に「この典故は再編成しないししかも静かさでない」ということは誤りであるならそれは静かさだ fact5: もしもなにかは印欧語でないなら「それは傾き易くなくてそれは成され易い」ということは偽だ fact6: そのＵＳＢ接続は印欧語だ fact7: 「あの夫婦共働きは印欧語でない」ということは成り立つ fact8: 仮にこの典故は関係深くてそれに準用するとしたらそれは印欧語だ fact9: もしも「そのＵＳＢ接続は傾き易くないが成され易い」ということは成り立たないとすればこの典故は傾き易い fact10: もしこの典故は関係深いけれど準用しないとすればそれは印欧語である fact11: この典故はサンドする fact12: もしこの典故が印欧語だとすればそのＵＳＢ接続は成され易い fact13: この典故は関係深いが準用しない fact14: もしそのＵＳＢ接続が関係深いとしたらこの典故は意中だ fact15: もしそのＵＳＢ接続が意中だけどそれが高いということはないとしたら鯨だ fact16: この典故は準用するということはない fact17: そのＵＳＢ接続は準用する fact18: もし「何かは決め難いしその上それは印欧語である」ということは成り立つということはないなら印欧語でない fact19: とあるものは成され易い ; $hypothesis$ = 「成され易くて意中である」ものはある ; $proof$ = 
fact10 & fact13 -> int1: この典故は印欧語である; int1 & fact12 -> int2: そのＵＳＢ接続は成され易い; int2 & fact1 -> int3: そのＵＳＢ接続は成され易いしまた意中だ; int3 -> hypothesis; __PROVED__
事実1: そのＵＳＢ接続は意中だ
事実2: もしこの典故が意中だとするとそのＵＳＢ接続は印欧語だ
事実3: 「「意中である」ということは正しい」ものはある
事実4: 仮に「この典故は再編成しないししかも静かさでない」ということは誤りであるならそれは静かさだ
事実5: もしもなにかは印欧語でないなら「それは傾き易くなくてそれは成され易い」ということは偽だ
事実6: そのＵＳＢ接続は印欧語だ
事実7: 「あの夫婦共働きは印欧語でない」ということは成り立つ
事実8: 仮にこの典故は関係深くてそれに準用するとしたらそれは印欧語だ
事実9: もしも「そのＵＳＢ接続は傾き易くないが成され易い」ということは成り立たないとすればこの典故は傾き易い
事実10: もしこの典故は関係深いけれど準用しないとすればそれは印欧語である
事実11: この典故はサンドする
事実12: もしこの典故が印欧語だとすればそのＵＳＢ接続は成され易い
事実13: この典故は関係深いが準用しない
事実14: もしそのＵＳＢ接続が関係深いとしたらこの典故は意中だ
事実15: もしそのＵＳＢ接続が意中だけどそれが高いということはないとしたら鯨だ
事実16: この典故は準用するということはない
事実17: そのＵＳＢ接続は準用する
事実18: もし「何かは決め難いしその上それは印欧語である」ということは成り立つということはないなら印欧語でない
事実19: とあるものは成され易い

仮説: 「成され易くて意中である」ものはある
1. 事実10と事実13から、推論1: "この典故は印欧語である"が導かれる
2. 推論1と事実12から、推論2: "そのＵＳＢ接続は成され易い"が導かれる
3. 推論2と事実1から、推論3: "そのＵＳＢ接続は成され易いしまた意中だ"が導かれる
4. 推論3から、仮説が導かれる

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