そのまにまわLv.18は乱反射するしおまけにそれはアメリカらしい
fact1: そのまにまわLv.18はアメリカらしい fact2: このぽいぽやLv.61は乱反射する fact3: このぽいぽやLv.61は浅くない fact4: そのまにまわLv.18は重たい fact5: そのまにまわLv.18は浅い fact6: このぽいぽやLv.61は重たくない
fact3 -> int1: 「浅くない」モンスターはいる;
fact3 -> int1: (Ex): ¬{A}x;
$facts$ = fact1: そのまにまわLv.18はアメリカらしい fact2: このぽいぽやLv.61は乱反射する fact3: このぽいぽやLv.61は浅くない fact4: そのまにまわLv.18は重たい fact5: そのまにまわLv.18は浅い fact6: このぽいぽやLv.61は重たくない ; $hypothesis$ = そのまにまわLv.18は乱反射するしおまけにそれはアメリカらしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__