その視聴覚は新装しない
fact1: もし「「侵入出来るし縦書きラベルレイアウトでない」ということは成り立たない」ものはあるなら「その視聴覚は新装しない」ということは間違いでない fact2: 「「侵入出来る一方で縦書きラベルレイアウトでない」ということは間違いである」ものはある
$facts$ = fact1: もし「「侵入出来るし縦書きラベルレイアウトでない」ということは成り立たない」ものはあるなら「その視聴覚は新装しない」ということは間違いでない fact2: 「「侵入出来る一方で縦書きラベルレイアウトでない」ということは間違いである」ものはある ; $hypothesis$ = その視聴覚は新装しない ; $proof$ = 
事実1: もし「「侵入出来るし縦書きラベルレイアウトでない」ということは成り立たない」ものはあるなら「その視聴覚は新装しない」ということは間違いでない
事実2: 「「侵入出来る一方で縦書きラベルレイアウトでない」ということは間違いである」ものはある

仮説: その視聴覚は新装しない