「このまちゅまやLv.25は少なしない」ということは正しい
fact1: 止み難くないモンスターは少なしし更にアプローチし易い fact2: あのぷなぷにょLv.16は止み難くてイスラム化する fact3: 仮にとあるモンスターが開口すればそれは影響され易い fact4: もしもあのぷなぷにょLv.16が止み難くてかつそれが影響され易いならこのまちゅまやLv.25は止み難いということはない fact5: 仮にあのぷなぷにょLv.16がアプローチし易いならこのまいまちゃLv.60は止み難い fact6: あのぷなぷにょLv.16はアプローチし易い fact7: このまいまちゃLv.60はイスラム化する fact8: もしこのまいまちゃLv.60が止み難くてイスラム化するとしたらこのまちゅまやLv.25は少なしない
fact5 & fact6 -> int1: このまいまちゃLv.60は止み難い; int1 & fact7 -> int2: このまいまちゃLv.60は止み難いしまたイスラム化する; int2 & fact8 -> hypothesis;
fact5 & fact6 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis;
このまちゅまやLv.25は少なし
fact9 -> int3: 「このまちゅまやLv.25が止み難くないならこのまちゅまやLv.25は少なしし加えてアプローチし易い」ということは事実である; fact11 -> int4: あのぷなぷにょLv.16は止み難い; fact10 -> int5: もし「あのぷなぷにょLv.16は開口する」ということは確かだとしたら影響され易い;
$facts$ = fact1: 止み難くないモンスターは少なしし更にアプローチし易い fact2: あのぷなぷにょLv.16は止み難くてイスラム化する fact3: 仮にとあるモンスターが開口すればそれは影響され易い fact4: もしもあのぷなぷにょLv.16が止み難くてかつそれが影響され易いならこのまちゅまやLv.25は止み難いということはない fact5: 仮にあのぷなぷにょLv.16がアプローチし易いならこのまいまちゃLv.60は止み難い fact6: あのぷなぷにょLv.16はアプローチし易い fact7: このまいまちゃLv.60はイスラム化する fact8: もしこのまいまちゃLv.60が止み難くてイスラム化するとしたらこのまちゅまやLv.25は少なしない ; $hypothesis$ = 「このまちゅまやLv.25は少なしない」ということは正しい ; $proof$ = 
fact5 & fact6 -> int1: このまいまちゃLv.60は止み難い; int1 & fact7 -> int2: このまいまちゃLv.60は止み難いしまたイスラム化する; int2 & fact8 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis; __PROVED__