「「「下降するしまた太り難くない」ということは本当だということはない」物はある」ということは誤りだ
fact1: この領事館は古くない fact2: この領事館は古くないなら「下降するけれど太り難くない」ということは誤っている fact3: 「「下降するしそれに太り難い」ということは成り立つということはない」物はある
fact2 & fact1 -> int1: 「この領事館は下降するがしかし太り難くない」ということは誤っている; int1 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
$facts$ = fact1: この領事館は古くない fact2: この領事館は古くないなら「下降するけれど太り難くない」ということは誤っている fact3: 「「下降するしそれに太り難い」ということは成り立つということはない」物はある ; $hypothesis$ = 「「「下降するしまた太り難くない」ということは本当だということはない」物はある」ということは誤りだ ; $proof$ = 
fact2 & fact1 -> int1: 「この領事館は下降するがしかし太り難くない」ということは誤っている; int1 -> hypothesis; __DISPROVED__
事実1: この領事館は古くない
事実2: この領事館は古くないなら「下降するけれど太り難くない」ということは誤っている
事実3: 「「下降するしそれに太り難い」ということは成り立つということはない」物はある

仮説: 「「「下降するしまた太り難くない」ということは本当だということはない」物はある」ということは誤りだ
1. 事実2と事実1から、推論1: "「この領事館は下降するがしかし太り難くない」ということは誤っている"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。