このもくもゆLv.61は理解し難い
fact1: そのまちゃまにゅLv.12が哀れっぽいとしたらこのもくもゆLv.61は男っぽい fact2: もし仮にこのもくもゆLv.61が幼しとするとそれは握り易い fact3: もし仮にそのまちゃまにゅLv.12が握り易いとすればそれは哀れっぽい fact4: 仮にこのもくもゆLv.61が男っぽいならばこのもくもゆLv.61は握り易い fact5: もしこのもくもゆLv.61は握り易いならば「このもくもゆLv.61は理解し難い」ということは成り立つ fact6: そのまちゃまにゅLv.12は哀れっぽい
fact1 & fact6 -> int1: このもくもゆLv.61は男っぽい; int1 & fact4 -> int2: このもくもゆLv.61は握り易い; int2 & fact5 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: そのまちゃまにゅLv.12が哀れっぽいとしたらこのもくもゆLv.61は男っぽい fact2: もし仮にこのもくもゆLv.61が幼しとするとそれは握り易い fact3: もし仮にそのまちゃまにゅLv.12が握り易いとすればそれは哀れっぽい fact4: 仮にこのもくもゆLv.61が男っぽいならばこのもくもゆLv.61は握り易い fact5: もしこのもくもゆLv.61は握り易いならば「このもくもゆLv.61は理解し難い」ということは成り立つ fact6: そのまちゃまにゅLv.12は哀れっぽい ; $hypothesis$ = このもくもゆLv.61は理解し難い ; $proof$ = 
fact1 & fact6 -> int1: このもくもゆLv.61は男っぽい; int1 & fact4 -> int2: このもくもゆLv.61は握り易い; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__