もし仮にこのもゆもくLv.33が流され易いとしたらそのぷやぷにLv.49は清々する
fact1: もし仮にそのぷやぷにLv.49はけたたましいとすると「それは清々する」ということは正しい fact2: もし「このもゆもくLv.33は流され易い」ということは正しいとするとそのぷやぷにLv.49はけたたましい fact3: 流され易くないモンスターであってかつ清々するということはないモンスターはけたたましくない fact4: このもゆもくLv.33は清々する
void -> assump1: 以下のように仮定する。このもゆもくLv.33は流され易い; fact2 & assump1 -> int1: そのぷやぷにLv.49はけたたましい; int1 & fact1 -> int2: そのぷやぷにLv.49は清々する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
「そのまいまにLv.36はけたたましい」ということは間違っていない
fact5 -> int3: もし仮にそのまいまにLv.36が流され易くないし清々しないならそのまいまにLv.36はけたたましい;
$facts$ = fact1: もし仮にそのぷやぷにLv.49はけたたましいとすると「それは清々する」ということは正しい fact2: もし「このもゆもくLv.33は流され易い」ということは正しいとするとそのぷやぷにLv.49はけたたましい fact3: 流され易くないモンスターであってかつ清々するということはないモンスターはけたたましくない fact4: このもゆもくLv.33は清々する ; $hypothesis$ = もし仮にこのもゆもくLv.33が流され易いとしたらそのぷやぷにLv.49は清々する ; $proof$ = 
void -> assump1: 以下のように仮定する。このもゆもくLv.33は流され易い; fact2 & assump1 -> int1: そのぷやぷにLv.49はけたたましい; int1 & fact1 -> int2: そのぷやぷにLv.49は清々する; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__