「貴方らしくないなら心許なくないかあるいは断定するか両方ともな」モンスターはいる
fact1: 貴方らしくないモンスターは心許なくないかあるいは断定するかまたはどちらもである fact2: もしとあるモンスターが醜くないとすると著効しないかもしくはそれは小賢しい fact3: 貴方らしいモンスターは心許なくないか断定するかまたはどちらもである fact4: 「もしもタイトルらしいとすれば冗談ぽくないかあるいは遣り通す」モンスターはいる fact5: 「仮に木目細かくないなら疎いということはないかまたは労労じ」モンスターはいる fact6: 貴方らしくないモンスターは心許ないか断定するかまたは両方ともである
fact1 -> int1: もしもあのぴねぴゆLv.86が貴方らしくないならあのぴねぴゆLv.86は心許なくないかまたは断定するかあるいは両方だ; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 貴方らしくないモンスターは心許なくないかあるいは断定するかまたはどちらもである fact2: もしとあるモンスターが醜くないとすると著効しないかもしくはそれは小賢しい fact3: 貴方らしいモンスターは心許なくないか断定するかまたはどちらもである fact4: 「もしもタイトルらしいとすれば冗談ぽくないかあるいは遣り通す」モンスターはいる fact5: 「仮に木目細かくないなら疎いということはないかまたは労労じ」モンスターはいる fact6: 貴方らしくないモンスターは心許ないか断定するかまたは両方ともである ; $hypothesis$ = 「貴方らしくないなら心許なくないかあるいは断定するか両方ともな」モンスターはいる ; $proof$ = 
fact1 -> int1: もしもあのぴねぴゆLv.86が貴方らしくないならあのぴねぴゆLv.86は心許なくないかまたは断定するかあるいは両方だ; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis; __PROVED__