あのまにゃまなLv.93は痛ましくない
fact1: 仮に「このぷゆぷゆLv.85は物凄ーくないがしかし聞き辛い」ということは間違っていれば京都らしいということはない fact2: 「もしもこのぷゆぷゆLv.85が物凄ーくない一方で痛ましいならばあのまにゃまなLv.93は聞き辛いということはない」ということは成り立つ fact3: このぷゆぷゆLv.85は物凄ーくないがしかし入れ易い fact4: 仮にこのぷゆぷゆLv.85が物凄ーくないがそれが聞き辛いとしたらあのまにゃまなLv.93は痛ましくない fact5: このぷゆぷゆLv.85は京都らしい fact6: もし仮にこのぷゆぷゆLv.85が眠たいとしたらあのまにゃまなLv.93は眠たい fact7: もしも「あのまにゃまなLv.93は京都らしくないけれどそれは痛ましい」ということは成り立たないならばあのまにゃまなLv.93は聞き辛くない fact8: あのまにゃまなLv.93は物凄ーい
void -> assump1: 以下のように仮定する。「このぷゆぷゆLv.85は物凄ーくないけれど聞き辛い」ということは嘘だ; fact1 & assump1 -> int1: このぷゆぷゆLv.85は京都らしくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぷゆぷゆLv.85は物凄ーくない一方でそれは聞き辛い; int3 & fact4 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 & fact4 -> hypothesis;
あのまにゃまなLv.93は眠たい
$facts$ = fact1: 仮に「このぷゆぷゆLv.85は物凄ーくないがしかし聞き辛い」ということは間違っていれば京都らしいということはない fact2: 「もしもこのぷゆぷゆLv.85が物凄ーくない一方で痛ましいならばあのまにゃまなLv.93は聞き辛いということはない」ということは成り立つ fact3: このぷゆぷゆLv.85は物凄ーくないがしかし入れ易い fact4: 仮にこのぷゆぷゆLv.85が物凄ーくないがそれが聞き辛いとしたらあのまにゃまなLv.93は痛ましくない fact5: このぷゆぷゆLv.85は京都らしい fact6: もし仮にこのぷゆぷゆLv.85が眠たいとしたらあのまにゃまなLv.93は眠たい fact7: もしも「あのまにゃまなLv.93は京都らしくないけれどそれは痛ましい」ということは成り立たないならばあのまにゃまなLv.93は聞き辛くない fact8: あのまにゃまなLv.93は物凄ーい ; $hypothesis$ = あのまにゃまなLv.93は痛ましくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このぷゆぷゆLv.85は物凄ーくないけれど聞き辛い」ということは嘘だ; fact1 & assump1 -> int1: このぷゆぷゆLv.85は京都らしくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぷゆぷゆLv.85は物凄ーくない一方でそれは聞き辛い; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 & fact4 -> hypothesis; __PROVED__