このぷにゅぷちゅLv.78は差し押さえするし加えてエロい
fact1: 仮にあのみいみくLv.40が浅いとするとそれは急進化しない fact2: もし仮にあのみいみくLv.40は急進化しないならば「このぷにゅぷちゅLv.78は急進化するがそれは女っぽくない」ということは成り立たない fact3: 仮に「あのみいみくLv.40はやばいかまたは浅い」ということは事実だとしたらあのみいみくLv.40は急進化しない fact4: もしも「あのみいみくLv.40は浅くないが急進化する」ということは誤りならばこのぷにゅぷちゅLv.78はやばくない fact5: あのみいみくLv.40はやばい fact6: もしも「このぷにゅぷちゅLv.78は急進化するがしかし女っぽいということはない」ということは嘘なら差し押さえする fact7: あのみいみくLv.40はやばいかもしくは差し押さえするかもしくは両方である fact8: 仮になにがしかのモンスターは女っぽいとすると「それは浅くないけれど急進化する」ということは嘘だ fact9: このぷにゅぷちゅLv.78はエロい fact10: もし仮にあのみいみくLv.40は急進化しないとすれば「このぷにゅぷちゅLv.78は急進化するし更に女っぽい」ということは誤りである
fact5 -> int1: あのみいみくLv.40はやばいかそれは浅いかあるいは両方である; int1 & fact3 -> int2: あのみいみくLv.40は急進化しない; int2 & fact2 -> int3: 「このぷにゅぷちゅLv.78は急進化する一方でそれは女っぽくない」ということは成り立たない; int3 & fact6 -> int4: このぷにゅぷちゅLv.78は差し押さえする; int4 & fact9 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: ¬({C}{b} & ¬{D}{b}); int3 & fact6 -> int4: {E}{b}; int4 & fact9 -> hypothesis;
「このぷにゅぷちゅLv.78は差し押さえするしエロい」ということは誤りだ
fact11 -> int5: もし仮に「そのぷやぷにゃLv.48は女っぽい」ということは成り立てば「そのぷやぷにゃLv.48は浅いということはないけど急進化する」ということは間違いだ;
$facts$ = fact1: 仮にあのみいみくLv.40が浅いとするとそれは急進化しない fact2: もし仮にあのみいみくLv.40は急進化しないならば「このぷにゅぷちゅLv.78は急進化するがそれは女っぽくない」ということは成り立たない fact3: 仮に「あのみいみくLv.40はやばいかまたは浅い」ということは事実だとしたらあのみいみくLv.40は急進化しない fact4: もしも「あのみいみくLv.40は浅くないが急進化する」ということは誤りならばこのぷにゅぷちゅLv.78はやばくない fact5: あのみいみくLv.40はやばい fact6: もしも「このぷにゅぷちゅLv.78は急進化するがしかし女っぽいということはない」ということは嘘なら差し押さえする fact7: あのみいみくLv.40はやばいかもしくは差し押さえするかもしくは両方である fact8: 仮になにがしかのモンスターは女っぽいとすると「それは浅くないけれど急進化する」ということは嘘だ fact9: このぷにゅぷちゅLv.78はエロい fact10: もし仮にあのみいみくLv.40は急進化しないとすれば「このぷにゅぷちゅLv.78は急進化するし更に女っぽい」ということは誤りである ; $hypothesis$ = このぷにゅぷちゅLv.78は差し押さえするし加えてエロい ; $proof$ = 
fact5 -> int1: あのみいみくLv.40はやばいかそれは浅いかあるいは両方である; int1 & fact3 -> int2: あのみいみくLv.40は急進化しない; int2 & fact2 -> int3: 「このぷにゅぷちゅLv.78は急進化する一方でそれは女っぽくない」ということは成り立たない; int3 & fact6 -> int4: このぷにゅぷちゅLv.78は差し押さえする; int4 & fact9 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: ¬({C}{b} & ¬{D}{b}); int3 & fact6 -> int4: {E}{b}; int4 & fact9 -> hypothesis; __PROVED__