あのみえみにょLv.55は清々しいしそれに密植する
fact1: あのみえみにょLv.55は密植する fact2: 仮にそのまにゅまいLv.65が物憂いとしたらあのみえみにょLv.55は清々しい fact3: そのまにゅまいLv.65は可笑しいし更に物憂い
fact3 -> int1: そのまにゅまいLv.65は物憂い; int1 & fact2 -> int2: 「あのみえみにょLv.55は清々しい」ということは真実だ; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのみえみにょLv.55は密植する fact2: 仮にそのまにゅまいLv.65が物憂いとしたらあのみえみにょLv.55は清々しい fact3: そのまにゅまいLv.65は可笑しいし更に物憂い ; $hypothesis$ = あのみえみにょLv.55は清々しいしそれに密植する ; $proof$ = 
fact3 -> int1: そのまにゅまいLv.65は物憂い; int1 & fact2 -> int2: 「あのみえみにょLv.55は清々しい」ということは真実だ; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__