そのぷよぷえLv.74は破壊し始めないがしかしそれはやんごとない
fact1: もし仮にそのぷのぷちゃLv.49が痛ましいしまた疑い始めるならそのもにゃもゆLv.62はやんごとなくない fact2: もし仮にそのもにゃもゆLv.62がやんごとなくないとすればそのぷよぷえLv.74は破壊し始めないがしかしやんごとない fact3: そのぷのぷちゃLv.49は疑い始める fact4: そのぷのぷちゃLv.49は痛ましい fact5: そのもにゃもゆLv.62は呆気ないしその上艶めかしい fact6: もしも何らかのモンスターは痛ましいなら「それは破壊し始めないがしかしやんごとない」ということは成り立たない fact7: もし仮にそのぷのぷちゃLv.49が有り難くないとするとそれは悲しくてそれに遣る瀬無い fact8: もしもそのもにゃもゆLv.62が呆気ないとしたらそのぷのぷちゃLv.49は有り難くない
fact4 & fact3 -> int1: そのぷのぷちゃLv.49は痛ましいしその上疑い始める; int1 & fact1 -> int2: そのもにゃもゆLv.62はやんごとないということはない; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
「そのぷよぷえLv.74は破壊し始めないがやんごとない」ということは成り立たない
fact12 -> int3: もしそのぷよぷえLv.74は痛ましいとすれば「破壊し始めなくてやんごとない」ということは偽だ; fact11 -> int4: そのもにゃもゆLv.62は呆気ない; fact10 & int4 -> int5: そのぷのぷちゃLv.49は有り難いということはない; fact9 & int5 -> int6: そのぷのぷちゃLv.49は悲しくてまたそれは遣る瀬無い; int6 -> int7: そのぷのぷちゃLv.49は遣る瀬無い; int7 -> int8: 「「遣る瀬無い」ということは真実である」モンスターはいる;
$facts$ = fact1: もし仮にそのぷのぷちゃLv.49が痛ましいしまた疑い始めるならそのもにゃもゆLv.62はやんごとなくない fact2: もし仮にそのもにゃもゆLv.62がやんごとなくないとすればそのぷよぷえLv.74は破壊し始めないがしかしやんごとない fact3: そのぷのぷちゃLv.49は疑い始める fact4: そのぷのぷちゃLv.49は痛ましい fact5: そのもにゃもゆLv.62は呆気ないしその上艶めかしい fact6: もしも何らかのモンスターは痛ましいなら「それは破壊し始めないがしかしやんごとない」ということは成り立たない fact7: もし仮にそのぷのぷちゃLv.49が有り難くないとするとそれは悲しくてそれに遣る瀬無い fact8: もしもそのもにゃもゆLv.62が呆気ないとしたらそのぷのぷちゃLv.49は有り難くない ; $hypothesis$ = そのぷよぷえLv.74は破壊し始めないがしかしそれはやんごとない ; $proof$ = 
fact4 & fact3 -> int1: そのぷのぷちゃLv.49は痛ましいしその上疑い始める; int1 & fact1 -> int2: そのもにゃもゆLv.62はやんごとないということはない; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis; __PROVED__