このみよみやLv.66は鳴らさない
fact1: 仮に何らかのモンスターが勇ましくないとしたら御宜しいし加えて鳴らす fact2: あのぷよぷちゃLv.77は理屈っぽい fact3: このみよみやLv.66は勇ましい fact4: 「あるモンスターは性分らしいかもしくは理屈っぽいかあるいは両方ともだ」ということは間違いであるなら勇ましくない fact5: もしとあるモンスターは水臭くないとすれば「性分らしいかまたは理屈っぽい」ということは正しくない fact6: 仮にあのぷよぷちゃLv.77が鳴らすならこのみよみやLv.66は鳴らす fact7: もし仮にこのみよみやLv.66が鳴らすし勇ましいならあのぷよぷちゃLv.77は理屈っぽいということはない
void -> assump1: 以下のように仮定する。このみよみやLv.66は鳴らす; assump1 & fact3 -> int1: このみよみやLv.66は鳴らすし加えてそれは勇ましい; int1 & fact7 -> int2: 「あのぷよぷちゃLv.77は理屈っぽい」ということは成り立つということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このみよみやLv.66は御宜しい
fact8 -> int4: もし仮にこのみよみやLv.66が勇ましくないとすれば御宜しいし更にそれは鳴らす; fact10 -> int5: 「このみよみやLv.66は性分らしいか理屈っぽいかまたは両方ともだ」ということは成り立たないとするとそれは勇ましくない; fact9 -> int6: もしもこのみよみやLv.66は水臭くないとすれば「このみよみやLv.66は性分らしいかあるいは理屈っぽいかもしくは両方ともである」ということは事実と異なる;
$facts$ = fact1: 仮に何らかのモンスターが勇ましくないとしたら御宜しいし加えて鳴らす fact2: あのぷよぷちゃLv.77は理屈っぽい fact3: このみよみやLv.66は勇ましい fact4: 「あるモンスターは性分らしいかもしくは理屈っぽいかあるいは両方ともだ」ということは間違いであるなら勇ましくない fact5: もしとあるモンスターは水臭くないとすれば「性分らしいかまたは理屈っぽい」ということは正しくない fact6: 仮にあのぷよぷちゃLv.77が鳴らすならこのみよみやLv.66は鳴らす fact7: もし仮にこのみよみやLv.66が鳴らすし勇ましいならあのぷよぷちゃLv.77は理屈っぽいということはない ; $hypothesis$ = このみよみやLv.66は鳴らさない ; $proof$ = 
void -> assump1: 以下のように仮定する。このみよみやLv.66は鳴らす; assump1 & fact3 -> int1: このみよみやLv.66は鳴らすし加えてそれは勇ましい; int1 & fact7 -> int2: 「あのぷよぷちゃLv.77は理屈っぽい」ということは成り立つということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__