あのぴちょぴちゃLv.15は登山出来るししかも飛行機らしい
fact1: あのぴちょぴちゃLv.15は飛行機らしい fact2: このみちゃみえLv.51は偏り易い fact3: 「提唱するし更に偏り易い」モンスターがいるとしたらあのぴちょぴちゃLv.15は登山出来る fact4: あるモンスターは登山出来る fact5: このみちゃみえLv.51は提唱する
fact5 & fact2 -> int1: このみちゃみえLv.51は提唱するし偏り易い; int1 -> int2: とあるモンスターは提唱するしそれは偏り易い; int2 & fact3 -> int3: あのぴちょぴちゃLv.15は登山出来る; int3 & fact1 -> hypothesis;
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
あるモンスターはサポートするしおまけに近しい
$facts$ = fact1: あのぴちょぴちゃLv.15は飛行機らしい fact2: このみちゃみえLv.51は偏り易い fact3: 「提唱するし更に偏り易い」モンスターがいるとしたらあのぴちょぴちゃLv.15は登山出来る fact4: あるモンスターは登山出来る fact5: このみちゃみえLv.51は提唱する ; $hypothesis$ = あのぴちょぴちゃLv.15は登山出来るししかも飛行機らしい ; $proof$ = 
fact5 & fact2 -> int1: このみちゃみえLv.51は提唱するし偏り易い; int1 -> int2: とあるモンスターは提唱するしそれは偏り易い; int2 & fact3 -> int3: あのぴちょぴちゃLv.15は登山出来る; int3 & fact1 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __PROVED__