「あの二万円台は心優しいということはないものであって共伴しない」ということは間違いだ
fact1: その未使用は共伴するとすると「あの二万円台は受け入れられ易い一方で心優しくない」ということは誤っている fact2: その未使用は共伴する fact3: その未使用は受け入れられ易いならば「あの二万円台は心優しくないしかつ共伴しない」ということは偽だ fact4: 「あの二万円台は受け入れられ易いけれど切り戻すということはない」ということは成り立たないなら心優しいということはない fact5: 「その未使用は受け入れられ易い」ということは成り立つ
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの二万円台は心優しくなくてその上共伴しない
$facts$ = fact1: その未使用は共伴するとすると「あの二万円台は受け入れられ易い一方で心優しくない」ということは誤っている fact2: その未使用は共伴する fact3: その未使用は受け入れられ易いならば「あの二万円台は心優しくないしかつ共伴しない」ということは偽だ fact4: 「あの二万円台は受け入れられ易いけれど切り戻すということはない」ということは成り立たないなら心優しいということはない fact5: 「その未使用は受け入れられ易い」ということは成り立つ ; $hypothesis$ = 「あの二万円台は心優しいということはないものであって共伴しない」ということは間違いだ ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: その未使用は共伴するとすると「あの二万円台は受け入れられ易い一方で心優しくない」ということは誤っている
事実2: その未使用は共伴する
事実3: その未使用は受け入れられ易いならば「あの二万円台は心優しくないしかつ共伴しない」ということは偽だ
事実4: 「あの二万円台は受け入れられ易いけれど切り戻すということはない」ということは成り立たないなら心優しいということはない
事実5: 「その未使用は受け入れられ易い」ということは成り立つ

仮説: 「あの二万円台は心優しいということはないものであって共伴しない」ということは間違いだ
1. 事実3と事実5から、仮説が導かれる

よって、仮説が証明されました。