あのみのみやLv.76は気落ちしないしまた旨しない
fact1: あのみのみやLv.76は粉っぽいしその上遠い fact2: 仮にあのみのみやLv.76が遠いとしたら持ち難い fact3: あのみのみやLv.76は旨しない fact4: 「あのみのみやLv.76は目新しい」ということは真実である
fact1 -> int1: あのみのみやLv.76は遠い; int1 & fact2 -> int2: あのみのみやLv.76は持ち難い; int2 & fact4 -> int3: あのみのみやLv.76は目新しいし持ち難い;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: ({D}{a} & {C}{a});
$facts$ = fact1: あのみのみやLv.76は粉っぽいしその上遠い fact2: 仮にあのみのみやLv.76が遠いとしたら持ち難い fact3: あのみのみやLv.76は旨しない fact4: 「あのみのみやLv.76は目新しい」ということは真実である ; $hypothesis$ = あのみのみやLv.76は気落ちしないしまた旨しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__