そのもちょもねLv.23は巻き上がらないか与え難いかもしくは両方である
fact1: このぴやぴわLv.18は与え難くないけど薄いとすると「それは捕らわれ易くない」ということは成り立つ fact2: このみにみにょLv.58は薄い fact3: このぴやぴわLv.18は御偉い fact4: もしこのみにみにょLv.58は与え難くないとすれば「そのもちょもねLv.23は巻き上がらないかあるいは与え難いかあるいは両方である」ということは正しい fact5: このぴやぴわLv.18は御偉いなら「このみにみにょLv.58は捕らわれ易い」ということは真実である fact6: 仮にこのみにみにょLv.58が捕らわれ易いし薄いならそれは与え難いということはない
fact5 & fact3 -> int1: このみにみにょLv.58は捕らわれ易い; int1 & fact2 -> int2: このみにみにょLv.58は捕らわれ易いし薄い; int2 & fact6 -> int3: このみにみにょLv.58は与え難くない; int3 & fact4 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact4 -> hypothesis;
このぽちゃぽくLv.83は尽くないか御偉いかまたは両方だ
$facts$ = fact1: このぴやぴわLv.18は与え難くないけど薄いとすると「それは捕らわれ易くない」ということは成り立つ fact2: このみにみにょLv.58は薄い fact3: このぴやぴわLv.18は御偉い fact4: もしこのみにみにょLv.58は与え難くないとすれば「そのもちょもねLv.23は巻き上がらないかあるいは与え難いかあるいは両方である」ということは正しい fact5: このぴやぴわLv.18は御偉いなら「このみにみにょLv.58は捕らわれ易い」ということは真実である fact6: 仮にこのみにみにょLv.58が捕らわれ易いし薄いならそれは与え難いということはない ; $hypothesis$ = そのもちょもねLv.23は巻き上がらないか与え難いかもしくは両方である ; $proof$ = 
fact5 & fact3 -> int1: このみにみにょLv.58は捕らわれ易い; int1 & fact2 -> int2: このみにみにょLv.58は捕らわれ易いし薄い; int2 & fact6 -> int3: このみにみにょLv.58は与え難くない; int3 & fact4 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact4 -> hypothesis; __PROVED__