「そのもにもにゅLv.89は大転換するということはないがしかし寒ーい」ということは誤っている
fact1: あのぷねぷわLv.56が遅しとするとそのまくまよLv.56は寒ーくない fact2: もしあるモンスターはかわゆいなら「それはいじらしくないけど凄い」ということは成り立たない fact3: そのみなみわLv.61はかわゆい fact4: あのぷねぷわLv.56が冗談ぽくないとすればそのまくまよLv.56は寒ーくない fact5: 「そのもにもにゅLv.89は大転換するしおまけに寒ーい」ということは誤っている fact6: そのみなみわLv.61がかわゆいならこのぽのぽいLv.89は動き難い fact7: もし仮にこのぽのぽいLv.89が動き難いならばあのぷねぷわLv.56は遅しかまたは冗談ぽくない fact8: 仮になにがしかのモンスターがかわゆいとすると大転換しなくてそれは寒ーい fact9: 仮にそのまくまよLv.56は寒ーくないとすると「そのもにもにゅLv.89は大転換しない一方で寒ーい」ということは嘘である fact10: もし仮にあのぷねぷわLv.56が遅しとするとそのまくまよLv.56は寒ーい
fact6 & fact3 -> int1: このぽのぽいLv.89は動き難い; int1 & fact7 -> int2: あのぷねぷわLv.56は遅しかもしくは冗談ぽくないかまたは両方ともだ; int2 & fact1 & fact4 -> int3: そのまくまよLv.56は寒ーくない; int3 & fact9 -> hypothesis;
fact6 & fact3 -> int1: {B}{b}; int1 & fact7 -> int2: ({D}{c} v ¬{C}{c}); int2 & fact1 & fact4 -> int3: ¬{E}{d}; int3 & fact9 -> hypothesis;
「このみにゅみくLv.10はいじらしくないがしかし凄い」ということは誤りだ
fact11 -> int4: 「このみにゅみくLv.10はかわゆい」ということは真実だとすると「このみにゅみくLv.10はいじらしくないがそれは凄い」ということは成り立たない;
$facts$ = fact1: あのぷねぷわLv.56が遅しとするとそのまくまよLv.56は寒ーくない fact2: もしあるモンスターはかわゆいなら「それはいじらしくないけど凄い」ということは成り立たない fact3: そのみなみわLv.61はかわゆい fact4: あのぷねぷわLv.56が冗談ぽくないとすればそのまくまよLv.56は寒ーくない fact5: 「そのもにもにゅLv.89は大転換するしおまけに寒ーい」ということは誤っている fact6: そのみなみわLv.61がかわゆいならこのぽのぽいLv.89は動き難い fact7: もし仮にこのぽのぽいLv.89が動き難いならばあのぷねぷわLv.56は遅しかまたは冗談ぽくない fact8: 仮になにがしかのモンスターがかわゆいとすると大転換しなくてそれは寒ーい fact9: 仮にそのまくまよLv.56は寒ーくないとすると「そのもにもにゅLv.89は大転換しない一方で寒ーい」ということは嘘である fact10: もし仮にあのぷねぷわLv.56が遅しとするとそのまくまよLv.56は寒ーい ; $hypothesis$ = 「そのもにもにゅLv.89は大転換するということはないがしかし寒ーい」ということは誤っている ; $proof$ = 
fact6 & fact3 -> int1: このぽのぽいLv.89は動き難い; int1 & fact7 -> int2: あのぷねぷわLv.56は遅しかもしくは冗談ぽくないかまたは両方ともだ; int2 & fact1 & fact4 -> int3: そのまくまよLv.56は寒ーくない; int3 & fact9 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: {B}{b}; int1 & fact7 -> int2: ({D}{c} v ¬{C}{c}); int2 & fact1 & fact4 -> int3: ¬{E}{d}; int3 & fact9 -> hypothesis; __PROVED__