「このまのまねLv.63は形成し易いか御寂しくないか両方ともだ」ということは事実と異なる
fact1: もし仮に「なんらかのモンスターは狙い易くないかまたはそれはあどけなくない」ということは成り立つということはないとすればそれはアップアップしない fact2: 仮にとあるモンスターは掛け難いなら「狙い易くないかあどけなくない」ということは誤っている fact3: もし仮にとあるモンスターはアップアップするとしたら「それは形成し易いか御寂しくない」ということは嘘だ fact4: もしそのみゆみにょLv.89が協議すればこのまのまねLv.63は掛け難い fact5: とあるモンスターがアップアップしないとすると形成し易いかもしくは御寂しいということはない fact6: もし仮に「そのぷにょぷにゅLv.82は大喧嘩しない」ということは本当だとしたらそのみゆみにょLv.89は等しし協議す fact7: このまのまねLv.63はアップアップする
fact3 -> int1: 「このまのまねLv.63はアップアップする」ということは成り立つとしたら「形成し易いかまたはそれは御寂しくないかあるいはどちらもである」ということは嘘である; int1 & fact7 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact7 -> hypothesis;
このまのまねLv.63は形成し易いかあるいは御寂しくないか両方ともである
fact10 -> int2: もしこのまのまねLv.63がアップアップしないとしたら形成し易いかもしくは御寂しくないかまたはどちらもだ; fact9 -> int3: 仮に「このまのまねLv.63は狙い易くないかそれはあどけないということはないかまたはどちらもである」ということは成り立たないならばこのまのまねLv.63はアップアップしない; fact11 -> int4: もしもこのまのまねLv.63は掛け難いとすれば「このまのまねLv.63は狙い易くないかもしくはあどけなくないかもしくは両方である」ということは成り立たない;
$facts$ = fact1: もし仮に「なんらかのモンスターは狙い易くないかまたはそれはあどけなくない」ということは成り立つということはないとすればそれはアップアップしない fact2: 仮にとあるモンスターは掛け難いなら「狙い易くないかあどけなくない」ということは誤っている fact3: もし仮にとあるモンスターはアップアップするとしたら「それは形成し易いか御寂しくない」ということは嘘だ fact4: もしそのみゆみにょLv.89が協議すればこのまのまねLv.63は掛け難い fact5: とあるモンスターがアップアップしないとすると形成し易いかもしくは御寂しいということはない fact6: もし仮に「そのぷにょぷにゅLv.82は大喧嘩しない」ということは本当だとしたらそのみゆみにょLv.89は等しし協議す fact7: このまのまねLv.63はアップアップする ; $hypothesis$ = 「このまのまねLv.63は形成し易いか御寂しくないか両方ともだ」ということは事実と異なる ; $proof$ = 
fact3 -> int1: 「このまのまねLv.63はアップアップする」ということは成り立つとしたら「形成し易いかまたはそれは御寂しくないかあるいはどちらもである」ということは嘘である; int1 & fact7 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact7 -> hypothesis; __PROVED__