「そのもわもゆLv.30がでかいしその上それは騙され易い」ということは間違いだ
fact1: もしもこのぽやぽちゃLv.10がでかくないとしたらそのもわもゆLv.30はでかいしさらに騙され易い fact2: 仮にこのぽやぽちゃLv.10が倹しかないか一突きしないかもしくはどちらもだとすればそのもわもゆLv.30は一突きしない fact3: もし仮にこのぽやぽちゃLv.10が測り難いとしたらこのぽやぽちゃLv.10は一突きする fact4: そのもわもゆLv.30は騙され易い fact5: このぽやぽちゃLv.10は潜行する fact6: もし仮にこのぽやぽちゃLv.10が一突きするし倹しいならこのぽやぽちゃLv.10はでかくない fact7: このぽやぽちゃLv.10は潜行するとしたら「測り難い」ということは成り立つ fact8: もし仮に何らかのモンスターは潜行しないとすれば「でかいしおまけに騙され易い」ということは事実と異なる fact9: もし仮にそのもわもゆLv.30が倹しかないならこのぽやぽちゃLv.10は倹しい fact10: このぽやぽちゃLv.10は倹しい
fact7 & fact5 -> int1: このぽやぽちゃLv.10は測り難い; int1 & fact3 -> int2: このぽやぽちゃLv.10は一突きする; int2 & fact10 -> int3: このぽやぽちゃLv.10は一突きするしおまけにそれは倹しい; int3 & fact6 -> int4: このぽやぽちゃLv.10はでかくない; int4 & fact1 -> hypothesis;
fact7 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact10 -> int3: ({C}{a} & {D}{a}); int3 & fact6 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis;
「そのもわもゆLv.30がでかいしその上それは騙され易い」ということは間違いだ
fact12 -> int5: もし「そのもわもゆLv.30は潜行しない」ということは成り立つなら「でかくてそれは騙され易い」ということは誤りである;
$facts$ = fact1: もしもこのぽやぽちゃLv.10がでかくないとしたらそのもわもゆLv.30はでかいしさらに騙され易い fact2: 仮にこのぽやぽちゃLv.10が倹しかないか一突きしないかもしくはどちらもだとすればそのもわもゆLv.30は一突きしない fact3: もし仮にこのぽやぽちゃLv.10が測り難いとしたらこのぽやぽちゃLv.10は一突きする fact4: そのもわもゆLv.30は騙され易い fact5: このぽやぽちゃLv.10は潜行する fact6: もし仮にこのぽやぽちゃLv.10が一突きするし倹しいならこのぽやぽちゃLv.10はでかくない fact7: このぽやぽちゃLv.10は潜行するとしたら「測り難い」ということは成り立つ fact8: もし仮に何らかのモンスターは潜行しないとすれば「でかいしおまけに騙され易い」ということは事実と異なる fact9: もし仮にそのもわもゆLv.30が倹しかないならこのぽやぽちゃLv.10は倹しい fact10: このぽやぽちゃLv.10は倹しい ; $hypothesis$ = 「そのもわもゆLv.30がでかいしその上それは騙され易い」ということは間違いだ ; $proof$ = 
fact7 & fact5 -> int1: このぽやぽちゃLv.10は測り難い; int1 & fact3 -> int2: このぽやぽちゃLv.10は一突きする; int2 & fact10 -> int3: このぽやぽちゃLv.10は一突きするしおまけにそれは倹しい; int3 & fact6 -> int4: このぽやぽちゃLv.10はでかくない; int4 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact10 -> int3: ({C}{a} & {D}{a}); int3 & fact6 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis; __DISPROVED__