このぷにぷよLv.36は分かり易い
fact1: もしもそのぷやぷなLv.96が憎くないとしたらあのぴやぴいLv.38は分かり易いしその上縁遠い fact2: 縁遠いモンスターは甘ーくないかまたは空々しいかあるいは両方ともだ fact3: 「このぷにぷよLv.36は縁遠い」ということは本当だ fact4: 「もし仮に「このまちゃまちゅLv.38は憎いし壊れ難い」ということは誤りであるとしたらそのぷやぷなLv.96は憎くない」ということは正しい fact5: もしもあのぴやぴいLv.38が縁遠いならそのまいまのLv.80は縁遠い fact6: 憎いモンスターは縁遠いけれど分かり易くない fact7: 甘ーくないかもしくは空々しいかあるいは両方であるモンスターは分かり易い
fact2 -> int1: もしこのぷにぷよLv.36が縁遠いならばこのぷにぷよLv.36は甘ーくないかもしくは空々しいかもしくはどちらもである; int1 & fact3 -> int2: このぷにぷよLv.36は甘ーくないかもしくは空々しいかもしくはどちらもである; fact7 -> int3: このぷにぷよLv.36が甘ーくないかまたは空々しいならこのぷにぷよLv.36は分かり易い; int2 & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} v {AB}{aa}); fact7 -> int3: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int2 & int3 -> hypothesis;
このぷにぷよLv.36は分かり易くない
fact8 -> int4: もしもこのぷにぷよLv.36が憎いならばこのぷにぷよLv.36は縁遠いけれど分かり易くない;
$facts$ = fact1: もしもそのぷやぷなLv.96が憎くないとしたらあのぴやぴいLv.38は分かり易いしその上縁遠い fact2: 縁遠いモンスターは甘ーくないかまたは空々しいかあるいは両方ともだ fact3: 「このぷにぷよLv.36は縁遠い」ということは本当だ fact4: 「もし仮に「このまちゃまちゅLv.38は憎いし壊れ難い」ということは誤りであるとしたらそのぷやぷなLv.96は憎くない」ということは正しい fact5: もしもあのぴやぴいLv.38が縁遠いならそのまいまのLv.80は縁遠い fact6: 憎いモンスターは縁遠いけれど分かり易くない fact7: 甘ーくないかもしくは空々しいかあるいは両方であるモンスターは分かり易い ; $hypothesis$ = このぷにぷよLv.36は分かり易い ; $proof$ = 
fact2 -> int1: もしこのぷにぷよLv.36が縁遠いならばこのぷにぷよLv.36は甘ーくないかもしくは空々しいかもしくはどちらもである; int1 & fact3 -> int2: このぷにぷよLv.36は甘ーくないかもしくは空々しいかもしくはどちらもである; fact7 -> int3: このぷにぷよLv.36が甘ーくないかまたは空々しいならこのぷにぷよLv.36は分かり易い; int2 & int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} v {AB}{aa}); fact7 -> int3: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int2 & int3 -> hypothesis; __PROVED__