「「もしも練習帳であるか反らしないかあるいはどちらもであるならば振らすということはない」物はある」ということは嘘である
fact1: もしもある物が練習帳であるかもしくは反らすということはないかあるいはどちらもであるならそれは振らすということはない
fact1 -> int1: もし仮にこの出身地が練習帳であるかあるいは反らさないとすれば振らさない; int1 -> hypothesis;
$facts$ = fact1: もしもある物が練習帳であるかもしくは反らすということはないかあるいはどちらもであるならそれは振らすということはない ; $hypothesis$ = 「「もしも練習帳であるか反らしないかあるいはどちらもであるならば振らすということはない」物はある」ということは嘘である ; $proof$ = 
fact1 -> int1: もし仮にこの出身地が練習帳であるかあるいは反らさないとすれば振らさない; int1 -> hypothesis; __DISPROVED__
事実1: もしもある物が練習帳であるかもしくは反らすということはないかあるいはどちらもであるならそれは振らすということはない

仮説: 「「もしも練習帳であるか反らしないかあるいはどちらもであるならば振らすということはない」物はある」ということは嘘である
1. 事実1から、推論1: "もし仮にこの出身地が練習帳であるかあるいは反らさないとすれば振らさない"が導かれる
2. 推論1から、仮説が否定される

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