この造墓活動は科する
fact1: 「この造墓活動はソーシャル・パッケージである」ということは事実だ fact2: そのＶＳＷＲは埋まるしおまけにソーシャル・パッケージだ fact3: 仮にそのリーフレットは埋まらないとすれば「それは科するしそれはソーシャル・パッケージでない」ということは偽だ fact4: 仮に「何らかのものは埋まらない一方でそれはソーシャル・パッケージだ」ということは偽であるとしたらそれは埋まる fact5: もしも何らかの物が埋まるしソーシャル・パッケージであるとしたらこの造墓活動は科する fact6: もしもなんらかの物が埋まるしその上科するならこの造墓活動はソーシャル・パッケージだ
fact2 -> int1: なにがしかのものは埋まるし更にそれはソーシャル・パッケージだ; int1 & fact5 -> hypothesis;
そのデート相手は埋まる
fact7 -> int2: 仮に「そのデート相手は埋まらないがしかしそれはソーシャル・パッケージだ」ということは間違いだとしたら埋まる;
$facts$ = fact1: 「この造墓活動はソーシャル・パッケージである」ということは事実だ fact2: そのＶＳＷＲは埋まるしおまけにソーシャル・パッケージだ fact3: 仮にそのリーフレットは埋まらないとすれば「それは科するしそれはソーシャル・パッケージでない」ということは偽だ fact4: 仮に「何らかのものは埋まらない一方でそれはソーシャル・パッケージだ」ということは偽であるとしたらそれは埋まる fact5: もしも何らかの物が埋まるしソーシャル・パッケージであるとしたらこの造墓活動は科する fact6: もしもなんらかの物が埋まるしその上科するならこの造墓活動はソーシャル・パッケージだ ; $hypothesis$ = この造墓活動は科する ; $proof$ = 
fact2 -> int1: なにがしかのものは埋まるし更にそれはソーシャル・パッケージだ; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「この造墓活動はソーシャル・パッケージである」ということは事実だ
事実2: そのＶＳＷＲは埋まるしおまけにソーシャル・パッケージだ
事実3: 仮にそのリーフレットは埋まらないとすれば「それは科するしそれはソーシャル・パッケージでない」ということは偽だ
事実4: 仮に「何らかのものは埋まらない一方でそれはソーシャル・パッケージだ」ということは偽であるとしたらそれは埋まる
事実5: もしも何らかの物が埋まるしソーシャル・パッケージであるとしたらこの造墓活動は科する
事実6: もしもなんらかの物が埋まるしその上科するならこの造墓活動はソーシャル・パッケージだ

仮説: この造墓活動は科する
1. 事実2から、推論1: "なにがしかのものは埋まるし更にそれはソーシャル・パッケージだ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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