「この統率者は処理コストだがしかし起居するということはない」ということは本当であるということはない
fact1: この統率者はスポークだ fact2: もしこの統率者がスポークであるとしたら処理コストであるしそれは起居しない
$facts$ = fact1: この統率者はスポークだ fact2: もしこの統率者がスポークであるとしたら処理コストであるしそれは起居しない ; $hypothesis$ = 「この統率者は処理コストだがしかし起居するということはない」ということは本当であるということはない ; $proof$ = 
事実1: この統率者はスポークだ
事実2: もしこの統率者がスポークであるとしたら処理コストであるしそれは起居しない

仮説: 「この統率者は処理コストだがしかし起居するということはない」ということは本当であるということはない