このまよまえLv.85は詮無くない
fact1: あらゆるモンスターは偏り易い fact2: このまよまえLv.85は招き易くてまた偏り易いとすると「このぴなぴゆLv.60は詮無くない」ということは正しい fact3: もしもこのぴなぴゆLv.60が偏り易いし更に招き易いならばこのまよまえLv.85は詮無くない fact4: 「仮に「何らかのモンスターはおっかしいし招き易い」ということは間違いだとすればそれは招き易くない」ということは事実だ fact5: このぴなぴゆLv.60は招き易い fact6: とあるモンスターが招き易くないならそれは偏り易くて詮無い
fact1 -> int1: このぴなぴゆLv.60は偏り易い; int1 & fact5 -> int2: このぴなぴゆLv.60は偏り易いし加えて招き易い; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{aa}; int1 & fact5 -> int2: ({A}{aa} & {B}{aa}); int2 & fact3 -> hypothesis;
このまよまえLv.85は詮無い
fact7 -> int3: もし仮に「このまよまえLv.85は招き易くない」ということは成り立つとすれば偏り易いししかもそれは詮無い; fact8 -> int4: もしも「このまよまえLv.85はおっかしいし更にそれは招き易い」ということは成り立たないとしたらこのまよまえLv.85は招き易くない;
$facts$ = fact1: あらゆるモンスターは偏り易い fact2: このまよまえLv.85は招き易くてまた偏り易いとすると「このぴなぴゆLv.60は詮無くない」ということは正しい fact3: もしもこのぴなぴゆLv.60が偏り易いし更に招き易いならばこのまよまえLv.85は詮無くない fact4: 「仮に「何らかのモンスターはおっかしいし招き易い」ということは間違いだとすればそれは招き易くない」ということは事実だ fact5: このぴなぴゆLv.60は招き易い fact6: とあるモンスターが招き易くないならそれは偏り易くて詮無い ; $hypothesis$ = このまよまえLv.85は詮無くない ; $proof$ = 
fact1 -> int1: このぴなぴゆLv.60は偏り易い; int1 & fact5 -> int2: このぴなぴゆLv.60は偏り易いし加えて招き易い; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa}; int1 & fact5 -> int2: ({A}{aa} & {B}{aa}); int2 & fact3 -> hypothesis; __PROVED__