このぴゆぴちょLv.59は若くなくて更に打ち上がり易くない
fact1: 連想し易いモンスターは若くないししかも打ち上がり易くない fact2: もしも「なにがしかのモンスターは連想し易いけれど安いということはない」ということは誤りであるとするとそれは連想し易いということはない fact3: このぴゆぴちょLv.59は連想し易い fact4: もしあるモンスターは連想し易くないならば「若くないしそれに打ち上がり易くない」ということは誤りである
fact1 -> int1: もしこのぴゆぴちょLv.59が連想し易いなら若くなくてそれに打ち上がり易くない; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis;
「「このぴゆぴちょLv.59は若くないしかつ打ち上がり易くない」ということは誤りである」ということは成り立つ
fact5 -> int2: もし仮にこのぴゆぴちょLv.59は連想し易くないならば「このぴゆぴちょLv.59は若くなくてしかも打ち上がり易くない」ということは誤っている; fact6 -> int3: もしも「このぴゆぴちょLv.59は連想し易いが安くない」ということは誤りであるとしたらこのぴゆぴちょLv.59は連想し易くない;
$facts$ = fact1: 連想し易いモンスターは若くないししかも打ち上がり易くない fact2: もしも「なにがしかのモンスターは連想し易いけれど安いということはない」ということは誤りであるとするとそれは連想し易いということはない fact3: このぴゆぴちょLv.59は連想し易い fact4: もしあるモンスターは連想し易くないならば「若くないしそれに打ち上がり易くない」ということは誤りである ; $hypothesis$ = このぴゆぴちょLv.59は若くなくて更に打ち上がり易くない ; $proof$ = 
fact1 -> int1: もしこのぴゆぴちょLv.59が連想し易いなら若くなくてそれに打ち上がり易くない; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis; __PROVED__