「「「この大規模テロは皮肉っぽくないし辞さない」ということは本当だ」ということは成り立たない」ということは事実だ
fact1: 「あらゆる物は皮肉っぽくないしまた辞さない」ということは成り立つ
$facts$ = fact1: 「あらゆる物は皮肉っぽくないしまた辞さない」ということは成り立つ ; $hypothesis$ = 「「「この大規模テロは皮肉っぽくないし辞さない」ということは本当だ」ということは成り立たない」ということは事実だ ; $proof$ = 
事実1: 「あらゆる物は皮肉っぽくないしまた辞さない」ということは成り立つ

仮説: 「「「この大規模テロは皮肉っぽくないし辞さない」ということは本当だ」ということは成り立たない」ということは事実だ