「動き易いかまたは付き難い」モンスターはいる
fact1: 動き易いモンスターは使用し易いかもしくは祈念しないかまたは両方ともである fact2: もし何らかのモンスターは使用し易いかもしくは祈念しないかあるいは両方ともなら使用し易い fact3: あのみなみのLv.73は祈念する fact4: もしもあのみなみのLv.73は祈念するなら「そのまにゃまのLv.26は動き易い」ということは確かである fact5: 「「祭らないがしかしどす黒い」ということは嘘である」モンスターはいる fact6: 「祈念するかあるいは動き易いかあるいは両方ともな」モンスターはいる fact7: もし「そのまにゃまのLv.26は動き易い」ということは間違っていないならばあのみなみのLv.73は付き難い
fact4 & fact3 -> int1: 「そのまにゃまのLv.26は動き易い」ということは本当である; int1 -> int2: そのまにゃまのLv.26は動き易いかそれは付き難い; int2 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis;
あのぷわぷねLv.78は使用し易い
fact8 -> int3: もし仮にあのぷわぷねLv.78は使用し易いかもしくは祈念しないかあるいは両方だとすると使用し易い; fact9 -> int4: あのぷわぷねLv.78が動き易いならばあのぷわぷねLv.78は使用し易いかもしくはそれは祈念しない;
$facts$ = fact1: 動き易いモンスターは使用し易いかもしくは祈念しないかまたは両方ともである fact2: もし何らかのモンスターは使用し易いかもしくは祈念しないかあるいは両方ともなら使用し易い fact3: あのみなみのLv.73は祈念する fact4: もしもあのみなみのLv.73は祈念するなら「そのまにゃまのLv.26は動き易い」ということは確かである fact5: 「「祭らないがしかしどす黒い」ということは嘘である」モンスターはいる fact6: 「祈念するかあるいは動き易いかあるいは両方ともな」モンスターはいる fact7: もし「そのまにゃまのLv.26は動き易い」ということは間違っていないならばあのみなみのLv.73は付き難い ; $hypothesis$ = 「動き易いかまたは付き難い」モンスターはいる ; $proof$ = 
fact4 & fact3 -> int1: 「そのまにゃまのLv.26は動き易い」ということは本当である; int1 -> int2: そのまにゃまのLv.26は動き易いかそれは付き難い; int2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis; __PROVED__