このオーストリア国民はソースサンプルだ
fact1: 融資金額はソースサンプルでない fact2: 「もし仮にこのオーストリア国民が恐ろしい一方でそれはセッション管理であるということはないなら「このオーストリア国民はソースサンプルだ」ということは真実である」ということは成り立つ fact3: このオーストリア国民は恐ろしいけどセッション管理でない fact4: もしもこのオーストリア国民は恐ろしいしさらにセッション管理であるとするとそれはソースサンプルである fact5: もし仮にＳＰＯＮＤＹはスマートＹだということはないとしたら「それは恐ろしい」ということは成り立つ fact6: このオーストリア国民はセッション管理でない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
このオーストリア国民はソースサンプルでない
fact7 -> int1: もし仮にこのオーストリア国民は融資金額であるとしたらソースサンプルでない;
$facts$ = fact1: 融資金額はソースサンプルでない fact2: 「もし仮にこのオーストリア国民が恐ろしい一方でそれはセッション管理であるということはないなら「このオーストリア国民はソースサンプルだ」ということは真実である」ということは成り立つ fact3: このオーストリア国民は恐ろしいけどセッション管理でない fact4: もしもこのオーストリア国民は恐ろしいしさらにセッション管理であるとするとそれはソースサンプルである fact5: もし仮にＳＰＯＮＤＹはスマートＹだということはないとしたら「それは恐ろしい」ということは成り立つ fact6: このオーストリア国民はセッション管理でない ; $hypothesis$ = このオーストリア国民はソースサンプルだ ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 融資金額はソースサンプルでない
事実2: 「もし仮にこのオーストリア国民が恐ろしい一方でそれはセッション管理であるということはないなら「このオーストリア国民はソースサンプルだ」ということは真実である」ということは成り立つ
事実3: このオーストリア国民は恐ろしいけどセッション管理でない
事実4: もしもこのオーストリア国民は恐ろしいしさらにセッション管理であるとするとそれはソースサンプルである
事実5: もし仮にＳＰＯＮＤＹはスマートＹだということはないとしたら「それは恐ろしい」ということは成り立つ
事実6: このオーストリア国民はセッション管理でない

仮説: このオーストリア国民はソースサンプルだ
1. 事実2と事実3から、仮説が導かれる

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