「あの苦情対応は解せるけど御めでたいということはない」ということは成り立たない
fact1: もしもこの心的姿勢は計量値でないならば「その代数は名残惜しくないししかももみもみしない」ということは誤っている fact2: 仮にあのインターネット決済はつべたいならば「この千九百二十六年生まれはつべたくないし計量値でない」ということは嘘である fact3: もし仮にその外国銀行等がもみもみするということはないとすればあの苦情対応は解せるがしかし御めでたくない fact4: もし仮に「この心的姿勢は幹接尾辞だが戦闘でない」ということは真実だとするとあのインターネット決済はつべたい fact5: もし仮に「この千九百二十六年生まれはつべたくないし計量値でない」ということは誤っているならその外国銀行等はもみもみしない fact6: この心的姿勢が幹接尾辞だけどそれは戦闘でない
fact4 & fact6 -> int1: 「あのインターネット決済はつべたい」ということは確かだ; int1 & fact2 -> int2: 「「この千九百二十六年生まれはつべたくないしその上それは計量値であるということはない」ということは間違いだ」ということは正しい; int2 & fact5 -> int3: その外国銀行等はもみもみしない; int3 & fact3 -> hypothesis;
「その代数は名残惜しくないしまたもみもみしない」ということは成り立たない
$facts$ = fact1: もしもこの心的姿勢は計量値でないならば「その代数は名残惜しくないししかももみもみしない」ということは誤っている fact2: 仮にあのインターネット決済はつべたいならば「この千九百二十六年生まれはつべたくないし計量値でない」ということは嘘である fact3: もし仮にその外国銀行等がもみもみするということはないとすればあの苦情対応は解せるがしかし御めでたくない fact4: もし仮に「この心的姿勢は幹接尾辞だが戦闘でない」ということは真実だとするとあのインターネット決済はつべたい fact5: もし仮に「この千九百二十六年生まれはつべたくないし計量値でない」ということは誤っているならその外国銀行等はもみもみしない fact6: この心的姿勢が幹接尾辞だけどそれは戦闘でない ; $hypothesis$ = 「あの苦情対応は解せるけど御めでたいということはない」ということは成り立たない ; $proof$ = 
fact4 & fact6 -> int1: 「あのインターネット決済はつべたい」ということは確かだ; int1 & fact2 -> int2: 「「この千九百二十六年生まれはつべたくないしその上それは計量値であるということはない」ということは間違いだ」ということは正しい; int2 & fact5 -> int3: その外国銀行等はもみもみしない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの心的姿勢は計量値でないならば「その代数は名残惜しくないししかももみもみしない」ということは誤っている
事実2: 仮にあのインターネット決済はつべたいならば「この千九百二十六年生まれはつべたくないし計量値でない」ということは嘘である
事実3: もし仮にその外国銀行等がもみもみするということはないとすればあの苦情対応は解せるがしかし御めでたくない
事実4: もし仮に「この心的姿勢は幹接尾辞だが戦闘でない」ということは真実だとするとあのインターネット決済はつべたい
事実5: もし仮に「この千九百二十六年生まれはつべたくないし計量値でない」ということは誤っているならその外国銀行等はもみもみしない
事実6: この心的姿勢が幹接尾辞だけどそれは戦闘でない

仮説: 「あの苦情対応は解せるけど御めでたいということはない」ということは成り立たない
1. 事実4と事実6から、推論1: "「あのインターネット決済はつべたい」ということは確かだ"が導かれる
2. 推論1と事実2から、推論2: "「「この千九百二十六年生まれはつべたくないしその上それは計量値であるということはない」ということは間違いだ」ということは正しい"が導かれる
3. 推論2と事実5から、推論3: "その外国銀行等はもみもみしない"が導かれる
4. 推論3と事実3から、仮説が否定される

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