この駐車票は地中深いし一画面である
fact1: 仮にあの装置が計画策定だということはないならあの耐熱容器は心苦しくないしかつ存続し得ない fact2: とある物が特定建設業でないとすればあのバースデーケーキは作り込む fact3: もしもあの山間地域が拘置するけど過去完了形でないならあの装置は計画策定でない fact4: 仮に「あの耐熱容器は増補するけど因り難くない」ということは偽だとすれば「この駐車票は期さない」ということは成り立つ fact5: その白飛びは特定建設業でない fact6: もしある物は幼しないとすると「増補するししかもそれは因り難いということはない」ということは偽である fact7: その御達しは期す fact8: この駐車票は地中深いしその上期す fact9: この駐車票は期す fact10: 仮に心苦しくないものは存続し得ないとすれば幼しない fact11: もし仮にある物は増補するなら「それは一画面でないし地中深い」ということは成り立たない fact12: 仮に何らかの物は期さないとしたら「それは地中深いしそれは一画面である」ということは成り立たない fact13: この駐車票は一画面だ
fact8 -> int1: この駐車票は地中深い; int1 & fact13 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact13 -> hypothesis;
「この駐車票は地中深いしさらに一画面だ」ということは真実でない
fact17 -> int2: 仮にこの駐車票は期すということはないとしたら「それは地中深いしその上一画面だ」ということは事実と異なる; fact20 -> int3: もしあの耐熱容器は幼しないとすれば「増補するがしかし因り難くない」ということは間違っている; fact14 -> int4: 仮にあの耐熱容器は心苦しくないし更に存続し得ないとするとそれは幼しない; fact19 -> int5: ある物は特定建設業でない; int5 & fact18 -> int6: あのバースデーケーキは作り込む; int6 -> int7: 「作り込む」物はある;
$facts$ = fact1: 仮にあの装置が計画策定だということはないならあの耐熱容器は心苦しくないしかつ存続し得ない fact2: とある物が特定建設業でないとすればあのバースデーケーキは作り込む fact3: もしもあの山間地域が拘置するけど過去完了形でないならあの装置は計画策定でない fact4: 仮に「あの耐熱容器は増補するけど因り難くない」ということは偽だとすれば「この駐車票は期さない」ということは成り立つ fact5: その白飛びは特定建設業でない fact6: もしある物は幼しないとすると「増補するししかもそれは因り難いということはない」ということは偽である fact7: その御達しは期す fact8: この駐車票は地中深いしその上期す fact9: この駐車票は期す fact10: 仮に心苦しくないものは存続し得ないとすれば幼しない fact11: もし仮にある物は増補するなら「それは一画面でないし地中深い」ということは成り立たない fact12: 仮に何らかの物は期さないとしたら「それは地中深いしそれは一画面である」ということは成り立たない fact13: この駐車票は一画面だ ; $hypothesis$ = この駐車票は地中深いし一画面である ; $proof$ = 
fact8 -> int1: この駐車票は地中深い; int1 & fact13 -> hypothesis; __PROVED__
事実1: 仮にあの装置が計画策定だということはないならあの耐熱容器は心苦しくないしかつ存続し得ない
事実2: とある物が特定建設業でないとすればあのバースデーケーキは作り込む
事実3: もしもあの山間地域が拘置するけど過去完了形でないならあの装置は計画策定でない
事実4: 仮に「あの耐熱容器は増補するけど因り難くない」ということは偽だとすれば「この駐車票は期さない」ということは成り立つ
事実5: その白飛びは特定建設業でない
事実6: もしある物は幼しないとすると「増補するししかもそれは因り難いということはない」ということは偽である
事実7: その御達しは期す
事実8: この駐車票は地中深いしその上期す
事実9: この駐車票は期す
事実10: 仮に心苦しくないものは存続し得ないとすれば幼しない
事実11: もし仮にある物は増補するなら「それは一画面でないし地中深い」ということは成り立たない
事実12: 仮に何らかの物は期さないとしたら「それは地中深いしそれは一画面である」ということは成り立たない
事実13: この駐車票は一画面だ

仮説: この駐車票は地中深いし一画面である
1. 事実8から、推論1: "この駐車票は地中深い"が導かれる
2. 推論1と事実13から、仮説が導かれる

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