「あのみちょみにゅLv.83は厳しいしそれは間違え易い」ということは成り立つ
fact1: 仮にこのもやもにょLv.44が母親らしいとすればあのみちょみにゅLv.83は厳しい fact2: あのぷわぷにょLv.68は感慨深いかもしくは許し難い fact3: もしも「あのぷわぷにょLv.68は感慨深い」ということは成り立つとしたらこのもやもにょLv.44は母親らしい fact4: あのみちょみにゅLv.83は間違え易い fact5: もしも「あのぷわぷにょLv.68は許し難い」ということは成り立つならこのもやもにょLv.44は母親らしい
fact2 & fact3 & fact5 -> int1: このもやもにょLv.44は母親らしい; int1 & fact1 -> int2: あのみちょみにゅLv.83は厳しい; int2 & fact4 -> hypothesis;
fact2 & fact3 & fact5 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にこのもやもにょLv.44が母親らしいとすればあのみちょみにゅLv.83は厳しい fact2: あのぷわぷにょLv.68は感慨深いかもしくは許し難い fact3: もしも「あのぷわぷにょLv.68は感慨深い」ということは成り立つとしたらこのもやもにょLv.44は母親らしい fact4: あのみちょみにゅLv.83は間違え易い fact5: もしも「あのぷわぷにょLv.68は許し難い」ということは成り立つならこのもやもにょLv.44は母親らしい ; $hypothesis$ = 「あのみちょみにゅLv.83は厳しいしそれは間違え易い」ということは成り立つ ; $proof$ = 
fact2 & fact3 & fact5 -> int1: このもやもにょLv.44は母親らしい; int1 & fact1 -> int2: あのみちょみにゅLv.83は厳しい; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 & fact5 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; int2 & fact4 -> hypothesis; __PROVED__