「「もし仮にピッチでないしおまけに遺残だということはないとすれば国際比較な」物はある」ということは誤りだ
fact1: ある物はピッチでなくて遺残でないならばそれは国際比較である
fact1 -> int1: もしあの第二期作はピッチだということはなくて加えて遺残でないなら国際比較だ; int1 -> hypothesis;
$facts$ = fact1: ある物はピッチでなくて遺残でないならばそれは国際比較である ; $hypothesis$ = 「「もし仮にピッチでないしおまけに遺残だということはないとすれば国際比較な」物はある」ということは誤りだ ; $proof$ = 
fact1 -> int1: もしあの第二期作はピッチだということはなくて加えて遺残でないなら国際比較だ; int1 -> hypothesis; __DISPROVED__
事実1: ある物はピッチでなくて遺残でないならばそれは国際比較である

仮説: 「「もし仮にピッチでないしおまけに遺残だということはないとすれば国際比較な」物はある」ということは誤りだ
1. 事実1から、推論1: "もしあの第二期作はピッチだということはなくて加えて遺残でないなら国際比較だ"が導かれる
2. 推論1から、仮説が否定される

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