そのぴにゅぴやLv.46は引き出し易くない
fact1: もし「「生え易いかまたは開設するということはない」ということは成り立たない」モンスターがいるとすればそのぴにゅぴやLv.46は引き出し易い fact2: 全てのモンスターは生え易くない fact3: あるモンスターは引き出し易くない fact4: あのぽやぽよLv.1は生え易くない fact5: 「太くない」モンスターはいる fact6: それは生え易いかもしくはそれは開設しないか両方ともであるというモンスターはない
fact6 -> int1: 「あのぽやぽよLv.1は生え易いかもしくは開設しない」ということは成り立たない; int1 -> int2: 「「生え易いかもしくは開設しない」ということは誤りである」モンスターはいる; int2 & fact1 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 -> int2: (Ex): ¬({AA}x v ¬{AB}x); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし「「生え易いかまたは開設するということはない」ということは成り立たない」モンスターがいるとすればそのぴにゅぴやLv.46は引き出し易い fact2: 全てのモンスターは生え易くない fact3: あるモンスターは引き出し易くない fact4: あのぽやぽよLv.1は生え易くない fact5: 「太くない」モンスターはいる fact6: それは生え易いかもしくはそれは開設しないか両方ともであるというモンスターはない ; $hypothesis$ = そのぴにゅぴやLv.46は引き出し易くない ; $proof$ = 
fact6 -> int1: 「あのぽやぽよLv.1は生え易いかもしくは開設しない」ということは成り立たない; int1 -> int2: 「「生え易いかもしくは開設しない」ということは誤りである」モンスターはいる; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 -> int2: (Ex): ¬({AA}x v ¬{AB}x); int2 & fact1 -> hypothesis; __DISPROVED__