「あのぷくぷちょLv.4は見易くない」ということは正しい
fact1: とあるモンスターは凛々しくないとすると「それは近付き易いかあるいは真っ黒いか両方ともだ」ということは成り立つということはない fact2: あのぷくぷちょLv.4は近付き易いとしたら「見易い」ということは誤りでない fact3: もし仮に「「このぽにゃぽゆLv.55は近付き易いかまたは真っ黒いか両方である」ということは事実と異なる」ということは本当であるならあのぷくぷちょLv.4は見易くない fact4: すべてのモンスターは真っ黒くて近付き易い
fact4 -> int1: あのぷくぷちょLv.4は真っ黒くてそれは近付き易い; int1 -> int2: あのぷくぷちょLv.4は近付き易い; int2 & fact2 -> hypothesis;
fact4 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
「あのぷくぷちょLv.4は見易くない」ということは正しい
fact5 -> int3: もしもこのぽにゃぽゆLv.55は凛々しくないならば「それは近付き易いかまたは真っ黒い」ということは嘘である;
$facts$ = fact1: とあるモンスターは凛々しくないとすると「それは近付き易いかあるいは真っ黒いか両方ともだ」ということは成り立つということはない fact2: あのぷくぷちょLv.4は近付き易いとしたら「見易い」ということは誤りでない fact3: もし仮に「「このぽにゃぽゆLv.55は近付き易いかまたは真っ黒いか両方である」ということは事実と異なる」ということは本当であるならあのぷくぷちょLv.4は見易くない fact4: すべてのモンスターは真っ黒くて近付き易い ; $hypothesis$ = 「あのぷくぷちょLv.4は見易くない」ということは正しい ; $proof$ = 
fact4 -> int1: あのぷくぷちょLv.4は真っ黒くてそれは近付き易い; int1 -> int2: あのぷくぷちょLv.4は近付き易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis; __DISPROVED__