あのポケットパークは気付き易い
fact1: もしもあのポケットパークは実用新案法であるならばそれは気付き易い fact2: もしあのポケットパークが辛気臭いとすると実用新案法である fact3: その禁令は辛気臭い fact4: 「仮にこの太忠岳が意地悪度であるとすればこの太忠岳は落ち着き払う」ということは真実だ fact5: あのポケットパークはすっごーい fact6: あのポケットパークは辛気臭い fact7: あのポケットパークは話し難い fact8: もしもあのポケットパークはＵＳＢ接続するなら「気付き易い」ということは本当だ fact9: あのポケットパークは組織秩序である fact10: あのポケットパークが埃っぽいなら気付き易い
fact2 & fact6 -> int1: あのポケットパークは実用新案法である; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもあのポケットパークは実用新案法であるならばそれは気付き易い fact2: もしあのポケットパークが辛気臭いとすると実用新案法である fact3: その禁令は辛気臭い fact4: 「仮にこの太忠岳が意地悪度であるとすればこの太忠岳は落ち着き払う」ということは真実だ fact5: あのポケットパークはすっごーい fact6: あのポケットパークは辛気臭い fact7: あのポケットパークは話し難い fact8: もしもあのポケットパークはＵＳＢ接続するなら「気付き易い」ということは本当だ fact9: あのポケットパークは組織秩序である fact10: あのポケットパークが埃っぽいなら気付き易い ; $hypothesis$ = あのポケットパークは気付き易い ; $proof$ = 
fact2 & fact6 -> int1: あのポケットパークは実用新案法である; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしもあのポケットパークは実用新案法であるならばそれは気付き易い
事実2: もしあのポケットパークが辛気臭いとすると実用新案法である
事実3: その禁令は辛気臭い
事実4: 「仮にこの太忠岳が意地悪度であるとすればこの太忠岳は落ち着き払う」ということは真実だ
事実5: あのポケットパークはすっごーい
事実6: あのポケットパークは辛気臭い
事実7: あのポケットパークは話し難い
事実8: もしもあのポケットパークはＵＳＢ接続するなら「気付き易い」ということは本当だ
事実9: あのポケットパークは組織秩序である
事実10: あのポケットパークが埃っぽいなら気付き易い

仮説: あのポケットパークは気付き易い
1. 事実2と事実6から、推論1: "あのポケットパークは実用新案法である"が導かれる
2. 推論1と事実1から、仮説が導かれる

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