そのぽなぽのLv.65は判別し難いかあるいは惜しまないか両方だ
fact1: 影響され易いモンスターは判別し難いかもしくは惜しまないかもしくは両方ともである fact2: そのぽなぽのLv.65は影響され易い
fact1 -> int1: もしそのぽなぽのLv.65が影響され易いならそのぽなぽのLv.65は判別し難いかもしくはそれは惜しまない; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 影響され易いモンスターは判別し難いかもしくは惜しまないかもしくは両方ともである fact2: そのぽなぽのLv.65は影響され易い ; $hypothesis$ = そのぽなぽのLv.65は判別し難いかあるいは惜しまないか両方だ ; $proof$ = 
fact1 -> int1: もしそのぽなぽのLv.65が影響され易いならそのぽなぽのLv.65は判別し難いかもしくはそれは惜しまない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__