このぽやぽにゃLv.39は耐う
fact1: もしもこのぽちゅぽやLv.55が来辛いならこのぽやぽにゃLv.39は女らしい fact2: もしもこのぽちゅぽやLv.55が野宿するとすればこのぽやぽにゃLv.39は女らしい fact3: 仮にこのぽちゅぽやLv.55が焼き難くないし野宿しないとすれば「あのぴえぴくLv.48は焼き難くない」ということは成り立つ fact4: もしも「なにがしかのモンスターは来辛くないしその上それは野宿しない」ということは嘘であるとしたらそれは耐うない fact5: このぽちゃぽやLv.12は安っぽくない fact6: 仮にこのぽやぽにゃLv.39は女らしいなら「このぽやぽにゃLv.39は焼き難い」ということは確かだ fact7: このぽちゅぽやLv.55は安っぽい fact8: このぽちゃぽやLv.12が安っぽくないとしたらこのぽちゅぽやLv.55は野宿するかあるいは来辛いかまたは両方である fact9: もしこのぽやぽにゃLv.39が焼き難いとすると耐う
fact5 & fact8 -> int1: このぽちゅぽやLv.55は野宿するかもしくは来辛いかあるいはどちらもだ; int1 & fact2 & fact1 -> int2: このぽやぽにゃLv.39は女らしい; int2 & fact6 -> int3: このぽやぽにゃLv.39は焼き難い; int3 & fact9 -> hypothesis;
fact5 & fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact2 & fact1 -> int2: {C}{c}; int2 & fact6 -> int3: {D}{c}; int3 & fact9 -> hypothesis;
このぽやぽにゃLv.39は耐うない
fact10 -> int4: もしも「このぽやぽにゃLv.39は来辛くないし更に野宿しない」ということは成り立つということはないなら「それは耐うない」ということは間違っていない;
$facts$ = fact1: もしもこのぽちゅぽやLv.55が来辛いならこのぽやぽにゃLv.39は女らしい fact2: もしもこのぽちゅぽやLv.55が野宿するとすればこのぽやぽにゃLv.39は女らしい fact3: 仮にこのぽちゅぽやLv.55が焼き難くないし野宿しないとすれば「あのぴえぴくLv.48は焼き難くない」ということは成り立つ fact4: もしも「なにがしかのモンスターは来辛くないしその上それは野宿しない」ということは嘘であるとしたらそれは耐うない fact5: このぽちゃぽやLv.12は安っぽくない fact6: 仮にこのぽやぽにゃLv.39は女らしいなら「このぽやぽにゃLv.39は焼き難い」ということは確かだ fact7: このぽちゅぽやLv.55は安っぽい fact8: このぽちゃぽやLv.12が安っぽくないとしたらこのぽちゅぽやLv.55は野宿するかあるいは来辛いかまたは両方である fact9: もしこのぽやぽにゃLv.39が焼き難いとすると耐う ; $hypothesis$ = このぽやぽにゃLv.39は耐う ; $proof$ = 
fact5 & fact8 -> int1: このぽちゅぽやLv.55は野宿するかもしくは来辛いかあるいはどちらもだ; int1 & fact2 & fact1 -> int2: このぽやぽにゃLv.39は女らしい; int2 & fact6 -> int3: このぽやぽにゃLv.39は焼き難い; int3 & fact9 -> hypothesis; __PROVED__
fact5 & fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact2 & fact1 -> int2: {C}{c}; int2 & fact6 -> int3: {D}{c}; int3 & fact9 -> hypothesis; __PROVED__