「あの鉄棒は下降しなくて更にヘアマッサージトニックでない」ということは嘘である
fact1: もしもあの鉄棒はねちっこくないかまたはタイツであるとすると「狙い易いということはない」ということは誤っている fact2: もしあの鉄棒がタイツだとするとそれは狙い易い fact3: あの鉄棒はねちっこくないかあるいはタイツである fact4: もしも「あるものは狙い易い」ということは成り立てばそれは下降しないしヘアマッサージトニックでない
fact4 -> int1: 仮にあの鉄棒が狙い易いならばそれは下降しなくておまけにヘアマッサージトニックでない; fact3 & fact1 -> int2: あの鉄棒は狙い易い; int1 & int2 -> hypothesis;
fact4 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact3 & fact1 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもあの鉄棒はねちっこくないかまたはタイツであるとすると「狙い易いということはない」ということは誤っている fact2: もしあの鉄棒がタイツだとするとそれは狙い易い fact3: あの鉄棒はねちっこくないかあるいはタイツである fact4: もしも「あるものは狙い易い」ということは成り立てばそれは下降しないしヘアマッサージトニックでない ; $hypothesis$ = 「あの鉄棒は下降しなくて更にヘアマッサージトニックでない」ということは嘘である ; $proof$ = 
fact4 -> int1: 仮にあの鉄棒が狙い易いならばそれは下降しなくておまけにヘアマッサージトニックでない; fact3 & fact1 -> int2: あの鉄棒は狙い易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの鉄棒はねちっこくないかまたはタイツであるとすると「狙い易いということはない」ということは誤っている
事実2: もしあの鉄棒がタイツだとするとそれは狙い易い
事実3: あの鉄棒はねちっこくないかあるいはタイツである
事実4: もしも「あるものは狙い易い」ということは成り立てばそれは下降しないしヘアマッサージトニックでない

仮説: 「あの鉄棒は下降しなくて更にヘアマッサージトニックでない」ということは嘘である
1. 事実4から、推論1: "仮にあの鉄棒が狙い易いならばそれは下降しなくておまけにヘアマッサージトニックでない"が導かれる
2. 事実3と事実1から、推論2: "あの鉄棒は狙い易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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