あのまにょまちゃLv.88はしぶとい
fact1: もしこのぴちょぴにLv.92は蝟集するということはないならば「このみちょみいLv.19は新しくないけどそれは譲渡す」ということは成り立たない fact2: 仮に「このみちょみいLv.19は新しくないけど譲渡す」ということは事実と異なるとしたらあのまにょまちゃLv.88はしぶとくない fact3: このぴちょぴにLv.92は胡散臭い fact4: もし「このぴちょぴにLv.92は処置しないがしかし遣り易い」ということは間違いであるとするとこのぴちょぴにLv.92は蝟集しない fact5: もし仮にこのぴちょぴにLv.92が遣り易くないとすればこのぴちょぴにLv.92は蝟集しない fact6: もしこのぴちょぴにLv.92は蝟集しないとすると「このみちょみいLv.19は新しいし譲渡す」ということは間違っている fact7: このみちょみいLv.19が新しいとするとあのまにょまちゃLv.88はしぶとくない fact8: もし仮に何らかのモンスターは胡散臭いとすると「処置しないがしかし遣り易い」ということは成り立たない fact9: 「このみちょみいLv.19は新しいし更に譲渡す」ということは確かでない fact10: 「このぴちょぴにLv.92は譲渡すらないけど蝟集する」ということは間違いならばこのみちょみいLv.19はしぶといということはない
fact8 -> int1: もし仮にこのぴちょぴにLv.92は胡散臭いとすれば「このぴちょぴにLv.92は処置するということはないが遣り易い」ということは成り立つということはない; int1 & fact3 -> int2: 「このぴちょぴにLv.92は処置しないけどそれは遣り易い」ということは成り立たない; int2 & fact4 -> int3: このぴちょぴにLv.92は蝟集するということはない; int3 & fact1 -> int4: 「このみちょみいLv.19は新しくないが譲渡す」ということは嘘だ; int4 & fact2 -> hypothesis;
fact8 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: ¬{B}{aa}; int3 & fact1 -> int4: ¬(¬{D}{a} & {C}{a}); int4 & fact2 -> hypothesis;
$facts$ = fact1: もしこのぴちょぴにLv.92は蝟集するということはないならば「このみちょみいLv.19は新しくないけどそれは譲渡す」ということは成り立たない fact2: 仮に「このみちょみいLv.19は新しくないけど譲渡す」ということは事実と異なるとしたらあのまにょまちゃLv.88はしぶとくない fact3: このぴちょぴにLv.92は胡散臭い fact4: もし「このぴちょぴにLv.92は処置しないがしかし遣り易い」ということは間違いであるとするとこのぴちょぴにLv.92は蝟集しない fact5: もし仮にこのぴちょぴにLv.92が遣り易くないとすればこのぴちょぴにLv.92は蝟集しない fact6: もしこのぴちょぴにLv.92は蝟集しないとすると「このみちょみいLv.19は新しいし譲渡す」ということは間違っている fact7: このみちょみいLv.19が新しいとするとあのまにょまちゃLv.88はしぶとくない fact8: もし仮に何らかのモンスターは胡散臭いとすると「処置しないがしかし遣り易い」ということは成り立たない fact9: 「このみちょみいLv.19は新しいし更に譲渡す」ということは確かでない fact10: 「このぴちょぴにLv.92は譲渡すらないけど蝟集する」ということは間違いならばこのみちょみいLv.19はしぶといということはない ; $hypothesis$ = あのまにょまちゃLv.88はしぶとい ; $proof$ = 
fact8 -> int1: もし仮にこのぴちょぴにLv.92は胡散臭いとすれば「このぴちょぴにLv.92は処置するということはないが遣り易い」ということは成り立つということはない; int1 & fact3 -> int2: 「このぴちょぴにLv.92は処置しないけどそれは遣り易い」ということは成り立たない; int2 & fact4 -> int3: このぴちょぴにLv.92は蝟集するということはない; int3 & fact1 -> int4: 「このみちょみいLv.19は新しくないが譲渡す」ということは嘘だ; int4 & fact2 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: ¬{B}{aa}; int3 & fact1 -> int4: ¬(¬{D}{a} & {C}{a}); int4 & fact2 -> hypothesis; __DISPROVED__