そのまにょまちょLv.20は想像し易くない
fact1: もしそのまにょまちょLv.20が物欲しくて賢いとすればそのまにょまちょLv.20は想像し易くない fact2: そのまにょまちょLv.20は賢い fact3: そのもいもにゃLv.94は物欲しくない fact4: そのまにょまちょLv.20は物欲しいしかつ神々しい fact5: そのまにょまちょLv.20は神々しい
fact4 -> int1: そのまにょまちょLv.20は物欲しい; int1 & fact2 -> int2: そのまにょまちょLv.20は物欲しくて賢い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしそのまにょまちょLv.20が物欲しくて賢いとすればそのまにょまちょLv.20は想像し易くない fact2: そのまにょまちょLv.20は賢い fact3: そのもいもにゃLv.94は物欲しくない fact4: そのまにょまちょLv.20は物欲しいしかつ神々しい fact5: そのまにょまちょLv.20は神々しい ; $hypothesis$ = そのまにょまちょLv.20は想像し易くない ; $proof$ = 
fact4 -> int1: そのまにょまちょLv.20は物欲しい; int1 & fact2 -> int2: そのまにょまちょLv.20は物欲しくて賢い; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__