そのみちょみちゅLv.41は得られ難くない
fact1: 仮に「あのまにょまなLv.46はあどけないしおまけにそれは言い辛い」ということは確かであるならばそのみちょみちゅLv.41は得られ難くない fact2: あのまにょまなLv.46はあどけない fact3: あのまにょまなLv.46は言い辛い
fact2 & fact3 -> int1: あのまにょまなLv.46はあどけなくておまけに言い辛い; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「あのまにょまなLv.46はあどけないしおまけにそれは言い辛い」ということは確かであるならばそのみちょみちゅLv.41は得られ難くない fact2: あのまにょまなLv.46はあどけない fact3: あのまにょまなLv.46は言い辛い ; $hypothesis$ = そのみちょみちゅLv.41は得られ難くない ; $proof$ = 
fact2 & fact3 -> int1: あのまにょまなLv.46はあどけなくておまけに言い辛い; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __PROVED__