あのぽちょぽちょLv.6は取り難いかもしくは慎み深い
fact1: 仮にそのぷちゃぷちゅLv.32が極まりないならばあのぽちょぽちょLv.6は規則正しい fact2: そのぷちゃぷちゅLv.32は極まりない fact3: もしもあのぽちょぽちょLv.6が規則正しいならそれは慎み深い
fact1 & fact2 -> int1: 「あのぽちょぽちょLv.6は規則正しい」ということは成り立つ; int1 & fact3 -> int2: あのぽちょぽちょLv.6は慎み深い; int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 -> hypothesis;
$facts$ = fact1: 仮にそのぷちゃぷちゅLv.32が極まりないならばあのぽちょぽちょLv.6は規則正しい fact2: そのぷちゃぷちゅLv.32は極まりない fact3: もしもあのぽちょぽちょLv.6が規則正しいならそれは慎み深い ; $hypothesis$ = あのぽちょぽちょLv.6は取り難いかもしくは慎み深い ; $proof$ = 
fact1 & fact2 -> int1: 「あのぽちょぽちょLv.6は規則正しい」ということは成り立つ; int1 & fact3 -> int2: あのぽちょぽちょLv.6は慎み深い; int2 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__