「そのまにまわLv.60は真っ黒くて濃染めする」ということは誤っている
fact1: 仮にそのまにまわLv.60が考え易いならばそのまにまわLv.60は真っ黒い fact2: このぷちゅぷゆLv.44は傷付け易い fact3: 「そのまにまわLv.60は濃染めする」ということは成り立つ fact4: もしこのぷちゅぷゆLv.44が傷付け易いならばそのまにまわLv.60は考え易い
fact4 & fact2 -> int1: そのまにまわLv.60は考え易い; int1 & fact1 -> int2: そのまにまわLv.60は真っ黒い; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にそのまにまわLv.60が考え易いならばそのまにまわLv.60は真っ黒い fact2: このぷちゅぷゆLv.44は傷付け易い fact3: 「そのまにまわLv.60は濃染めする」ということは成り立つ fact4: もしこのぷちゅぷゆLv.44が傷付け易いならばそのまにまわLv.60は考え易い ; $hypothesis$ = 「そのまにまわLv.60は真っ黒くて濃染めする」ということは誤っている ; $proof$ = 
fact4 & fact2 -> int1: そのまにまわLv.60は考え易い; int1 & fact1 -> int2: そのまにまわLv.60は真っ黒い; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__