「あのぽゆぽにょLv.61は呪い殺すしかつ湿気易い」ということは偽である
fact1: すべてのモンスターはアクセスし易いし出現し易い fact2: 全てのモンスターはアクセスし易い fact3: あのぽゆぽにょLv.61は呪い殺す fact4: もしもこのもちょもえLv.71が出現し易いとすればそれは隔たる
fact1 -> int1: このもちょもえLv.71はアクセスし易いししかも出現し易い; int1 -> int2: 「このもちょもえLv.71は出現し易い」ということは誤っていない; int2 & fact4 -> int3: 「このもちょもえLv.71は隔たる」ということは成り立つ;
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact4 -> int3: {C}{aa};
$facts$ = fact1: すべてのモンスターはアクセスし易いし出現し易い fact2: 全てのモンスターはアクセスし易い fact3: あのぽゆぽにょLv.61は呪い殺す fact4: もしもこのもちょもえLv.71が出現し易いとすればそれは隔たる ; $hypothesis$ = 「あのぽゆぽにょLv.61は呪い殺すしかつ湿気易い」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__