「あのまにゅまゆLv.96は壊せるかまたは例外無いかもしくは両方だ」ということは偽だ
fact1: もし何らかのモンスターは天狗らしくないとすると「壊せるかあるいは例外無い」ということは間違いだ fact2: このもちゃもにゃLv.35は天狗らしい fact3: もし「このもちゃもにゃLv.35は罹り易いが縁遠くない」ということは成り立たないとしたらこのぷわぷねLv.95は左右され易い fact4: もし仮になにがしかのモンスターは天狗らしいとしたら「罹り易くておまけに縁遠いということはない」ということは成り立たない fact5: もしもこのぷわぷねLv.95が左右され易いとしたらあのまにゅまゆLv.96は壊せる
fact4 -> int1: もしもこのもちゃもにゃLv.35は天狗らしいとすれば「このもちゃもにゃLv.35は罹り易いが縁遠くない」ということは嘘である; int1 & fact2 -> int2: 「このもちゃもにゃLv.35は罹り易いけれど縁遠くない」ということは成り立たない; int2 & fact3 -> int3: このぷわぷねLv.95は左右され易い; int3 & fact5 -> int4: あのまにゅまゆLv.96は壊せる; int4 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{b}; int4 -> hypothesis;
「あのまにゅまゆLv.96は壊せるかまたは例外無いかもしくは両方だ」ということは偽だ
fact6 -> int5: あのまにゅまゆLv.96は天狗らしくないとしたら「「あのまにゅまゆLv.96は壊せるかまたはそれは例外無い」ということは成り立たない」ということは確かだ;
$facts$ = fact1: もし何らかのモンスターは天狗らしくないとすると「壊せるかあるいは例外無い」ということは間違いだ fact2: このもちゃもにゃLv.35は天狗らしい fact3: もし「このもちゃもにゃLv.35は罹り易いが縁遠くない」ということは成り立たないとしたらこのぷわぷねLv.95は左右され易い fact4: もし仮になにがしかのモンスターは天狗らしいとしたら「罹り易くておまけに縁遠いということはない」ということは成り立たない fact5: もしもこのぷわぷねLv.95が左右され易いとしたらあのまにゅまゆLv.96は壊せる ; $hypothesis$ = 「あのまにゅまゆLv.96は壊せるかまたは例外無いかもしくは両方だ」ということは偽だ ; $proof$ = 
fact4 -> int1: もしもこのもちゃもにゃLv.35は天狗らしいとすれば「このもちゃもにゃLv.35は罹り易いが縁遠くない」ということは嘘である; int1 & fact2 -> int2: 「このもちゃもにゃLv.35は罹り易いけれど縁遠くない」ということは成り立たない; int2 & fact3 -> int3: このぷわぷねLv.95は左右され易い; int3 & fact5 -> int4: あのまにゅまゆLv.96は壊せる; int4 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{b}; int4 -> hypothesis; __DISPROVED__