このぽいぽにょLv.0は溶け難いかあるいはそれは墓参りするかあるいはどちらもである
fact1: 仮にこのみなみえLv.68が現われ出るがそれは考え深いということはないとすれば「このぽいぽにょLv.0は切れ易い」ということは真実である fact2: このみなみえLv.68は現われ出るがしかし考え深くない fact3: 「このぽいぽにょLv.0は切れ易い」ということは成り立つとしたら溶け難い
fact1 & fact2 -> int1: このぽいぽにょLv.0は切れ易い; int1 & fact3 -> int2: このぽいぽにょLv.0は溶け難い; int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{b}; int2 -> hypothesis;
$facts$ = fact1: 仮にこのみなみえLv.68が現われ出るがそれは考え深いということはないとすれば「このぽいぽにょLv.0は切れ易い」ということは真実である fact2: このみなみえLv.68は現われ出るがしかし考え深くない fact3: 「このぽいぽにょLv.0は切れ易い」ということは成り立つとしたら溶け難い ; $hypothesis$ = このぽいぽにょLv.0は溶け難いかあるいはそれは墓参りするかあるいはどちらもである ; $proof$ = 
fact1 & fact2 -> int1: このぽいぽにょLv.0は切れ易い; int1 & fact3 -> int2: このぽいぽにょLv.0は溶け難い; int2 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{b}; int2 -> hypothesis; __PROVED__