「「もしフライアー・パークであるなら「自派でないしそれに提灯釣りでない」ということは間違っている」ものはある」ということは誤りだ
fact1: とあるものはフライアー・パークだとすれば「自派でなくてかつ提灯釣りでない」ということは事実でない
fact1 -> int1: もし仮にこのアンコーはフライアー・パークだとしたら「自派でなくて提灯釣りでない」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: とあるものはフライアー・パークだとすれば「自派でなくてかつ提灯釣りでない」ということは事実でない ; $hypothesis$ = 「「もしフライアー・パークであるなら「自派でないしそれに提灯釣りでない」ということは間違っている」ものはある」ということは誤りだ ; $proof$ = 
fact1 -> int1: もし仮にこのアンコーはフライアー・パークだとしたら「自派でなくて提灯釣りでない」ということは嘘だ; int1 -> hypothesis; __DISPROVED__
事実1: とあるものはフライアー・パークだとすれば「自派でなくてかつ提灯釣りでない」ということは事実でない

仮説: 「「もしフライアー・パークであるなら「自派でないしそれに提灯釣りでない」ということは間違っている」ものはある」ということは誤りだ
1. 事実1から、推論1: "もし仮にこのアンコーはフライアー・パークだとしたら「自派でなくて提灯釣りでない」ということは嘘だ"が導かれる
2. 推論1から、仮説が否定される

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