このまなまやLv.25はすりゃ良い
fact1: あのぷよぷちゃLv.27は聞き易い fact2: もし仮に「このぴやぴくLv.87は遠しない」ということは間違いならそのものもやLv.65は聞き易いけれど寄る辺無くない fact3: 「このぷゆぷわLv.96は小狡くてかつ気弱い」ということは間違いだ fact4: 仮に「何らかのモンスターは小狡くてそれは気弱い」ということは本当でないとすると小狡いということはない fact5: 聞き易いモンスターは近付き難いがしかしすりゃ良くない fact6: もしそのものもやLv.65が寄る辺無くないとするとこのまなまやLv.25は聞き易いしそれにそれはすりゃ良い fact7: このまなまやLv.25は聞き易い
fact5 -> int1: もしこのまなまやLv.25が聞き易いならこのまなまやLv.25は近付き難い一方ですりゃ良くない; int1 & fact7 -> int2: このまなまやLv.25は近付き難いがすりゃ良くない; int2 -> hypothesis;
fact5 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
このまなまやLv.25はすりゃ良い
$facts$ = fact1: あのぷよぷちゃLv.27は聞き易い fact2: もし仮に「このぴやぴくLv.87は遠しない」ということは間違いならそのものもやLv.65は聞き易いけれど寄る辺無くない fact3: 「このぷゆぷわLv.96は小狡くてかつ気弱い」ということは間違いだ fact4: 仮に「何らかのモンスターは小狡くてそれは気弱い」ということは本当でないとすると小狡いということはない fact5: 聞き易いモンスターは近付き難いがしかしすりゃ良くない fact6: もしそのものもやLv.65が寄る辺無くないとするとこのまなまやLv.25は聞き易いしそれにそれはすりゃ良い fact7: このまなまやLv.25は聞き易い ; $hypothesis$ = このまなまやLv.25はすりゃ良い ; $proof$ = 
fact5 -> int1: もしこのまなまやLv.25が聞き易いならこのまなまやLv.25は近付き難い一方ですりゃ良くない; int1 & fact7 -> int2: このまなまやLv.25は近付き難いがすりゃ良くない; int2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __DISPROVED__