そのぽちゅぽちゅLv.81は余所余所しかない
fact1: このもちょもよLv.10がぎこちなくてまたそれは与え難いなら「そのぽちゅぽちゅLv.81は余所余所しかない」ということは本当だ fact2: このもちょもよLv.10は呼び易い fact3: このもちょもよLv.10はぎこちないししかも呼び易い fact4: このもちょもよLv.10は与え難い fact5: このもちょもよLv.10が低いならばそのぴにゅぴちゃLv.4は低い fact6: もし仮にこのもちょもよLv.10が余所余所しいならばそのぽちゅぽちゅLv.81は余所余所しい
fact3 -> int1: このもちょもよLv.10はぎこちない; int1 & fact4 -> int2: このもちょもよLv.10はぎこちないし加えて与え難い; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact1 -> hypothesis;
そのぽちゅぽちゅLv.81は余所余所しい
$facts$ = fact1: このもちょもよLv.10がぎこちなくてまたそれは与え難いなら「そのぽちゅぽちゅLv.81は余所余所しかない」ということは本当だ fact2: このもちょもよLv.10は呼び易い fact3: このもちょもよLv.10はぎこちないししかも呼び易い fact4: このもちょもよLv.10は与え難い fact5: このもちょもよLv.10が低いならばそのぴにゅぴちゃLv.4は低い fact6: もし仮にこのもちょもよLv.10が余所余所しいならばそのぽちゅぽちゅLv.81は余所余所しい ; $hypothesis$ = そのぽちゅぽちゅLv.81は余所余所しかない ; $proof$ = 
fact3 -> int1: このもちょもよLv.10はぎこちない; int1 & fact4 -> int2: このもちょもよLv.10はぎこちないし加えて与え難い; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__