そのまねまわLv.17は丸っこくて申し訳無い
fact1: 「そのまねまわLv.17は商人らしくないかあるいはそれは吊り易いかもしくは両方ともだ」ということは成り立たない fact2: 「そのまねまわLv.17は申し訳無い」ということは確かである fact3: もしも「何らかのモンスターは商人らしくないかもしくは吊り易いかあるいはどちらもだ」ということは誤りであるならそれは丸っこい fact4: もし「そのまねまわLv.17は商人らしいかそれは吊り易いかどちらもである」ということは成り立たないとするとそのまねまわLv.17は丸っこい fact5: あのまなまにゃLv.55は申し訳無いししかも御優しい
fact3 -> int1: 「そのまねまわLv.17は商人らしくないか吊り易い」ということは嘘だとしたらそのまねまわLv.17は丸っこい; int1 & fact1 -> int2: そのまねまわLv.17は丸っこい; int2 & fact2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「そのまねまわLv.17は商人らしくないかあるいはそれは吊り易いかもしくは両方ともだ」ということは成り立たない fact2: 「そのまねまわLv.17は申し訳無い」ということは確かである fact3: もしも「何らかのモンスターは商人らしくないかもしくは吊り易いかあるいはどちらもだ」ということは誤りであるならそれは丸っこい fact4: もし「そのまねまわLv.17は商人らしいかそれは吊り易いかどちらもである」ということは成り立たないとするとそのまねまわLv.17は丸っこい fact5: あのまなまにゃLv.55は申し訳無いししかも御優しい ; $hypothesis$ = そのまねまわLv.17は丸っこくて申し訳無い ; $proof$ = 
fact3 -> int1: 「そのまねまわLv.17は商人らしくないか吊り易い」ということは嘘だとしたらそのまねまわLv.17は丸っこい; int1 & fact1 -> int2: そのまねまわLv.17は丸っこい; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis; __PROVED__