この開催代わりは嵩張る
fact1: このデータ表は縢るがそれは見窄らしくない fact2: この開催代わりは仄白い fact3: このデータ表は縢る一方で嵩張らない fact4: 「仮にこのデータ表が縢るけれど見窄らしくないならばこの開催代わりは嵩張る」ということは成り立つ fact5: もしもこの開催代わりが縢るがしかし見窄らしくないとするとこのデータ表は嵩張る
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: このデータ表は縢るがそれは見窄らしくない fact2: この開催代わりは仄白い fact3: このデータ表は縢る一方で嵩張らない fact4: 「仮にこのデータ表が縢るけれど見窄らしくないならばこの開催代わりは嵩張る」ということは成り立つ fact5: もしもこの開催代わりが縢るがしかし見窄らしくないとするとこのデータ表は嵩張る ; $hypothesis$ = この開催代わりは嵩張る ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: このデータ表は縢るがそれは見窄らしくない
事実2: この開催代わりは仄白い
事実3: このデータ表は縢る一方で嵩張らない
事実4: 「仮にこのデータ表が縢るけれど見窄らしくないならばこの開催代わりは嵩張る」ということは成り立つ
事実5: もしもこの開催代わりが縢るがしかし見窄らしくないとするとこのデータ表は嵩張る

仮説: この開催代わりは嵩張る
1. 事実4と事実1から、仮説が導かれる

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