そのもくもにゃLv.20は忙しい
fact1: そのまにゅまやLv.14は滑り始めない fact2: そのもくもにゃLv.20が引っ越し始めるならそれは忙しい fact3: もしも「滑り始めない」モンスターがいるとすればそのもくもにゃLv.20は苦々しいししかもそれは引っ越し始める
fact1 -> int1: 「滑り始めない」モンスターはいる; int1 & fact3 -> int2: そのもくもにゃLv.20は苦々しくて引っ越し始める; int2 -> int3: そのもくもにゃLv.20は引っ越し始める; int3 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: そのまにゅまやLv.14は滑り始めない fact2: そのもくもにゃLv.20が引っ越し始めるならそれは忙しい fact3: もしも「滑り始めない」モンスターがいるとすればそのもくもにゃLv.20は苦々しいししかもそれは引っ越し始める ; $hypothesis$ = そのもくもにゃLv.20は忙しい ; $proof$ = 
fact1 -> int1: 「滑り始めない」モンスターはいる; int1 & fact3 -> int2: そのもくもにゃLv.20は苦々しくて引っ越し始める; int2 -> int3: そのもくもにゃLv.20は引っ越し始める; int3 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): ¬{A}x; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> int3: {C}{a}; int3 & fact2 -> hypothesis; __PROVED__