あの通知後は景観評価でない
fact1: もし「古い」ものはあるとしたら「この結果状態が所内だしそれは無視し得る」ということは誤っている fact2: 「「この結果状態は所内であるししかも無視し得る」ということは事実と異なる」ということは事実である fact3: 「なんらかのものは古いということはない一方で景観評価だ」ということは嘘であるならそれは景観評価でない fact4: 「古い」ものはある fact5: もし「この結果状態は所内であるけどそれは無視し得ない」ということは成り立たないとしたら「あの通知後は景観評価である」ということは本当である fact6: 仮に「古い」ものはあるとすれば「「この結果状態は所内であるが無視し得ない」ということは成り立つ」ということは間違っている
fact4 & fact6 -> int1: 「この結果状態は所内だがしかし無視し得ない」ということは嘘だ; int1 & fact5 -> hypothesis;
fact4 & fact6 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact5 -> hypothesis;
あの通知後は景観評価でない
fact7 -> int2: もし「あの通知後は古くない一方で景観評価である」ということは誤りだとすればそれは景観評価でない;
$facts$ = fact1: もし「古い」ものはあるとしたら「この結果状態が所内だしそれは無視し得る」ということは誤っている fact2: 「「この結果状態は所内であるししかも無視し得る」ということは事実と異なる」ということは事実である fact3: 「なんらかのものは古いということはない一方で景観評価だ」ということは嘘であるならそれは景観評価でない fact4: 「古い」ものはある fact5: もし「この結果状態は所内であるけどそれは無視し得ない」ということは成り立たないとしたら「あの通知後は景観評価である」ということは本当である fact6: 仮に「古い」ものはあるとすれば「「この結果状態は所内であるが無視し得ない」ということは成り立つ」ということは間違っている ; $hypothesis$ = あの通知後は景観評価でない ; $proof$ = 
fact4 & fact6 -> int1: 「この結果状態は所内だがしかし無視し得ない」ということは嘘だ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「古い」ものはあるとしたら「この結果状態が所内だしそれは無視し得る」ということは誤っている
事実2: 「「この結果状態は所内であるししかも無視し得る」ということは事実と異なる」ということは事実である
事実3: 「なんらかのものは古いということはない一方で景観評価だ」ということは嘘であるならそれは景観評価でない
事実4: 「古い」ものはある
事実5: もし「この結果状態は所内であるけどそれは無視し得ない」ということは成り立たないとしたら「あの通知後は景観評価である」ということは本当である
事実6: 仮に「古い」ものはあるとすれば「「この結果状態は所内であるが無視し得ない」ということは成り立つ」ということは間違っている

仮説: あの通知後は景観評価でない
1. 事実4と事実6から、推論1: "「この結果状態は所内だがしかし無視し得ない」ということは嘘だ"が導かれる
2. 推論1と事実5から、仮説が否定される

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