そのもちゃもにゅLv.29は因り難いということはない
fact1: そのもちゃもにゅLv.29が持ち易いならそのもちゃもにゅLv.29は因り難い fact2: すべてのモンスターは罪深いしその上起こり易い fact3: 全てのモンスターは納税するし更におどろおどろしい fact4: もしもこのもにょもいLv.28が起こり易いとするとこのもにょもいLv.28は可愛い fact5: もしこのもにょもいLv.28が可愛いならそのもちゃもにゅLv.29は持ち易い fact6: そのもちゃもにゅLv.29は可愛い fact7: このもにょもいLv.28が持ち易いなら起こり易い
fact2 -> int1: このもにょもいLv.28は罪深いしさらに起こり易い; int1 -> int2: このもにょもいLv.28は起こり易い; int2 & fact4 -> int3: このもにょもいLv.28は可愛い; int3 & fact5 -> int4: そのもちゃもにゅLv.29は持ち易い; int4 & fact1 -> hypothesis;
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact4 -> int3: {C}{aa}; int3 & fact5 -> int4: {D}{a}; int4 & fact1 -> hypothesis;
$facts$ = fact1: そのもちゃもにゅLv.29が持ち易いならそのもちゃもにゅLv.29は因り難い fact2: すべてのモンスターは罪深いしその上起こり易い fact3: 全てのモンスターは納税するし更におどろおどろしい fact4: もしもこのもにょもいLv.28が起こり易いとするとこのもにょもいLv.28は可愛い fact5: もしこのもにょもいLv.28が可愛いならそのもちゃもにゅLv.29は持ち易い fact6: そのもちゃもにゅLv.29は可愛い fact7: このもにょもいLv.28が持ち易いなら起こり易い ; $hypothesis$ = そのもちゃもにゅLv.29は因り難いということはない ; $proof$ = 
fact2 -> int1: このもにょもいLv.28は罪深いしさらに起こり易い; int1 -> int2: このもにょもいLv.28は起こり易い; int2 & fact4 -> int3: このもにょもいLv.28は可愛い; int3 & fact5 -> int4: そのもちゃもにゅLv.29は持ち易い; int4 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact4 -> int3: {C}{aa}; int3 & fact5 -> int4: {D}{a}; int4 & fact1 -> hypothesis; __DISPROVED__