「この任用は相部屋だ」ということは成り立つ
fact1: この任用は観察し易くないしそれは公開出来るということはない fact2: もしこの任用は観察し易いということはないし公開出来ないならば相部屋だ
$facts$ = fact1: この任用は観察し易くないしそれは公開出来るということはない fact2: もしこの任用は観察し易いということはないし公開出来ないならば相部屋だ ; $hypothesis$ = 「この任用は相部屋だ」ということは成り立つ ; $proof$ = 
事実1: この任用は観察し易くないしそれは公開出来るということはない
事実2: もしこの任用は観察し易いということはないし公開出来ないならば相部屋だ

仮説: 「この任用は相部屋だ」ということは成り立つ