このまなまえLv.76は天使らしくない
fact1: もし申し訳無いモンスターが持ち難いならそれは噛み合わない fact2: 「あのもわもにゅLv.48は見窄らしいということはないか抗し難いかまたはどちらもである」ということは誤りならあのもわもにゅLv.48は噛み合う fact3: 仮にあのぷねぷやLv.6が申し訳無いしかつ持ち難いとすればこのまなまえLv.76は天使らしくない fact4: そのぽいぽゆLv.41は乗り易くないなら「あのもわもにゅLv.48は見窄らしくないかもしくは抗し難いか両方だ」ということは成り立たない fact5: あのぷねぷやLv.6は申し訳無い fact6: あのもわもにゅLv.48が噛み合えばあのぷねぷやLv.6は持ち難い fact7: そのぽいぽゆLv.41は乗り易いということはない fact8: もしそのぽいぽゆLv.41が噛み合うということはないとすればこのまなまえLv.76が天使らしいしその上それは乗り易い
fact4 & fact7 -> int1: 「あのもわもにゅLv.48は見窄らしくないかもしくは抗し難いかあるいはどちらもである」ということは偽である; int1 & fact2 -> int2: あのもわもにゅLv.48は噛み合う; int2 & fact6 -> int3: 「あのぷねぷやLv.6は持ち難い」ということは成り立つ; int3 & fact5 -> int4: あのぷねぷやLv.6は申し訳無いしまたそれは持ち難い; int4 & fact3 -> hypothesis;
fact4 & fact7 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact2 -> int2: {B}{b}; int2 & fact6 -> int3: {C}{c}; int3 & fact5 -> int4: ({D}{c} & {C}{c}); int4 & fact3 -> hypothesis;
このまなまえLv.76は天使らしい
fact9 -> int5: あのもわもにゅLv.48が申し訳無くて更にそれが持ち難いならあのもわもにゅLv.48は噛み合わない;
$facts$ = fact1: もし申し訳無いモンスターが持ち難いならそれは噛み合わない fact2: 「あのもわもにゅLv.48は見窄らしいということはないか抗し難いかまたはどちらもである」ということは誤りならあのもわもにゅLv.48は噛み合う fact3: 仮にあのぷねぷやLv.6が申し訳無いしかつ持ち難いとすればこのまなまえLv.76は天使らしくない fact4: そのぽいぽゆLv.41は乗り易くないなら「あのもわもにゅLv.48は見窄らしくないかもしくは抗し難いか両方だ」ということは成り立たない fact5: あのぷねぷやLv.6は申し訳無い fact6: あのもわもにゅLv.48が噛み合えばあのぷねぷやLv.6は持ち難い fact7: そのぽいぽゆLv.41は乗り易いということはない fact8: もしそのぽいぽゆLv.41が噛み合うということはないとすればこのまなまえLv.76が天使らしいしその上それは乗り易い ; $hypothesis$ = このまなまえLv.76は天使らしくない ; $proof$ = 
fact4 & fact7 -> int1: 「あのもわもにゅLv.48は見窄らしくないかもしくは抗し難いかあるいはどちらもである」ということは偽である; int1 & fact2 -> int2: あのもわもにゅLv.48は噛み合う; int2 & fact6 -> int3: 「あのぷねぷやLv.6は持ち難い」ということは成り立つ; int3 & fact5 -> int4: あのぷねぷやLv.6は申し訳無いしまたそれは持ち難い; int4 & fact3 -> hypothesis; __PROVED__
fact4 & fact7 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact2 -> int2: {B}{b}; int2 & fact6 -> int3: {C}{c}; int3 & fact5 -> int4: ({D}{c} & {C}{c}); int4 & fact3 -> hypothesis; __PROVED__