あのもちょもちょLv.63は貧乏臭い
fact1: もしあのもちょもちょLv.63がコントロールし易いとすれば貧乏臭い fact2: もしもあのもちょもちょLv.63が滑り難いならばあのもちょもちょLv.63はコントロールし易い fact3: 仮にあのもやもにLv.46が細いとしたらあのもちょもちょLv.63は滑り難い fact4: あのもやもにLv.46は細い
fact3 & fact4 -> int1: あのもちょもちょLv.63は滑り難い; int1 & fact2 -> int2: あのもちょもちょLv.63はコントロールし易い; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのもちょもちょLv.63がコントロールし易いとすれば貧乏臭い fact2: もしもあのもちょもちょLv.63が滑り難いならばあのもちょもちょLv.63はコントロールし易い fact3: 仮にあのもやもにLv.46が細いとしたらあのもちょもちょLv.63は滑り難い fact4: あのもやもにLv.46は細い ; $hypothesis$ = あのもちょもちょLv.63は貧乏臭い ; $proof$ = 
fact3 & fact4 -> int1: あのもちょもちょLv.63は滑り難い; int1 & fact2 -> int2: あのもちょもちょLv.63はコントロールし易い; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__