「遣らう」ものはある
fact1: もし何かはコンクリート壁であるということはないかそれは遣らうかまたは両方ならそれは構成原理だ fact2: この全世界は遣らう fact3: この全世界は設定ダイアログだ
fact2 -> hypothesis;
fact2 -> hypothesis;
「構成原理である」物はある
fact4 -> int1: この国際犯罪がコンクリート壁だということはないか遣らうかどちらもであるならば「それは構成原理だ」ということは成り立つ;
$facts$ = fact1: もし何かはコンクリート壁であるということはないかそれは遣らうかまたは両方ならそれは構成原理だ fact2: この全世界は遣らう fact3: この全世界は設定ダイアログだ ; $hypothesis$ = 「遣らう」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし何かはコンクリート壁であるということはないかそれは遣らうかまたは両方ならそれは構成原理だ
事実2: この全世界は遣らう
事実3: この全世界は設定ダイアログだ

仮説: 「遣らう」ものはある
1. 事実2から、仮説が導かれる

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