このものもゆLv.96はおもろくない
fact1: このみにみちゅLv.23は誘惑しなくて加えて順守すらない fact2: もし仮にこのみにみちゅLv.23は順守すらないとすれば「このものもゆLv.96は塩辛いけど相談し易くない」ということは成り立たない fact3: もしも「このものもゆLv.96は塩辛いが相談し易くない」ということは間違っているならそれは絶え難くない
fact1 -> int1: このみにみちゅLv.23は順守すらない; fact2 & int1 -> int2: 「「このものもゆLv.96は塩辛いがしかし相談し易くない」ということは成り立つ」ということは成り立たない; int2 & fact3 -> int3: このものもゆLv.96は絶え難くない;
fact1 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ¬({AA}{b} & ¬{AB}{b}); int2 & fact3 -> int3: ¬{B}{b};
$facts$ = fact1: このみにみちゅLv.23は誘惑しなくて加えて順守すらない fact2: もし仮にこのみにみちゅLv.23は順守すらないとすれば「このものもゆLv.96は塩辛いけど相談し易くない」ということは成り立たない fact3: もしも「このものもゆLv.96は塩辛いが相談し易くない」ということは間違っているならそれは絶え難くない ; $hypothesis$ = このものもゆLv.96はおもろくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__