「あのまえまなLv.74は荒くない」ということは成り立つ
fact1: そのみにゅみちゅLv.46は油っぽい fact2: 仮にそのみにゅみちゅLv.46が油っぽいならそのまのまにゅLv.20は追い上げる fact3: もしそのまのまにゅLv.20が追い上げるし更に踏み付けるならあのまえまなLv.74は荒くない fact4: そのまのまにゅLv.20は踏み付ける
fact2 & fact1 -> int1: そのまのまにゅLv.20は追い上げる; int1 & fact4 -> int2: 「そのまのまにゅLv.20は追い上げるしおまけにそれは踏み付ける」ということは事実である; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis;
$facts$ = fact1: そのみにゅみちゅLv.46は油っぽい fact2: 仮にそのみにゅみちゅLv.46が油っぽいならそのまのまにゅLv.20は追い上げる fact3: もしそのまのまにゅLv.20が追い上げるし更に踏み付けるならあのまえまなLv.74は荒くない fact4: そのまのまにゅLv.20は踏み付ける ; $hypothesis$ = 「あのまえまなLv.74は荒くない」ということは成り立つ ; $proof$ = 
fact2 & fact1 -> int1: そのまのまにゅLv.20は追い上げる; int1 & fact4 -> int2: 「そのまのまにゅLv.20は追い上げるしおまけにそれは踏み付ける」ということは事実である; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis; __PROVED__