あのものもえLv.3は青しないかまたは神がかるかもしくは両方ともだ
fact1: もし仮にあのみゆみのLv.19が青しならばあのものもえLv.3は青しないかそれは神がかる fact2: あのものもえLv.3は青しかもしくは神がかる fact3: あのみゆみのLv.19が写せるならそれは青し fact4: あのみゆみのLv.19は誤解し易くてそれは写せる
fact4 -> int1: あのみゆみのLv.19は写せる; int1 & fact3 -> int2: あのみゆみのLv.19は青し; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのみゆみのLv.19が青しならばあのものもえLv.3は青しないかそれは神がかる fact2: あのものもえLv.3は青しかもしくは神がかる fact3: あのみゆみのLv.19が写せるならそれは青し fact4: あのみゆみのLv.19は誤解し易くてそれは写せる ; $hypothesis$ = あのものもえLv.3は青しないかまたは神がかるかもしくは両方ともだ ; $proof$ = 
fact4 -> int1: あのみゆみのLv.19は写せる; int1 & fact3 -> int2: あのみゆみのLv.19は青し; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__