この宇宙中継は刷新しない
fact1: この宇宙中継が悪戯っぽいなら刷新する fact2: この宇宙中継は悪戯っぽい
$facts$ = fact1: この宇宙中継が悪戯っぽいなら刷新する fact2: この宇宙中継は悪戯っぽい ; $hypothesis$ = この宇宙中継は刷新しない ; $proof$ = 
事実1: この宇宙中継が悪戯っぽいなら刷新する
事実2: この宇宙中継は悪戯っぽい

仮説: この宇宙中継は刷新しない