このまにゅまちゅLv.48は観察し易いしおまけにそれは大人気無い
fact1: そのぽえぽのLv.3は浅ましくない fact2: 仮にそのぽえぽのLv.3が変わり易いとすればこのまにゅまちゅLv.48は観察し易い fact3: このまにゅまちゅLv.48は大人気無い fact4: もしもそのぽえぽのLv.3が浅ましいということはないならそのぽえぽのLv.3は夜逃げする fact5: もしもそのぽえぽのLv.3が浅ましくないならそのぽえぽのLv.3は変わり易くて夜逃げする
fact1 & fact5 -> int1: そのぽえぽのLv.3は変わり易くてさらに夜逃げする; int1 -> int2: そのぽえぽのLv.3は変わり易い; int2 & fact2 -> int3: このまにゅまちゅLv.48は観察し易い; int3 & fact3 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
$facts$ = fact1: そのぽえぽのLv.3は浅ましくない fact2: 仮にそのぽえぽのLv.3が変わり易いとすればこのまにゅまちゅLv.48は観察し易い fact3: このまにゅまちゅLv.48は大人気無い fact4: もしもそのぽえぽのLv.3が浅ましいということはないならそのぽえぽのLv.3は夜逃げする fact5: もしもそのぽえぽのLv.3が浅ましくないならそのぽえぽのLv.3は変わり易くて夜逃げする ; $hypothesis$ = このまにゅまちゅLv.48は観察し易いしおまけにそれは大人気無い ; $proof$ = 
fact1 & fact5 -> int1: そのぽえぽのLv.3は変わり易くてさらに夜逃げする; int1 -> int2: そのぽえぽのLv.3は変わり易い; int2 & fact2 -> int3: このまにゅまちゅLv.48は観察し易い; int3 & fact3 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __PROVED__