「「「誇示するけど持ち為さらない」ということは偽な」ものはある」ということは偽だ
fact1: それは誇示するけれど持ち為さらないというものはない
fact1 -> int1: 「そのソーシャルサービスは誇示するが持ち為さらない」ということは間違っている; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: それは誇示するけれど持ち為さらないというものはない ; $hypothesis$ = 「「「誇示するけど持ち為さらない」ということは偽な」ものはある」ということは偽だ ; $proof$ = 
fact1 -> int1: 「そのソーシャルサービスは誇示するが持ち為さらない」ということは間違っている; int1 -> hypothesis; __DISPROVED__
事実1: それは誇示するけれど持ち為さらないというものはない

仮説: 「「「誇示するけど持ち為さらない」ということは偽な」ものはある」ということは偽だ
1. 事実1から、推論1: "「そのソーシャルサービスは誇示するが持ち為さらない」ということは間違っている"が導かれる
2. 推論1から、仮説が否定される

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