「この本社ビルは傷付かないけれどアミーゴだ」ということは嘘だ
fact1: もしも「「伝統であるということはない」ということは誤りでない」物はあるなら「この本社ビルは傷付かないけれどそれはアミーゴである」ということは成り立たない fact2: なにがしかの物は伝統でない
$facts$ = fact1: もしも「「伝統であるということはない」ということは誤りでない」物はあるなら「この本社ビルは傷付かないけれどそれはアミーゴである」ということは成り立たない fact2: なにがしかの物は伝統でない ; $hypothesis$ = 「この本社ビルは傷付かないけれどアミーゴだ」ということは嘘だ ; $proof$ = 
事実1: もしも「「伝統であるということはない」ということは誤りでない」物はあるなら「この本社ビルは傷付かないけれどそれはアミーゴである」ということは成り立たない
事実2: なにがしかの物は伝統でない

仮説: 「この本社ビルは傷付かないけれどアミーゴだ」ということは嘘だ