「そのぷゆぷなLv.76は素早いし慌ただしい」ということは成り立たない
fact1: 宜しいモンスターが入り易くないなら出難い fact2: 仮にあのぴにゅぴわLv.10は出難いとすれば「そのぷゆぷなLv.76は少なし」ということは確かである fact3: もしもそのぷゆぷなLv.76が少なしならそれは素早い fact4: あのぴにゅぴわLv.10は宜しいがしかし入り易くない fact5: そのぷゆぷなLv.76は慌ただしい
fact1 -> int1: もしあのぴにゅぴわLv.10が宜しいけどそれが入り易くないならば出難い; int1 & fact4 -> int2: あのぴにゅぴわLv.10は出難い; int2 & fact2 -> int3: そのぷゆぷなLv.76は少なし; int3 & fact3 -> int4: そのぷゆぷなLv.76は素早い; int4 & fact5 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{a}; int3 & fact3 -> int4: {C}{a}; int4 & fact5 -> hypothesis;
$facts$ = fact1: 宜しいモンスターが入り易くないなら出難い fact2: 仮にあのぴにゅぴわLv.10は出難いとすれば「そのぷゆぷなLv.76は少なし」ということは確かである fact3: もしもそのぷゆぷなLv.76が少なしならそれは素早い fact4: あのぴにゅぴわLv.10は宜しいがしかし入り易くない fact5: そのぷゆぷなLv.76は慌ただしい ; $hypothesis$ = 「そのぷゆぷなLv.76は素早いし慌ただしい」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしあのぴにゅぴわLv.10が宜しいけどそれが入り易くないならば出難い; int1 & fact4 -> int2: あのぴにゅぴわLv.10は出難い; int2 & fact2 -> int3: そのぷゆぷなLv.76は少なし; int3 & fact3 -> int4: そのぷゆぷなLv.76は素早い; int4 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{a}; int3 & fact3 -> int4: {C}{a}; int4 & fact5 -> hypothesis; __DISPROVED__