「あのもにゃもちゅLv.61は偏り易くてそれは通話出来る」ということは間違いである
fact1: もし仮にあのぴにゅぴちゅLv.41がバランス良いとしたらあのもにゃもちゅLv.61は通話出来る fact2: 仮にあるモンスターが調べ易いし理解し辛いならあのぴにゅぴちゅLv.41はバランス良い fact3: このみえみよLv.56は調べ易い fact4: このみえみよLv.56は理解し辛い fact5: あのもにゃもちゅLv.61は偏り易い
fact3 & fact4 -> int1: このみえみよLv.56は調べ易くてまたそれは理解し辛い; int1 -> int2: 何らかのモンスターは調べ易いしさらにそれは理解し辛い; int2 & fact2 -> int3: あのぴにゅぴちゅLv.41はバランス良い; int3 & fact1 -> int4: あのもにゃもちゅLv.61は通話出来る; int4 & fact5 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> int4: {D}{c}; int4 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にあのぴにゅぴちゅLv.41がバランス良いとしたらあのもにゃもちゅLv.61は通話出来る fact2: 仮にあるモンスターが調べ易いし理解し辛いならあのぴにゅぴちゅLv.41はバランス良い fact3: このみえみよLv.56は調べ易い fact4: このみえみよLv.56は理解し辛い fact5: あのもにゃもちゅLv.61は偏り易い ; $hypothesis$ = 「あのもにゃもちゅLv.61は偏り易くてそれは通話出来る」ということは間違いである ; $proof$ = 
fact3 & fact4 -> int1: このみえみよLv.56は調べ易くてまたそれは理解し辛い; int1 -> int2: 何らかのモンスターは調べ易いしさらにそれは理解し辛い; int2 & fact2 -> int3: あのぴにゅぴちゅLv.41はバランス良い; int3 & fact1 -> int4: あのもにゃもちゅLv.61は通話出来る; int4 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> int4: {D}{c}; int4 & fact5 -> hypothesis; __DISPROVED__