「「頼り無くない一方で高地である」ものはある」ということは偽である
fact1: もしもとあるものは高齢者対策でなくて滑り落ちないならば頼り無い fact2: もし仮にとある物が御悪くないとするとその必殺脛切りは高齢者対策でないししかも滑り落ちるということはない fact3: 「御悪くない」物はある fact4: もし仮にその必殺脛切りが頼り無いとしたらあの細身は頼り無くないが高地である
fact1 -> int1: もしその必殺脛切りが高齢者対策でないしおまけに滑り落ちないとするとそれは頼り無い; fact3 & fact2 -> int2: その必殺脛切りは高齢者対策でなくて加えて滑り落ちない; int1 & int2 -> int3: その必殺脛切りは頼り無い; int3 & fact4 -> int4: あの細身は頼り無いということはないが高地である; int4 -> hypothesis;
$facts$ = fact1: もしもとあるものは高齢者対策でなくて滑り落ちないならば頼り無い fact2: もし仮にとある物が御悪くないとするとその必殺脛切りは高齢者対策でないししかも滑り落ちるということはない fact3: 「御悪くない」物はある fact4: もし仮にその必殺脛切りが頼り無いとしたらあの細身は頼り無くないが高地である ; $hypothesis$ = 「「頼り無くない一方で高地である」ものはある」ということは偽である ; $proof$ = 
fact1 -> int1: もしその必殺脛切りが高齢者対策でないしおまけに滑り落ちないとするとそれは頼り無い; fact3 & fact2 -> int2: その必殺脛切りは高齢者対策でなくて加えて滑り落ちない; int1 & int2 -> int3: その必殺脛切りは頼り無い; int3 & fact4 -> int4: あの細身は頼り無いということはないが高地である; int4 -> hypothesis; __DISPROVED__
事実1: もしもとあるものは高齢者対策でなくて滑り落ちないならば頼り無い
事実2: もし仮にとある物が御悪くないとするとその必殺脛切りは高齢者対策でないししかも滑り落ちるということはない
事実3: 「御悪くない」物はある
事実4: もし仮にその必殺脛切りが頼り無いとしたらあの細身は頼り無くないが高地である

仮説: 「「頼り無くない一方で高地である」ものはある」ということは偽である
1. 事実1から、推論1: "もしその必殺脛切りが高齢者対策でないしおまけに滑り落ちないとするとそれは頼り無い"が導かれる
2. 事実3と事実2から、推論2: "その必殺脛切りは高齢者対策でなくて加えて滑り落ちない"が導かれる
3. 推論1と推論2から、推論3: "その必殺脛切りは頼り無い"が導かれる
4. 推論3と事実4から、推論4: "あの細身は頼り無いということはないが高地である"が導かれる
5. 推論4から、仮説が否定される

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