「「この新産業はコンピュータ化しないし見難いということはない」ということは成り立たない」ということは事実である
fact1: この新産業はコンピュータ化しないししかも見難くない
$facts$ = fact1: この新産業はコンピュータ化しないししかも見難くない ; $hypothesis$ = 「「この新産業はコンピュータ化しないし見難いということはない」ということは成り立たない」ということは事実である ; $proof$ = 
事実1: この新産業はコンピュータ化しないししかも見難くない

仮説: 「「この新産業はコンピュータ化しないし見難いということはない」ということは成り立たない」ということは事実である