その名所は戦ぐということはない
fact1: あの内皮細胞は記銘でなくて古しない fact2: もし仮にあの内皮細胞は記銘でないなら「それは古しがしかし戦はない」ということは誤っている fact3: もしあの内皮細胞が古しないとすればあの名所は戦ぐ fact4: 「あの内皮細胞は記銘でない」ということは真実である fact5: その他車は記銘でなくて加えて自滅しない
fact1 -> int1: あの内皮細胞は古しない; int1 & fact3 -> hypothesis;
fact1 -> int1: ¬{B}{a}; int1 & fact3 -> hypothesis;
あの専門職員は古しない
$facts$ = fact1: あの内皮細胞は記銘でなくて古しない fact2: もし仮にあの内皮細胞は記銘でないなら「それは古しがしかし戦はない」ということは誤っている fact3: もしあの内皮細胞が古しないとすればあの名所は戦ぐ fact4: 「あの内皮細胞は記銘でない」ということは真実である fact5: その他車は記銘でなくて加えて自滅しない ; $hypothesis$ = その名所は戦ぐということはない ; $proof$ = 
fact1 -> int1: あの内皮細胞は古しない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの内皮細胞は記銘でなくて古しない
事実2: もし仮にあの内皮細胞は記銘でないなら「それは古しがしかし戦はない」ということは誤っている
事実3: もしあの内皮細胞が古しないとすればあの名所は戦ぐ
事実4: 「あの内皮細胞は記銘でない」ということは真実である
事実5: その他車は記銘でなくて加えて自滅しない

仮説: その名所は戦ぐということはない
1. 事実1から、推論1: "あの内皮細胞は古しない"が導かれる
2. 推論1と事実3から、仮説が否定される

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