「このまちゃまえLv.64は付着し易いしそれは逃散する」ということは成り立たない
fact1: このまちゃまえLv.64は逃散する fact2: このまちゃまえLv.64が働き易いとしたら付着し易い fact3: そのみにみくLv.84は壊れ難いかもしくは可愛らしくないかもしくは両方だ fact4: そのみにみくLv.84が壊れ難いかあるいは可愛らしくないならばこのまちゃまえLv.64は働き易い
fact4 & fact3 -> int1: このまちゃまえLv.64は働き易い; int1 & fact2 -> int2: このまちゃまえLv.64は付着し易い; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このまちゃまえLv.64は逃散する fact2: このまちゃまえLv.64が働き易いとしたら付着し易い fact3: そのみにみくLv.84は壊れ難いかもしくは可愛らしくないかもしくは両方だ fact4: そのみにみくLv.84が壊れ難いかあるいは可愛らしくないならばこのまちゃまえLv.64は働き易い ; $hypothesis$ = 「このまちゃまえLv.64は付着し易いしそれは逃散する」ということは成り立たない ; $proof$ = 
fact4 & fact3 -> int1: このまちゃまえLv.64は働き易い; int1 & fact2 -> int2: このまちゃまえLv.64は付着し易い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> hypothesis; __DISPROVED__