このぽちゅぽちゅLv.44は揺るぎなくない
fact1: もしもこのみちょみちゅLv.86が柔らかいかまたは転倒するかもしくは両方だとしたらこのぽちゅぽちゅLv.44は揺るぎなくない fact2: そのぴえぴにゃLv.23は親し fact3: もしそのぴえぴにゃLv.23が親しならこのみちょみちゅLv.86は柔らかい
fact3 & fact2 -> int1: 「このみちょみちゅLv.86は柔らかい」ということは本当である; int1 -> int2: このみちょみちゅLv.86は柔らかいか転倒するかまたは両方ともである; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもこのみちょみちゅLv.86が柔らかいかまたは転倒するかもしくは両方だとしたらこのぽちゅぽちゅLv.44は揺るぎなくない fact2: そのぴえぴにゃLv.23は親し fact3: もしそのぴえぴにゃLv.23が親しならこのみちょみちゅLv.86は柔らかい ; $hypothesis$ = このぽちゅぽちゅLv.44は揺るぎなくない ; $proof$ = 
fact3 & fact2 -> int1: 「このみちょみちゅLv.86は柔らかい」ということは本当である; int1 -> int2: このみちょみちゅLv.86は柔らかいか転倒するかまたは両方ともである; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact1 -> hypothesis; __PROVED__