その柱状節理は中心部分でない
fact1: 誇りっぽい物は墳丘長であるけれど中心部分でない fact2: その柱状節理は誇りっぽくて軽視出来る
fact1 -> int1: 仮にその柱状節理が誇りっぽいならそれは墳丘長であるしまたそれは中心部分でない; fact2 -> int2: その柱状節理は誇りっぽい; int1 & int2 -> int3: その柱状節理は墳丘長である一方で中心部分でない; int3 -> hypothesis;
$facts$ = fact1: 誇りっぽい物は墳丘長であるけれど中心部分でない fact2: その柱状節理は誇りっぽくて軽視出来る ; $hypothesis$ = その柱状節理は中心部分でない ; $proof$ = 
fact1 -> int1: 仮にその柱状節理が誇りっぽいならそれは墳丘長であるしまたそれは中心部分でない; fact2 -> int2: その柱状節理は誇りっぽい; int1 & int2 -> int3: その柱状節理は墳丘長である一方で中心部分でない; int3 -> hypothesis; __PROVED__
事実1: 誇りっぽい物は墳丘長であるけれど中心部分でない
事実2: その柱状節理は誇りっぽくて軽視出来る

仮説: その柱状節理は中心部分でない
1. 事実1から、推論1: "仮にその柱状節理が誇りっぽいならそれは墳丘長であるしまたそれは中心部分でない"が導かれる
2. 事実2から、推論2: "その柱状節理は誇りっぽい"が導かれる
3. 推論1と推論2から、推論3: "その柱状節理は墳丘長である一方で中心部分でない"が導かれる
4. 推論3から、仮説が導かれる

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