「このみなみいLv.8はがめつくてさらに持ち易い」ということは本当でない
fact1: そのもえもにゃLv.11は進み易い fact2: もしもなにがしかのモンスターが進み易いなら当たり難くなくてその上それは割譲しない fact3: 「仮にそのもえもにゃLv.11が好ましならこのみなみいLv.8は持ち易い」ということは本当である fact4: このみなみいLv.8はがめつい fact5: そのもえもにゃLv.11が当たり難いということはないしおまけに割譲しないとするとそれは好まし
fact2 -> int1: そのもえもにゃLv.11が進み易いならばそのもえもにゃLv.11は当たり難くないしかつ割譲しない; int1 & fact1 -> int2: そのもえもにゃLv.11は当たり難くなくて割譲しない; int2 & fact5 -> int3: そのもえもにゃLv.11は好まし; int3 & fact3 -> int4: このみなみいLv.8は持ち易い; int4 & fact4 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact5 -> int3: {B}{aa}; int3 & fact3 -> int4: {C}{a}; int4 & fact4 -> hypothesis;
$facts$ = fact1: そのもえもにゃLv.11は進み易い fact2: もしもなにがしかのモンスターが進み易いなら当たり難くなくてその上それは割譲しない fact3: 「仮にそのもえもにゃLv.11が好ましならこのみなみいLv.8は持ち易い」ということは本当である fact4: このみなみいLv.8はがめつい fact5: そのもえもにゃLv.11が当たり難いということはないしおまけに割譲しないとするとそれは好まし ; $hypothesis$ = 「このみなみいLv.8はがめつくてさらに持ち易い」ということは本当でない ; $proof$ = 
fact2 -> int1: そのもえもにゃLv.11が進み易いならばそのもえもにゃLv.11は当たり難くないしかつ割譲しない; int1 & fact1 -> int2: そのもえもにゃLv.11は当たり難くなくて割譲しない; int2 & fact5 -> int3: そのもえもにゃLv.11は好まし; int3 & fact3 -> int4: このみなみいLv.8は持ち易い; int4 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact5 -> int3: {B}{aa}; int3 & fact3 -> int4: {C}{a}; int4 & fact4 -> hypothesis; __DISPROVED__