あのみにゃみえLv.42は伴い易くない
fact1: もしもあのみにゃみえLv.42が捕らえ難いとすると伴い易い fact2: もし仮にそのまわまちょLv.94は溜まり易くないとすると「攻め切れないし危なくない」ということは成り立たない fact3: 「もしも「そのまわまちょLv.94は攻め切れなくてその上それは危ないということはない」ということは間違っているとしたらあのみにゃみえLv.42は捕らえ難い」ということは真実だ fact4: もしも「あるモンスターは検知する」ということは確かであるとすれば「それは低しないけど骨っぽい」ということは事実と異なる fact5: あのみくみにLv.6は溜まり易い fact6: もし「あのみねみゆLv.45は低ししそれに溜まり易い」ということは間違いであるとすればそのまわまちょLv.94は溜まり易くない fact7: 捕らえ難くないモンスターは溜まり易いモンスターでありさらに伴い易くない fact8: 「あのみねみゆLv.45は低ししさらに溜まり易い」ということは確かだということはない fact9: もしも「とあるモンスターは低しない一方でそれは骨っぽい」ということは事実でないとするとそれは捕らえ難くない fact10: あのみにゃみえLv.42が気難しいということはないならばそれは検知するしさらに誘発し易い
fact6 & fact8 -> int1: そのまわまちょLv.94は溜まり易くない; fact2 & int1 -> int2: 「そのまわまちょLv.94は攻め切れないしさらにそれは危なくない」ということは成り立たない; int2 & fact3 -> int3: 「あのみにゃみえLv.42は捕らえ難い」ということは確かである; int3 & fact1 -> hypothesis;
fact6 & fact8 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}); int2 & fact3 -> int3: {B}{b}; int3 & fact1 -> hypothesis;
あのみにゃみえLv.42は伴い易くない
fact11 -> int4: もし仮にあのみにゃみえLv.42が捕らえ難くないとすればあのみにゃみえLv.42は溜まり易いけどそれは伴い易くない; fact12 -> int5: もしも「あのみにゃみえLv.42は低しないがしかし骨っぽい」ということは間違いであるとするとあのみにゃみえLv.42は捕らえ難くない; fact14 -> int6: もしあのみにゃみえLv.42は検知するとしたら「あのみにゃみえLv.42は低しないがそれは骨っぽい」ということは偽である;
$facts$ = fact1: もしもあのみにゃみえLv.42が捕らえ難いとすると伴い易い fact2: もし仮にそのまわまちょLv.94は溜まり易くないとすると「攻め切れないし危なくない」ということは成り立たない fact3: 「もしも「そのまわまちょLv.94は攻め切れなくてその上それは危ないということはない」ということは間違っているとしたらあのみにゃみえLv.42は捕らえ難い」ということは真実だ fact4: もしも「あるモンスターは検知する」ということは確かであるとすれば「それは低しないけど骨っぽい」ということは事実と異なる fact5: あのみくみにLv.6は溜まり易い fact6: もし「あのみねみゆLv.45は低ししそれに溜まり易い」ということは間違いであるとすればそのまわまちょLv.94は溜まり易くない fact7: 捕らえ難くないモンスターは溜まり易いモンスターでありさらに伴い易くない fact8: 「あのみねみゆLv.45は低ししさらに溜まり易い」ということは確かだということはない fact9: もしも「とあるモンスターは低しない一方でそれは骨っぽい」ということは事実でないとするとそれは捕らえ難くない fact10: あのみにゃみえLv.42が気難しいということはないならばそれは検知するしさらに誘発し易い ; $hypothesis$ = あのみにゃみえLv.42は伴い易くない ; $proof$ = 
fact6 & fact8 -> int1: そのまわまちょLv.94は溜まり易くない; fact2 & int1 -> int2: 「そのまわまちょLv.94は攻め切れないしさらにそれは危なくない」ということは成り立たない; int2 & fact3 -> int3: 「あのみにゃみえLv.42は捕らえ難い」ということは確かである; int3 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}); int2 & fact3 -> int3: {B}{b}; int3 & fact1 -> hypothesis; __DISPROVED__