「もしも「あの築城は解決出来るけれどそれは得難しということはない」ということは偽ならあの築城は現代世界だ」ということは誤っている
fact1: もしも「なんらかのものは解決出来るけどそれは得難しない」ということは間違いであるとしたら現代世界だ
$facts$ = fact1: もしも「なんらかのものは解決出来るけどそれは得難しない」ということは間違いであるとしたら現代世界だ ; $hypothesis$ = 「もしも「あの築城は解決出来るけれどそれは得難しということはない」ということは偽ならあの築城は現代世界だ」ということは誤っている ; $proof$ = 
事実1: もしも「なんらかのものは解決出来るけどそれは得難しない」ということは間違いであるとしたら現代世界だ

仮説: 「もしも「あの築城は解決出来るけれどそれは得難しということはない」ということは偽ならあの築城は現代世界だ」ということは誤っている