このぷちゅぷにゃLv.32は訳無い
fact1: 「このまにゃまくLv.66は対応し易いかあるいはそれは賛成し難くないかあるいは両方だ」ということは成り立つということはない fact2: もし仮に「このまにゃまくLv.66は対応し易いかあるいは賛成し難くないか両方だ」ということは事実と異なるならそれは長細い fact3: もし仮にあるモンスターが緑がかるとすると親らしくないし更にそれは長細くない fact4: もしもこのまにゃまくLv.66が親らしいとすればこのぷちゅぷにゃLv.32は訳無い fact5: このまにゃまくLv.66は賛成し難い fact6: 親らしくないしおまけに長細くないモンスターは訳無いということはない fact7: もしこのまにゃまくLv.66がしどけないとしたらこのぷちゅぷにゃLv.32は緑がかる
fact2 & fact1 -> int1: 「このまにゃまくLv.66は長細い」ということは成り立つ;
fact2 & fact1 -> int1: {B}{a};
このぷちゅぷにゃLv.32は訳無くない
fact9 -> int2: このぷちゅぷにゃLv.32が親らしくないし長細くないならばこのぷちゅぷにゃLv.32は訳無くない; fact10 -> int3: もしもこのぷちゅぷにゃLv.32が緑がかればこのぷちゅぷにゃLv.32は親らしくないし長細くない;
$facts$ = fact1: 「このまにゃまくLv.66は対応し易いかあるいはそれは賛成し難くないかあるいは両方だ」ということは成り立つということはない fact2: もし仮に「このまにゃまくLv.66は対応し易いかあるいは賛成し難くないか両方だ」ということは事実と異なるならそれは長細い fact3: もし仮にあるモンスターが緑がかるとすると親らしくないし更にそれは長細くない fact4: もしもこのまにゃまくLv.66が親らしいとすればこのぷちゅぷにゃLv.32は訳無い fact5: このまにゃまくLv.66は賛成し難い fact6: 親らしくないしおまけに長細くないモンスターは訳無いということはない fact7: もしこのまにゃまくLv.66がしどけないとしたらこのぷちゅぷにゃLv.32は緑がかる ; $hypothesis$ = このぷちゅぷにゃLv.32は訳無い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__