そのみにょみねLv.85は変わり易くない
fact1: 仮にそのみにょみねLv.85が頼り無いならばそれは変わり易い fact2: 仮にこのぴにゃぴちゃLv.20が割れ難いとするとそのみにょみねLv.85は頼り無い fact3: 説明し易いモンスターは割れ難い fact4: このぴにゃぴちゃLv.20は説明し易い
fact3 -> int1: このぴにゃぴちゃLv.20が説明し易いとすればそれは割れ難い; int1 & fact4 -> int2: このぴにゃぴちゃLv.20は割れ難い; int2 & fact2 -> int3: そのみにょみねLv.85は頼り無い; int3 & fact1 -> hypothesis;
fact3 -> int1: {A}{a} -> {B}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのみにょみねLv.85が頼り無いならばそれは変わり易い fact2: 仮にこのぴにゃぴちゃLv.20が割れ難いとするとそのみにょみねLv.85は頼り無い fact3: 説明し易いモンスターは割れ難い fact4: このぴにゃぴちゃLv.20は説明し易い ; $hypothesis$ = そのみにょみねLv.85は変わり易くない ; $proof$ = 
fact3 -> int1: このぴにゃぴちゃLv.20が説明し易いとすればそれは割れ難い; int1 & fact4 -> int2: このぴにゃぴちゃLv.20は割れ難い; int2 & fact2 -> int3: そのみにょみねLv.85は頼り無い; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a} -> {B}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __DISPROVED__