この完全自動化は公表出来ない
fact1: 「この完全自動化は有り付かないけどそれは交ず」ということは成り立たない fact2: 「この完全自動化は有り付かないけど交ず」ということは成り立たないとすれば公表出来ない
$facts$ = fact1: 「この完全自動化は有り付かないけどそれは交ず」ということは成り立たない fact2: 「この完全自動化は有り付かないけど交ず」ということは成り立たないとすれば公表出来ない ; $hypothesis$ = この完全自動化は公表出来ない ; $proof$ = 
事実1: 「この完全自動化は有り付かないけどそれは交ず」ということは成り立たない
事実2: 「この完全自動化は有り付かないけど交ず」ということは成り立たないとすれば公表出来ない

仮説: この完全自動化は公表出来ない