その日本工業規格は零表示である一方で総入れ替えしない
fact1: 「バックログである」ものはあるとすると「その日本工業規格は零表示である一方で総入れ替えするということはない」ということは成り立たない fact2: ある物はバックログである
$facts$ = fact1: 「バックログである」ものはあるとすると「その日本工業規格は零表示である一方で総入れ替えするということはない」ということは成り立たない fact2: ある物はバックログである ; $hypothesis$ = その日本工業規格は零表示である一方で総入れ替えしない ; $proof$ = 
事実1: 「バックログである」ものはあるとすると「その日本工業規格は零表示である一方で総入れ替えするということはない」ということは成り立たない
事実2: ある物はバックログである

仮説: その日本工業規格は零表示である一方で総入れ替えしない