あの芸当は知れ渡らない
fact1: 「そのネットワーク上は馬券である」ということは事実と異ならない fact2: そのネットワーク上は馬券であるならば「あの芸当は知れ渡る」ということは誤っているということはない
$facts$ = fact1: 「そのネットワーク上は馬券である」ということは事実と異ならない fact2: そのネットワーク上は馬券であるならば「あの芸当は知れ渡る」ということは誤っているということはない ; $hypothesis$ = あの芸当は知れ渡らない ; $proof$ = 
事実1: 「そのネットワーク上は馬券である」ということは事実と異ならない
事実2: そのネットワーク上は馬券であるならば「あの芸当は知れ渡る」ということは誤っているということはない

仮説: あの芸当は知れ渡らない