「あのぴなぴにゃLv.66は入手し易くないがそれはそそっかしい」ということは事実でない
fact1: 「資本参加する」モンスターはいる fact2: 何らかのモンスターは資本参加するなら「あのぴなぴにゃLv.66は入手し易いということはないけどそそっかしい」ということは偽だ
fact1 -> int1: 「資本参加する」モンスターはいる; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「資本参加する」モンスターはいる fact2: 何らかのモンスターは資本参加するなら「あのぴなぴにゃLv.66は入手し易いということはないけどそそっかしい」ということは偽だ ; $hypothesis$ = 「あのぴなぴにゃLv.66は入手し易くないがそれはそそっかしい」ということは事実でない ; $proof$ = 
fact1 -> int1: 「資本参加する」モンスターはいる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __PROVED__