「「あの下げが右クリックだけど尽くし難くない」ということは成り立つということはない」ということは確かである
fact1: 「あの下げがいがらっぽくないならばあの下げは歌わさない」ということは事実だ fact2: もしもなにがしかの物が歌わさないとすると右クリックである fact3: もし「なにがしかの物は歌わす」ということは成り立つとすると「右クリックであるけど尽くし難くない」ということは成り立たない fact4: あの下げはいがらっぽくない fact5: なにがしかの物が歌わさないならそれが右クリックだし更に尽くし難くない
fact5 -> int1: 仮にあの下げが歌わさないならそれは右クリックであるしおまけにそれは尽くし難くない; fact1 & fact4 -> int2: あの下げは歌わすということはない; int1 & int2 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact1 & fact4 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの下げは右クリックであるけれど尽くし難くない」ということは誤っている
fact6 -> int3: もしあの下げは歌わせば「右クリックであるが尽くし難くない」ということは間違いである;
$facts$ = fact1: 「あの下げがいがらっぽくないならばあの下げは歌わさない」ということは事実だ fact2: もしもなにがしかの物が歌わさないとすると右クリックである fact3: もし「なにがしかの物は歌わす」ということは成り立つとすると「右クリックであるけど尽くし難くない」ということは成り立たない fact4: あの下げはいがらっぽくない fact5: なにがしかの物が歌わさないならそれが右クリックだし更に尽くし難くない ; $hypothesis$ = 「「あの下げが右クリックだけど尽くし難くない」ということは成り立つということはない」ということは確かである ; $proof$ = 
fact5 -> int1: 仮にあの下げが歌わさないならそれは右クリックであるしおまけにそれは尽くし難くない; fact1 & fact4 -> int2: あの下げは歌わすということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あの下げがいがらっぽくないならばあの下げは歌わさない」ということは事実だ
事実2: もしもなにがしかの物が歌わさないとすると右クリックである
事実3: もし「なにがしかの物は歌わす」ということは成り立つとすると「右クリックであるけど尽くし難くない」ということは成り立たない
事実4: あの下げはいがらっぽくない
事実5: なにがしかの物が歌わさないならそれが右クリックだし更に尽くし難くない

仮説: 「「あの下げが右クリックだけど尽くし難くない」ということは成り立つということはない」ということは確かである
1. 事実5から、推論1: "仮にあの下げが歌わさないならそれは右クリックであるしおまけにそれは尽くし難くない"が導かれる
2. 事実1と事実4から、推論2: "あの下げは歌わすということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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